[Bug tree-optimization/45056] New: [4.6 Regression] ICE: in refs_may_alias_p_1, at tree-ssa-alias.c:1023

[Bug tree-optimization/45056] New: [4.6 Regression] ICE: in refs_may_alias_p_1, at tree-ssa-alias.c:1023

[zsojka at seznam dot cz]

Command line:
$ g++ -O1 -fschedule-insns2 -fsched-pressure -fschedule-insns -g testcase.C
-std=gnu++0x

Compiler output:
$ /mnt/svn/gcc-trunk/binary-161659-lto-fortran-checking-yes-rtl-df/bin/g++ -O1
-fschedule-insns2 -fsched-pressure -fschedule-insns -g 5269.ii -std=gnu++0x
5269.ii: In function 'std::pair<PS,
Parma_Polyhedra_Library::Pointset_Powerset<Parma_Polyhedra_Library::NNC_Polyhedron>
> Parma_Polyhedra_Library::linear_partition(const PS&, const PS&) [with PS =
Parma_Polyhedra_Library::Box<Parma_Polyhedra_Library::Interval<double,
Parma_Polyhedra_Library::Interval_Restriction_None<Parma_Polyhedra_Library::Interval_Info_Bitset<unsigned
int, Parma_Polyhedra_Library::Floating_Point_Box_Interval_Info_Policy> > > >]':
5269.ii:47564:1: internal compiler error: in refs_may_alias_p_1, at
tree-ssa-alias.c:987
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Tested revisions:
r162456 - crash
r161659 - crash
r161170 - OK


-- 
           Summary: [4.6 Regression] ICE: in refs_may_alias_p_1, at tree-
                    ssa-alias.c:1023
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        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=45056

[Bug tree-optimization/45056] [4.6 Regression] ICE: in refs_may_alias_p_1, at tree-ssa-alias.c:1023

[zsojka at seznam dot cz]

------- Comment #1 from zsojka at seznam dot cz  2010-07-24 14:55 -------
Created an attachment (id=21300)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21300&action=view)
partially reduced testcase (from ppl sources)

Reducing is in progress, but it goes very slowly (it has been running for two
days already).


-- 


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

[Bug tree-optimization/45056] [4.6 Regression] ICE: in refs_may_alias_p_1, at tree-ssa-alias.c:1023

[zsojka at seznam dot cz]

------- Comment #2 from zsojka at seznam dot cz  2010-07-24 19:26 -------
Created an attachment (id=21301)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21301&action=view)
more reduced testcase

Command line:
$ g++ -O1 -fschedule-insns2 -fschedule-insns -g testcase.C
(-fsched-pressure is no longer needed)


-- 

zsojka at seznam dot cz changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #21300|0                           |1
        is obsolete|                            |


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

[Bug tree-optimization/45056] [4.6 Regression] ICE: in refs_may_alias_p_1, at tree-ssa-alias.c:1023

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2010-07-24 20:15 -------
Created an attachment (id=21303)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21303&action=view)
More reduced


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #21301|0                           |1
        is obsolete|                            |


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

[Bug tree-optimization/45056] [4.6 Regression] ICE: in refs_may_alias_p_1, at tree-ssa-alias.c:1023

[pinskia at gcc dot gnu dot org]

------- Comment #4 from pinskia at gcc dot gnu dot org  2010-07-24 20:16 -------
Confirmed.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2010-07-24 20:16:55
               date|                            |
   Target Milestone|---                         |4.6.0


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

[Bug tree-optimization/45056] [4.6 Regression] ICE: in refs_may_alias_p_1, at tree-ssa-alias.c:1023

[hjl dot tools at gmail dot com]

------- Comment #5 from hjl dot tools at gmail dot com  2010-07-24 20:26 -------
This is caused by revision 161655:

http://gcc.gnu.org/ml/gcc-cvs/2010-07/msg00006.html


-- 

hjl dot tools at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rguenth at gcc dot gnu dot
                   |                            |org


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

[Bug tree-optimization/45056] [4.6 Regression] ICE: in refs_may_alias_p_1, at tree-ssa-alias.c:1023

[rguenth at gcc dot gnu dot org]

------- Comment #6 from rguenth at gcc dot gnu dot org  2010-07-24 20:40 -------
Mine then.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rguenth at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2010-07-24 20:16:55         |2010-07-24 20:40:00
               date|                            |


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

[Bug tree-optimization/45056] [4.6 Regression] ICE: in refs_may_alias_p_1, at tree-ssa-alias.c:1023

[rguenth at gcc dot gnu dot org]

------- Comment #7 from rguenth at gcc dot gnu dot org  2010-07-26 11:00 -------
Invalid MEMs in debug-insns (invalid as in not folded).  Why does the
scheduler query the alias oracle about them?

(debug_insn 49 48 50 7 t.cc:22 (var_location:DI D#3 (mem/s/f/j:DI (plus:DI
(reg/f:DI 54 virtual-stack-vars)
            (const_int -32 [0xffffffffffffffe0])) [0 MEM[(struct vector
*)&qq.seq]._M_finish+0 S8 A256])) -1 (nil))

CCP does

-  D.2433_12 = &qq.seq;
-  # DEBUG this => D.2433_12
-  # DEBUG D#3 => MEM[(struct vector *)D.2433_12]._M_finish
-  # DEBUG this => D.2433_12
+  # DEBUG this => &qq.seq
+  # DEBUG D#3 => MEM[(struct vector *)&qq.seq]._M_finish
+  # DEBUG this => &qq.seq

I have a patch to fix it there.


-- 


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

[Bug tree-optimization/45056] [4.6 Regression] ICE: in refs_may_alias_p_1, at tree-ssa-alias.c:1023

[rguenth at gcc dot gnu dot org]

------- Comment #8 from rguenth at gcc dot gnu dot org  2010-07-26 13:29 -------
Subject: Bug 45056

Author: rguenth
Date: Mon Jul 26 13:29:14 2010
New Revision: 162536

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=162536
Log:
2010-07-26  Richard Guenther  <rguenther@suse.de>

        PR middle-end/45056
        * gimple-fold.c (fold_stmt_1): Also fold references in
        debug stmts.

        * g++.dg/pr45056.C: New testcase.

Added:
    trunk/gcc/testsuite/g++.dg/pr45056.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/gimple-fold.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug tree-optimization/45056] [4.6 Regression] ICE: in refs_may_alias_p_1, at tree-ssa-alias.c:1023

[rguenth at gcc dot gnu dot org]

------- Comment #9 from rguenth at gcc dot gnu dot org  2010-07-26 13:29 -------
Fixed.


-- 

rguenth at gcc dot gnu dot org changed:

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


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