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
_______________________________________________
nettle-bugs mailing list
[email protected]
http://lists.lysator.liu.se/mailman/listinfo/nettle-bugs
