[Bug debug/42648] New: [4.5 Regression] gcc.dg/guality/pr41353-1.c FAILs at -On, n > 0

[Bug debug/42648] New: [4.5 Regression] gcc.dg/guality/pr41353-1.c FAILs at -On, n > 0

[rguenth at gcc dot gnu dot org]

I thought we only had XPASSes.

XPASS: gcc.dg/guality/pr41353-1.c  -O0  line 28 j == 28 + 37
FAIL: gcc.dg/guality/pr41353-1.c  -O1  line 28 i1 == 2 * 37
FAIL: gcc.dg/guality/pr41353-1.c  -O1  line 28 i2 == 3 * 37
FAIL: gcc.dg/guality/pr41353-1.c  -O2  line 28 i1 == 2 * 37
FAIL: gcc.dg/guality/pr41353-1.c  -O2  line 28 i2 == 3 * 37
FAIL: gcc.dg/guality/pr41353-1.c  -O3 -fomit-frame-pointer  line 28 i1 == 2 *
37
FAIL: gcc.dg/guality/pr41353-1.c  -O3 -fomit-frame-pointer  line 28 i2 == 3 *
37
FAIL: gcc.dg/guality/pr41353-1.c  -O3 -g  line 28 i1 == 2 * 37
FAIL: gcc.dg/guality/pr41353-1.c  -O3 -g  line 28 i2 == 3 * 37
FAIL: gcc.dg/guality/pr41353-1.c  -Os  line 28 i1 == 2 * 37
FAIL: gcc.dg/guality/pr41353-1.c  -Os  line 28 i2 == 3 * 37
FAIL: gcc.dg/guality/pr41353-1.c  -O2 -flto  line 28 i == 37
FAIL: gcc.dg/guality/pr41353-1.c  -O2 -flto  line 28 i1 == 2 * 37
FAIL: gcc.dg/guality/pr41353-1.c  -O2 -flto  line 28 i2 == 3 * 37
FAIL: gcc.dg/guality/pr41353-1.c  -O2 -fwhopr  line 28 i == 37
FAIL: gcc.dg/guality/pr41353-1.c  -O2 -fwhopr  line 28 i1 == 2 * 37
FAIL: gcc.dg/guality/pr41353-1.c  -O2 -fwhopr  line 28 i2 == 3 * 37

$ gdb --version
GNU gdb (GDB) 7.0-debian

log of the -O1 variant:

Executing on host: /obj/trunk-g/gcc/xgcc -B/obj/trunk-g/gcc/
/home/richard/src/trunk/gcc/testsuite/gcc.dg/guality/pr41353-1.c   -O1  -g  -lm
  -o ./pr41353-1.exe    (timeout = 300)
spawn /obj/trunk-g/gcc/xgcc -B/obj/trunk-g/gcc/
/home/richard/src/trunk/gcc/testsuite/gcc.dg/guality/pr41353-1.c -O1 -g -lm -o
./pr41353-1.exe^M
PASS: gcc.dg/guality/pr41353-1.c  -O1  (test for excess errors)
Setting LD_LIBRARY_PATH to :/obj/trunk-g/gcc::/obj/trunk-g/gcc
spawn [open ...]^M
PASS: gcc.dg/guality/pr41353-1.c  -O1  execution test
Spawning: gdb -nx -nw -quiet -x pr41353-1.gdb ./pr41353-1.exe
spawn gdb -nx -nw -quiet -x pr41353-1.gdb ./pr41353-1.exe^M
Reading symbols from /obj/trunk-g/gcc/testsuite/gcc/pr41353-1.exe...done.^M
Breakpoint 1 at 0x8048397: file
/home/richard/src/trunk/gcc/testsuite/gcc.dg/guality/pr41353-1.c, line 17.^M
^M
Breakpoint 1, f1 ()^M
    at /home/richard/src/trunk/gcc/testsuite/gcc.dg/guality/pr41353-1.c:18^M
18      }^M
$1 = 17^M
$2 = 17^M
A debugging session is active.^M
^M
        Inferior 1 [process 4702] will be killed.^M
^M
Quit anyway? (y or n) [answered Y; input not from terminal]^M
PASS: gcc.dg/guality/pr41353-1.c  -O1  line 17 vari == 17
Spawning: gdb -nx -nw -quiet -x pr41353-1.gdb ./pr41353-1.exe
spawn gdb -nx -nw -quiet -x pr41353-1.gdb ./pr41353-1.exe^M
Reading symbols from /obj/trunk-g/gcc/testsuite/gcc/pr41353-1.exe...done.^M
Breakpoint 1 at 0x8048397: file
/home/richard/src/trunk/gcc/testsuite/gcc.dg/guality/pr41353-1.c, line 17.^M
^M
Breakpoint 1, f1 ()^M
    at /home/richard/src/trunk/gcc/testsuite/gcc.dg/guality/pr41353-1.c:18^M
18      }^M
$1 = 34^M
$2 = 34^M
A debugging session is active.^M
^M
        Inferior 1 [process 4713] will be killed.^M
^M
Quit anyway? (y or n) [answered Y; input not from terminal]^M
....
Breakpoint 1, f2 (i=37, j=<value optimized out>)^M
    at /home/richard/src/trunk/gcc/testsuite/gcc.dg/guality/pr41353-1.c:29^M
29      }^M
$1 = <value optimized out>^M
$2 = 65^M
A debugging session is active.^M
^M
        Inferior 1 [process 4794] will be killed.^M
^M
Quit anyway? (y or n) [answered Y; input not from terminal]^M
<value optimized out> != 65
XFAIL: gcc.dg/guality/pr41353-1.c  -O1  line 28 j == 28 + 37
Spawning: gdb -nx -nw -quiet -x pr41353-1.gdb ./pr41353-1.exe
spawn gdb -nx -nw -quiet -x pr41353-1.gdb ./pr41353-1.exe^M
Reading symbols from /obj/trunk-g/gcc/testsuite/gcc/pr41353-1.exe...done.^M
Breakpoint 1 at 0x80483a7: file
/home/richard/src/trunk/gcc/testsuite/gcc.dg/guality/pr41353-1.c, line 28.^M
^M
Breakpoint 1, f2 (i=37, j=<value optimized out>)^M
    at /home/richard/src/trunk/gcc/testsuite/gcc.dg/guality/pr41353-1.c:29^M
29      }^M
$1 = <value optimized out>^M
$2 = 74^M
A debugging session is active.^M
^M
        Inferior 1 [process 4808] will be killed.^M
^M
Quit anyway? (y or n) [answered Y; input not from terminal]^M
<value optimized out> != 74
FAIL: gcc.dg/guality/pr41353-1.c  -O1  line 28 i1 == 2 * 37
Spawning: gdb -nx -nw -quiet -x pr41353-1.gdb ./pr41353-1.exe
spawn gdb -nx -nw -quiet -x pr41353-1.gdb ./pr41353-1.exe^M


it seems we lack debug information for a parameter of a non-inlined
function which is clearly bad.

f2 looks like:

f2 (int i, int j)
{
<bb 2>:
  j_3 = j_1(D) + i_2(D);
  # DEBUG j => j_3
  # DEBUG i1 => i_2(D) * 2
  # DEBUG i2 => i_2(D) * 3
  return j_3;

in .optimized.


-- 
           Summary: [4.5 Regression] gcc.dg/guality/pr41353-1.c FAILs at -
                    On, n > 0
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Keywords: wrong-debug
          Severity: normal
          Priority: P3
         Component: debug
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: rguenth at gcc dot gnu dot org


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

[Bug debug/42648] [4.5 Regression] gcc.dg/guality/pr41353-1.c FAILs at -On, n > 0

[jakub at gcc dot gnu dot org]

------- Comment #1 from jakub at gcc dot gnu dot org  2010-01-11 08:35 -------
See e.g. http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41353#c11 for one of the
possible reasons.


-- 


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

[Bug debug/42648] [4.5 Regression] gcc.dg/guality/pr41353-1.c FAILs at -On, n > 0

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.5.0


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

[Bug debug/42648] [4.5 Regression] gcc.dg/guality/pr41353-1.c FAILs at -On, n > 0

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2


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

[Bug debug/42648] [4.5 Regression] gcc.dg/guality/pr41353-1.c FAILs at -On, n > 0

[steven at gcc dot gnu dot org]

-- 

steven at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2010-03-20 13:03:11
               date|                            |


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

[Bug debug/42648] [4.5 Regression] gcc.dg/guality/pr41353-1.c FAILs at -On, n > 0

[aoliva at gcc dot gnu dot org]

------- Comment #2 from aoliva at gcc dot gnu dot org  2010-04-05 05:06 -------
This appears to have been fixed already.  Looking into it.


-- 

aoliva at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |aoliva at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED


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

[Bug debug/42648] [4.5 Regression] gcc.dg/guality/pr41353-1.c FAILs at -On, n > 0

[aoliva at gcc dot gnu dot org]

------- Comment #3 from aoliva at gcc dot gnu dot org  2010-04-05 07:48 -------
Yeah, fixed (i686-linux-gnu) by revision 156693, from Feb 11.  I couldn't
duplicate it at all on x86_64-linux-gnu.  If the problem is still present on
some other platform, please reopen and specify.


-- 

aoliva at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


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

[Bug debug/42648] [4.5 Regression] gcc.dg/guality/pr41353-1.c FAILs at -On, n > 0

[ubizjak at gmail dot com]

------- Comment #4 from ubizjak at gmail dot com  2010-04-05 18:02 -------
(In reply to comment #3)
> Yeah, fixed (i686-linux-gnu) by revision 156693, from Feb 11.  I couldn't
> duplicate it at all on x86_64-linux-gnu.  If the problem is still present on
> some other platform, please reopen and specify.

Still fails on alpha, see [1]. One exaple fails with:

Spawning: gdb -nx -nw -quiet -x pr41353-1.gdb ./pr41353-1.exe
^[[?1034hReading symbols from
/space/uros/gcc-build/gcc/testsuite/gcc/pr41353-1.exe...done.^M
Breakpoint 1 at 0x120000690: file
/home/uros/gcc-svn/trunk/gcc/testsuite/gcc.dg/guality/pr41353-1.c, line 39.^M
^M
Breakpoint 1, f3 (i=<value optimized out>)^M
    at /home/uros/gcc-svn/trunk/gcc/testsuite/gcc.dg/guality/pr41353-1.c:40^M
40      }^M
$1 = <value optimized out>^M
$2 = 12^M
A debugging session is active.^M
^M
        Inferior 1 [process 14733] will be killed.^M
^M
Quit anyway? (y or n) [answered Y; input not from terminal]^M
<value optimized out> != 12
FAIL: gcc.dg/guality/pr41353-1.c  -O1  line 39 i == 12


[1] http://gcc.gnu.org/ml/gcc-testresults/2010-04/msg00388.html


-- 

ubizjak at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|FIXED                       |


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

[Bug debug/42648] [4.5 Regression] gcc.dg/guality/pr41353-1.c FAILs at -On, n > 0

[rguenth at gcc dot gnu dot org]

------- Comment #5 from rguenth at gcc dot gnu dot org  2010-04-06 11:20 -------
GCC 4.5.0 is being released.  Deferring to 4.5.1.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.5.0                       |4.5.1


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

[Bug debug/42648] [4.5/4.6 Regression] gcc.dg/guality/pr41353-1.c FAILs at -On, n > 0

[sje at cup dot hp dot com]

------- Comment #6 from sje at cup dot hp dot com  2010-04-21 16:27 -------
This looks like what I see on ia64-debian-linux-gnu as well.


-- 

sje at cup dot hp dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |sje at cup dot hp dot com


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

[Bug debug/42648] [4.5/4.6 Regression] gcc.dg/guality/pr41353-1.c FAILs at -On, n > 0

[aoliva at gcc dot gnu dot org]

------- Comment #7 from aoliva at gcc dot gnu dot org  2010-06-10 18:50 -------
Steve, I only see problems on ia64 at -O3, and that's because VTA is disabled
when selective scheduling is enabled.

Uros, I can't duplicate the problem with a cross compiler for alpha: the debug
info in the assembly output and in the vartrack dump looks just right to me. 
I'm not sure how to proceed, maybe post evidence that GCC is actually producing
incorrect debug info, rather than that say the assembler is mangling it or GDB
is misinterpreting it?

Richard, if you can still duplicate the problem on your end, can you help? 
debug bind stmts for incoming args are not expected at the entry point, they're
only inserted when the function is inlined or early in the var-tracking pass.


-- 


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

[Bug debug/42648] [4.5/4.6 Regression] gcc.dg/guality/pr41353-1.c FAILs at -On, n > 0

[sje at cup dot hp dot com]

------- Comment #8 from sje at cup dot hp dot com  2010-06-10 19:27 -------
I see pr41353-1.c failures with -O2 -flto and -O2 -fwhopr as well as with -O3.
I also see other guality tests fail with non -O3 flags.

See http://gcc.gnu.org/ml/gcc-testresults/2010-06/msg00991.html


-- 


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

[Bug debug/42648] [4.5/4.6 Regression] gcc.dg/guality/pr41353-1.c FAILs at -On, n > 0

[aoliva at gcc dot gnu dot org]

------- Comment #9 from aoliva at gcc dot gnu dot org  2010-06-11 10:49 -------
Steve, lto and whopr seem to have been introduced in a way that broke VTA. 
This is not ia64-specific, and it's not what this bug is about.  I guess what
you're seeing are other cases of lossage, that we might have to look into, but
it's better to open separate bugs for them, to avoid confusing the issue
further.


-- 


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

[Bug debug/42648] [4.5/4.6 Regression] gcc.dg/guality/pr41353-1.c FAILs at -On, n > 0

[aoliva at gcc dot gnu dot org]

------- Comment #10 from aoliva at gcc dot gnu dot org  2010-06-24 03:34 -------
I can only duplicate this problem, even on 4.5 branch, using an old version of
GDB, on ia64-linux-gnu.  With GDB 7.1, it gets the variables as expected.


-- 

aoliva at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|REOPENED                    |RESOLVED
         Resolution|                            |WORKSFORME


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