https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116690
--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Yunbo Ni from comment #4) > Thanks for your kind and detailed explanation! BTW, when I change the value > of b to 1 in line 3 and compiled this code with -O0 flag, it gets killed > with with processing time exceeded. Is this also due to the undefined > behavior? Unless you changed the definition of a to return a result, it is undefined.