13 Sep
2017
13 Sep
'17
10:37 a.m.
Nikos Mavrogiannopoulos nmav@redhat.com writes:
Rewriting using do {} while loop would make some sense, to make it clear both to the analyzer and to humans that loops are intended to run at least once. Would you like to try that out, to see if it gets ugly or not?
I'm a little overwhelmed at the moment to start with that. If there is nothing after few months, I may return to it.
Ok. I'll try to get to it reasonably soon.
Regards, /Niels
--
Niels Möller. PGP-encrypted email is preferred. Keyid 368C6677.
Internet email is subject to wholesale government surveillance.