https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114374
--- Comment #2 from Torsten Mandel <torsten.mandel at sap dot com> --- No, it only happens on overflow, although diagnostic behavior would still be inconsistent regarding the ++loop and the loop++ case.
