https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113396
--- Comment #3 from David Binderman ---
Created attachment 57089
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57089&action=edit
C source code
Partly reduced C source code.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113396
--- Comment #2 from David Binderman ---
The bug seems to exist from sometime before
g:d042f118798ae0648b45f97e63b0e5ab7c82c8ef, dated 20230205.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113396
--- Comment #1 from David Binderman ---
foundBugs $ ~/gcc/results/bin/gcc -w -O2 bug998.c -o two.exe
foundBugs $ ~/gcc/results/bin/gcc -w -O3 bug998.c -o three.exe
foundBugs $ ./two.exe 1 > two.out
foundBugs $ ./three.exe 1 > three.out
found