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