13 Sep
2017
13 Sep
'17
9:06 a.m.
On Wed, 2017-09-13 at 10:43 +0200, Niels Möller wrote:
The only way I could eliminate the error was through the attached patch which is ugly.
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.
regards, Nikos