https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92131
--- Comment #1 from Armin Rigo <arigo at tunes dot org> --- Comment on attachment 47053 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=47053 creduce'd C source that miscompiles in -O>=1 BTW I just noticed that the reduced code is highly self-recursive, but that's just an artifact of the reduction: if we rename the recursive calls so that they call some other declared-but-not-implemented function, then the results are the same.