[Bug c++/22071] New: 4.1 regression: ICE in first_vi_for_offset, at tree-ssa-structalias.c:2506

[Bug c++/22071] New: 4.1 regression: ICE in first_vi_for_offset, at tree-ssa-structalias.c:2506

[zlynx at acm dot org]

# g++ -O /tmp/j1.cc
adaptors/lambda/lambda.cc: In function 'void
__static_initialization_and_destruction_0(int, int)':
adaptors/lambda/lambda.cc:15: internal compiler error: in first_vi_for_offset,
at tree-ssa-structalias.c:2506

j1.cc will be attached.
-O is what triggers the ICE.  Compiling without optimization works.

# g++ -v
Using built-in specs.
Target: x86_64-pc-linux-gnu
Configured with:
/var/tmp/portage/gcc-4.1.0_beta20050611/work/gcc-4.1-20050611/configure
--enable-version-specific-runtime-libs --prefix=/usr
--bindir=/usr/x86_64-pc-linux-gnu/gcc-bin/4.1.0-beta20050611
--includedir=/usr/lib/gcc/x86_64-pc-linux-gnu/4.1.0-beta20050611/include
--datadir=/usr/share/gcc-data/x86_64-pc-linux-gnu/4.1.0-beta20050611
--mandir=/usr/share/gcc-data/x86_64-pc-linux-gnu/4.1.0-beta20050611/man
--infodir=/usr/share/gcc-data/x86_64-pc-linux-gnu/4.1.0-beta20050611/info
--with-gxx-include-dir=/usr/lib/gcc/x86_64-pc-linux-gnu/4.1.0-beta20050611/include/g++-v4
--host=x86_64-pc-linux-gnu --build=x86_64-pc-linux-gnu --disable-altivec
--enable-nls --without-included-gettext --with-system-zlib --disable-checking
--disable-werror --disable-libunwind-exceptions --enable-multilib
--disable-libgcj --enable-languages=c,c++,f95 --enable-shared
--enable-threads=posix --enable-__cxa_atexit --enable-clocale=gnu
Thread model: posix
gcc version 4.1.0 20050611 (experimental)

-- 
           Summary: 4.1 regression: ICE in first_vi_for_offset, at tree-ssa-
                    structalias.c:2506
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: zlynx at acm dot org
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: x86_64-pc-linux-gnu
  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=22071

[Bug c++/22071] 4.1 regression: ICE in first_vi_for_offset, at tree-ssa-structalias.c:2506

[zlynx at acm dot org]

------- Additional Comments From zlynx at acm dot org  2005-06-15 02:03 -------
Created an attachment (id=9089)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9089&action=view)
Preprocessed code to reproduce bug


-- 


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

[Bug c++/22071] 4.1 regression: ICE in first_vi_for_offset, at tree-ssa-structalias.c:2506

[zlynx at acm dot org]

------- Additional Comments From zlynx at acm dot org  2005-06-15 02:05 -------
Oh, I marked it as a regression because gcc-4.0.1-beta20050526 seemed to work fine.

-- 


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

[Bug tree-optimization/22071] [4.1 regression] ICE in first_vi_for_offset, at tree-ssa-structalias.c:2506

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-15 02:29 -------
Confirmed, reduced testcase:
struct empty_class {};
struct class1 : empty_class
{
  class1() {}
  empty_class value_;
};
struct lambda : class1 { };
lambda _1;


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dberlin at gcc dot gnu dot
                   |                            |org, pinskia at gcc dot gnu
                   |                            |dot org
             Status|UNCONFIRMED                 |NEW
          Component|c++                         |tree-optimization
     Ever Confirmed|                            |1
  GCC build triplet|x86_64-pc-linux-gnu         |
   GCC host triplet|x86_64-pc-linux-gnu         |
 GCC target triplet|x86_64-pc-linux-gnu         |
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2005-06-15 02:29:28
               date|                            |
            Summary|4.1 regression: ICE in      |[4.1 regression] ICE in
                   |first_vi_for_offset, at     |first_vi_for_offset, at
                   |tree-ssa-structalias.c:2506 |tree-ssa-structalias.c:2506
   Target Milestone|---                         |4.1.0


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

[Bug tree-optimization/22071] [4.1 regression] ICE in first_vi_for_offset, at tree-ssa-structalias.c:2506

[bkoz at gcc dot gnu dot org]

------- Additional Comments From bkoz at gcc dot gnu dot org  2005-06-22 17:59 -------

I am running into this as well. Turning off all optimizations (-O0) allows
compilation, anything over -O1 hits it.


-- 


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

[Bug tree-optimization/22071] [4.1 regression] ICE in first_vi_for_offset, at tree-ssa-structalias.c:2506

[dberlin at dberlin dot org]

------- Additional Comments From dberlin at gcc dot gnu dot org  2005-06-22 18:54 -------
Subject: Re:  [4.1 regression] ICE in
	first_vi_for_offset, at tree-ssa-structalias.c:2506

On Wed, 2005-06-22 at 17:59 +0000, bkoz at gcc dot gnu dot org wrote:
> ------- Additional Comments From bkoz at gcc dot gnu dot org  2005-06-22 17:59 -------
> 
> I am running into this as well. Turning off all optimizations (-O0) allows
> compilation, anything over -O1 hits it.
> 

This one is because of structures with a lot of holes in them, where we
make accesses that bridge the hole, and cna't ind the field that gets
associated with it.

> 



-- 


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

[Bug tree-optimization/22071] [4.1 regression] ICE in first_vi_for_offset, at tree-ssa-structalias.c:2506

[bkoz at gcc dot gnu dot org]

------- Additional Comments From bkoz at gcc dot gnu dot org  2005-06-22 18:59 -------

Ah, the old "can't find the tunnel at the end of the bridge at the end of this
hole" problem. Bummer. I hate it when that happens.

Is there an easier way than -O0 to revert back to the old behavior?


-- 


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

Re: [Bug tree-optimization/22071] [4.1 regression] ICE in first_vi_for_offset, at tree-ssa-structalias.c:2506

[Andrew Pinski]

On Jun 22, 2005, at 2:59 PM, bkoz at gcc dot gnu dot org wrote:

>
> ------- Additional Comments From bkoz at gcc dot gnu dot org  
> 2005-06-22 18:59 -------
>
> Ah, the old "can't find the tunnel at the end of the bridge at the end 
> of this
> hole" problem. Bummer. I hate it when that happens.
>
> Is there an easier way than -O0 to revert back to the old behavior?

yes -fno-tree-salias.

-- Pinski

[Bug tree-optimization/22071] [4.1 regression] ICE in first_vi_for_offset, at tree-ssa-structalias.c:2506

[pinskia at physics dot uc dot edu]

------- Additional Comments From pinskia at physics dot uc dot edu  2005-06-22 19:02 -------
Subject: Re:  [4.1 regression] ICE in first_vi_for_offset, at tree-ssa-structalias.c:2506


On Jun 22, 2005, at 2:59 PM, bkoz at gcc dot gnu dot org wrote:

>
> ------- Additional Comments From bkoz at gcc dot gnu dot org  
> 2005-06-22 18:59 -------
>
> Ah, the old "can't find the tunnel at the end of the bridge at the end 
> of this
> hole" problem. Bummer. I hate it when that happens.
>
> Is there an easier way than -O0 to revert back to the old behavior?

yes -fno-tree-salias.

-- Pinski



-- 


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

[Bug tree-optimization/22071] [4.1 regression] ICE in first_vi_for_offset, at tree-ssa-structalias.c:2506

[dberlin at dberlin dot org]

------- Additional Comments From dberlin at gcc dot gnu dot org  2005-06-22 19:23 -------
Subject: Re:  [4.1 regression] ICE in
	first_vi_for_offset, at tree-ssa-structalias.c:2506

On Wed, 2005-06-22 at 19:02 +0000, pinskia at physics dot uc dot edu
wrote:
> ------- Additional Comments From pinskia at physics dot uc dot edu  2005-06-22 19:02 -------
> Subject: Re:  [4.1 regression] ICE in first_vi_for_offset, at tree-ssa-structalias.c:2506
> 
> 
> On Jun 22, 2005, at 2:59 PM, bkoz at gcc dot gnu dot org wrote:
> 
> >
> > ------- Additional Comments From bkoz at gcc dot gnu dot org  
> > 2005-06-22 18:59 -------
> >
> > Ah, the old "can't find the tunnel at the end of the bridge at the end 
> > of this
> > hole" problem. Bummer. I hate it when that happens.
> >
> > Is there an easier way than -O0 to revert back to the old behavior?
> 
> yes -fno-tree-salias.
> 

No, that won't help either :)


There is no way to revert to the old behavior, you'd have to add flags
for PTA, which will break the SSA path, since we rely on it)



-- 


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

[Bug tree-optimization/22071] [4.1 regression] ICE in first_vi_for_offset, at tree-ssa-structalias.c:2506

[bkoz at gcc dot gnu dot org]

------- Additional Comments From bkoz at gcc dot gnu dot org  2005-06-22 20:13 -------

Can somebody do a binary search and find out what patch or patches broke this?


-- 


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

[Bug tree-optimization/22071] [4.1 regression] ICE in first_vi_for_offset, at tree-ssa-structalias.c:2506

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-22 20:29 -------
(In reply to comment #11)
> Can somebody do a binary search and find out what patch or patches broke this?
No need to as it is obvious what caused it as the person who caused it already commented on this, it 
was introduced when tree-ssa-structalias.c was added.
2005-06-08  Daniel Berlin  <dberlin@dberlin.org>

        * Makefile.in (OBJS-common): Add tree-ssa-structalias.o.
....

-- 


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

[Bug tree-optimization/22071] [4.1 regression] ICE in first_vi_for_offset, at tree-ssa-structalias.c:2506

[dberlin at dberlin dot org]

------- Additional Comments From dberlin at gcc dot gnu dot org  2005-06-22 20:50 -------
Subject: Re:  [4.1 regression] ICE in
	first_vi_for_offset, at tree-ssa-structalias.c:2506

On Wed, 2005-06-22 at 20:13 +0000, bkoz at gcc dot gnu dot org wrote:
> ------- Additional Comments From bkoz at gcc dot gnu dot org  2005-06-22 20:13 -------
> 
> Can somebody do a binary search and find out what patch or patches broke this?
> 
> 
I know what broke it.
It was the structalias commit i did when it was added to the mainline.
I'll fix it in the next few days.




-- 


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

[Bug tree-optimization/22071] [4.1 regression] ICE in first_vi_for_offset, at tree-ssa-structalias.c:2506

[dberlin at gcc dot gnu dot org]

------- Additional Comments From dberlin at gcc dot gnu dot org  2005-06-27 16:25 -------
mine

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |dberlin at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2005-06-15 02:29:28         |2005-06-27 16:25:08
               date|                            |


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

[Bug tree-optimization/22071] [4.1 regression] ICE in first_vi_for_offset, at tree-ssa-structalias.c:2506

[dberlin at gcc dot gnu dot org]

------- Additional Comments From dberlin at gcc dot gnu dot org  2005-07-01 03:37 -------
The patch http://gcc.gnu.org/ml/gcc-patches/2005-06/msg02173.html
combined with http://gcc.gnu.org/ml/gcc-patches/2005-06/msg02246.html
should fix the bugs.

(Sorry for the delay, i hit some latent issues in the C++ FE while fixing these,
which is what the second patch fixes).

-- 


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

[Bug tree-optimization/22071] [4.1 regression] ICE in first_vi_for_offset, at tree-ssa-structalias.c:2506

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-01 19:16 -------
*** Bug 22096 has been marked as a duplicate of this bug. ***

-- 


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

[Bug tree-optimization/22071] [4.1 regression] ICE in first_vi_for_offset, at tree-ssa-structalias.c:2506

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-07-01 19:45 -------
Subject: Bug 22071

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	dberlin@gcc.gnu.org	2005-07-01 19:45:24

Modified files:
	gcc            : ChangeLog tree-ssa-structalias.c 
Added files:
	gcc/testsuite/g++.dg/tree-ssa: pr22071.C 

Log message:
	2005-06-29  Daniel Berlin  <dberlin@dberlin.org>
	
	Fix PR tree-optimization/22071
	
	* tree-ssa-structalias.c (offset_overlaps_with_access): New
	function.
	(get_constraint_for_component_ref): Use it.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.9309&r2=2.9310
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-ssa-structalias.c.diff?cvsroot=gcc&r1=2.8&r2=2.9
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/tree-ssa/pr22071.C.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


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

[Bug tree-optimization/22071] [4.1 regression] ICE in first_vi_for_offset, at tree-ssa-structalias.c:2506

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-01 20:15 -------
Fixed.

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


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