Follow-up Comment #3, bug #45391 (project gettext): Right, thanks for your carefulness.
I've simplified the loop invariant to work out possible variants: http://git.savannah.gnu.org/cgit/gettext.git/commit/?id=4dd7d3dbcb2ec6ceae3a65d405751729fd26e1e1 _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?45391> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
