[Bug debug/45408] New: -fcompare-debug failure with -O2 -ftree-vectorize -fno-var-tracking-assignments

[Bug debug/45408] New: -fcompare-debug failure with -O2 -ftree-vectorize -fno-var-tracking-assignments

[zsojka at seznam dot cz]

Compiler output:
$ gcc -fcompare-debug -O2 -ftree-vectorize -fno-var-tracking-assignments
testcase-min3i.ii
gcc: error: testcase-min3i.ii: -fcompare-debug failure

The difference is:
$ diff testcase-min3i.*gkd
439c439
<         (mem/s/c:DI (symbol_ref:DI ("_economy") [flags 0x2]  <var_decl #
_economy>) [ MEM[(struct OverflowSafeInt *)&_economy].max_loan.m_value+0 S8
A128])) /usr/include/sys/select.h:485# {*movdi_internal_rex64}
---
>         (mem/s/c:DI (symbol_ref:DI ("_economy") [flags 0x2]  <var_decl # _economy>) [ MEM[(struct OverflowSafeInt &)&_economy].max_loan.m_value+0 S8 A128])) /usr/include/sys/select.h:485# {*movdi_internal_rex64}


-- 
           Summary: -fcompare-debug failure with -O2 -ftree-vectorize -fno-
                    var-tracking-assignments
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: debug
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: zsojka at seznam dot cz
  GCC host triplet: x86_64-pc-linux-gnu
GCC target triplet: x86_64-pc-linux-gnu


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

[Bug debug/45408] -fcompare-debug failure with -O2 -ftree-vectorize -fno-var-tracking-assignments

[zsojka at seznam dot cz]

------- Comment #1 from zsojka at seznam dot cz  2010-08-25 20:56 -------
Created an attachment (id=21566)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21566&action=view)
testcase

Reduced from ~855KiB file, further (automated) reducing is very slow. It
already took several days to get this file.


-- 


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

[Bug debug/45408] -fcompare-debug failure with -O2 -ftree-vectorize -fno-var-tracking-assignments

[aoliva at gcc dot gnu dot org]

------- Comment #2 from aoliva at gcc dot gnu dot org  2010-08-30 08:53 -------
I can't duplicate this on r163635 trunk, on x86_64-linux-gnu.


-- 


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

[Bug debug/45408] -fcompare-debug failure with -O2 -ftree-vectorize -fno-var-tracking-assignments

[zsojka at seznam dot cz]

------- Comment #3 from zsojka at seznam dot cz  2010-08-30 10:58 -------
It still fails for me, r163636:
$ /mnt/svn/gcc-trunk/binary-163636-lto-fortran-checking-yes-rtl-df/bin/gcc
-fcompare-debug -ftree-vectorize -fno-var-tracking-assignments -O2
testcase-min3.ii -v
Using built-in specs.
COLLECT_GCC=/mnt/svn/gcc-trunk/binary-163636-lto-fortran-checking-yes-rtl-df/bin/gcc
COLLECT_LTO_WRAPPER=/mnt/svn/gcc-trunk/binary-163636-lto-fortran-checking-yes-rtl-df/libexec/gcc/x86_64-unknown-linux-gnu/4.6.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: /mnt/svn/gcc-trunk/configure --enable-checking=yes,rtl,df
--enable-languages=c,c++,lto,fortran
--prefix=/mnt/svn/gcc-trunk/binary-163636-lto-fortran-checking-yes-rtl-df
Thread model: posix
gcc version 4.6.0 20100830 (experimental) (GCC) 
COLLECT_GCC_OPTIONS='-fcompare-debug=-gtoggle' '-ftree-vectorize'
'-fno-var-tracking-assignments' '-O2' '-v' '-mtune=generic' '-march=x86-64'

/mnt/svn/gcc-trunk/binary-163636-lto-fortran-checking-yes-rtl-df/libexec/gcc/x86_64-unknown-linux-gnu/4.6.0/cc1plus
-fpreprocessed testcase-min3.ii -quiet -dumpbase testcase-min3.ii
-mtune=generic -march=x86-64 -auxbase testcase-min3 -O2 -version
-fcompare-debug=-gtoggle -ftree-vectorize -fno-var-tracking-assignments
-frandom-seed=0xc2a418ea -fdump-final-insns=/tmp/cczfC9TV.gkd -o
/tmp/cc5tTAgp.s
GNU C++ (GCC) version 4.6.0 20100830 (experimental) (x86_64-unknown-linux-gnu)
        compiled by GNU C version 4.6.0 20100830 (experimental), GMP version
4.3.2, MPFR version 2.4.2-p3, MPC version 0.8.2
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
GNU C++ (GCC) version 4.6.0 20100830 (experimental) (x86_64-unknown-linux-gnu)
        compiled by GNU C version 4.6.0 20100830 (experimental), GMP version
4.3.2, MPFR version 2.4.2-p3, MPC version 0.8.2
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: 01faedd5cf2fd2cf2fddcfbd58cba8ee
COLLECT_GCC_OPTIONS='-fcompare-debug=-gtoggle' '-ftree-vectorize'
'-fno-var-tracking-assignments' '-O2' '-v' '-mtune=generic' '-march=x86-64'
 as -V -Qy --64 -o /tmp/ccoCyhWT.o /tmp/cc5tTAgp.s
GNU assembler version 2.20.1 (x86_64-pc-linux-gnu) using BFD version (GNU
Binutils) 2.20.1.20100303
gcc: note: recompiling with -fcompare-debug
COLLECT_GCC_OPTIONS='-fcompare-debug=-gtoggle' '-ftree-vectorize'
'-fno-var-tracking-assignments' '-O2' '-v' '-mtune=generic' '-march=x86-64'
'-w' '-S' '-o' '/dev/null' '-fcompare-debug-second' '-gtoggle'

/mnt/svn/gcc-trunk/binary-163636-lto-fortran-checking-yes-rtl-df/libexec/gcc/x86_64-unknown-linux-gnu/4.6.0/cc1plus
-fpreprocessed testcase-min3.ii -quiet -dumpbase testcase-min3.ii.gk
-mtune=generic -march=x86-64 -auxbase testcase-min3 -gtoggle -O2 -w -version
-fcompare-debug=-gtoggle -ftree-vectorize -fno-var-tracking-assignments
-fcompare-debug-second -o /dev/null -frandom-seed=0xc2a418ea
-fdump-final-insns=/tmp/ccHFJEDo.gk.gkd
GNU C++ (GCC) version 4.6.0 20100830 (experimental) (x86_64-unknown-linux-gnu)
        compiled by GNU C version 4.6.0 20100830 (experimental), GMP version
4.3.2, MPFR version 2.4.2-p3, MPC version 0.8.2
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
GNU C++ (GCC) version 4.6.0 20100830 (experimental) (x86_64-unknown-linux-gnu)
        compiled by GNU C version 4.6.0 20100830 (experimental), GMP version
4.3.2, MPFR version 2.4.2-p3, MPC version 0.8.2
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: 01faedd5cf2fd2cf2fddcfbd58cba8ee
gcc: note: comparing final insns dumps
gcc: error: testcase-min3.ii: -fcompare-debug failure

The second testcase from PR45419 shows this difference as well.


-- 


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

[Bug debug/45408] -fcompare-debug failure with -O2 -ftree-vectorize -fno-var-tracking-assignments

[aoliva at gcc dot gnu dot org]

------- Comment #4 from aoliva at gcc dot gnu dot org  2010-09-04 15:27 -------


*** This bug has been marked as a duplicate of 45419 ***


-- 

aoliva at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |DUPLICATE


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

[Bug debug/45408] -fcompare-debug failure with -O2 -ftree-vectorize -fno-var-tracking-assignments

[aoliva at gcc dot gnu dot org]

------- Comment #5 from aoliva at gcc dot gnu dot org  2010-09-08 21:54 -------
Subject: Bug 45408

Author: aoliva
Date: Wed Sep  8 21:53:48 2010
New Revision: 164031

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=164031
Log:
PR debug/45419
PR debug/45408
* tree-pretty-print.c (dump_generic_node): Disregard top-level
qualifiers in otherwise equal MEM_REF pointer types.
* fold-const.c (operand_equal_p): Compare pointer type of MEM_REFs.
* tree.c (iterative_hash_expr): Hash the pointer type of MEM_REFs.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/fold-const.c
    trunk/gcc/tree-pretty-print.c
    trunk/gcc/tree.c


-- 


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

[Bug debug/45408] -fcompare-debug failure with -O2 -ftree-vectorize -fno-var-tracking-assignments

[aoliva at gcc dot gnu dot org]

------- Comment #6 from aoliva at gcc dot gnu dot org  2010-09-13 03:42 -------
Subject: Bug 45408

Author: aoliva
Date: Mon Sep 13 03:42:07 2010
New Revision: 164242

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=164242
Log:
PR debug/45604
PR debug/45419
PR debug/45408
* tree-pretty-print.c (dump_generic_node): Disregard top-level
types of MEM_REF pointer types to the same type.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/tree-pretty-print.c


-- 


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

[Bug debug/45408] -fcompare-debug failure with -O2 -ftree-vectorize -fno-var-tracking-assignments

[aoliva at gcc dot gnu.org]

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

--- Comment #7 from Alexandre Oliva <aoliva at gcc dot gnu.org> 2010-10-08 04:41:08 UTC ---
Author: aoliva
Date: Fri Oct  8 04:40:59 2010
New Revision: 165149

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=165149
Log:
PR debug/45673
PR debug/45604
PR debug/45419
PR debug/45408
* tree-pretty-print.c (dump_generic_node): Explicitly dump the
type of MEM_REFs to INTEGER_CSTs.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/tree-pretty-print.c