http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53239
--- Comment #6 from proski at gnu dot org 2012-05-07 02:50:04 UTC --- Created attachment 27330 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27330 Self-contained test case Run the "compile" script. The output would be: return = 2/1 return = 1/1 It means that the output depends on whether -fno-tree-vrp is used.