[Bug debug/55467] Wrong value for optimized debug, variants of gcc.dg/guality/pr36728-1.c and gcc.dg/guality/pr36728-2.c

["hp at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55467

--- Comment #1 from Hans-Peter Nilsson <hp at gcc dot gnu.org> 2012-11-26 00:30:10 UTC ---
Created attachment 28775
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=28775
gcc.dg/guality/pr55467-2.c

Here's pr55467-2.c, a variant of gcc.dg/guality/pr36728-2.c, actually 
gcc.dg/guality/pr36728-2.c with the patch from
<http://gcc.gnu.org/ml/gcc-patches/2012-11/msg01542.html>.  It fails at least
at r193349, r193583 and r193777 as follows (well, for the two first mentioned,
you'll see "ERROR" as explained and fixed in
<http://gcc.gnu.org/ml/gcc-patches/2012-11/msg01998.html>):

Running /home/hp/gcctop/tmp/nbasg/gcc/gcc/testsuite/gcc.dg/guality/guality.exp
...
FAIL: gcc.dg/guality/pr55467-2.c  -O2  line 14 y == 2
FAIL: gcc.dg/guality/pr55467-2.c  -O3 -fomit-frame-pointer  line 14 y == 2
FAIL: gcc.dg/guality/pr55467-2.c  -O3 -g  line 14 y == 2
FAIL: gcc.dg/guality/pr55467-2.c  -Os  line 14 y == 2
FAIL: gcc.dg/guality/pr55467-2.c  -O2 -flto -fno-use-linker-plugin
-flto-partition=none  line 14 y == 2
FAIL: gcc.dg/guality/pr55467-2.c  -O2 -flto -fuse-linker-plugin
-fno-fat-lto-objects  line 14 y == 2

In gcc.log, you'll see that gdb reads some different value, like 0, 1,
or -23360.