https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77718
--- Comment #2 from Bernd Schmidt <bernds at gcc dot gnu.org> --- Over here the testcase seems not to arrive in this function, and it prints the same value (-5) twice, which I think is supposed to be expected? Please clarify.