[Bug c/12650] New: [tree-ssa] ICE in tree-flow-inline.h with "-O -fssa" but not with "-O"

[Bug c/12650] New: [tree-ssa] ICE in tree-flow-inline.h with "-O -fssa" but not with "-O"

[steven at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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

           Summary: [tree-ssa] ICE in tree-flow-inline.h with "-O -fssa" but
                    not with "-O"
           Product: gcc
           Version: tree-ssa
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: steven at gcc dot gnu dot org
                CC: dnovillo at redhat dot com,gcc-bugs at gcc dot gnu dot
                    org

The following:

void
foo (void)
{
  goto loop_entry;
loop_start:
loop_entry:
  goto loop_start;
loop_exit:
}

compiles with just "-O" but segfaults with "-O -fssa"

Normally I wouldn't give a s... about -fssa, but:
a) this test case was deduced from gcc.dg/20020304-1.c which
   also ICEs on the tree-ssa branch on a sanity check after
   -fssa-ccp.  This new ICE might be related, perhaps we just
   compute broken dominance information for RTL???
b) this ICE happens in tree-flow-inline.h according to gdb:

Program received signal SIGSEGV, Segmentation fault.
compute_dominance_frontiers_1 (frontiers=0x8627520, idom=0x8627610, bb=0,
    done=0x86275f8) at tree-flow-inline.h:270
270     tree-flow-inline.h: No such file or directory.
        in tree-flow-inline.h

    Weird to have a tree-ssa failure with RTL SSA, but in tree-ssa code!

[Bug c/12650] [tree-ssa] ICE in tree-flow-inline.h with "-O -fssa" but not with "-O"

[pinskia at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From pinskia at gcc dot gnu dot org  2003-10-16 22:20 -------
*** Bug 12652 has been marked as a duplicate of this bug. ***

[Bug c/12650] [tree-ssa] ICE in tree-flow-inline.h with "-O -fssa" but not with "-O"

[dnovillo at redhat dot com]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From dnovillo at redhat dot com  2003-10-16 22:42 -------
Subject: Re:  New: [tree-ssa] ICE in tree-flow-inline.h with
	"-O -fssa" but not with "-O"

On Thu, 2003-10-16 at 16:48, steven at gcc dot gnu dot org wrote:

>     Weird to have a tree-ssa failure with RTL SSA, but in tree-ssa code!
> 
Parts of the common code that used to exist in RTL SSA has been moved
into the tree-* files to make it easier to remove the RTL SSA stuff at a
later date.


Diego.

[Bug c/12650] [tree-ssa] ICE in tree-flow-inline.h with "-O -fssa" but not with "-O"

[steven at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From steven at gcc dot gnu dot org  2003-10-16 22:44 -------
Subject: Re:  [tree-ssa] ICE in tree-flow-inline.h with "-O
	-fssa" but not with "-O"

Op vr 17-10-2003, om 00:42 schreef dnovillo at redhat dot com:
> Parts of the common code that used to exist in RTL SSA has been moved
> into the tree-* files to make it easier to remove the RTL SSA stuff at a
> later date.

So the decision has been made and RTL SSA is going to be wiped away?  We
were just discussing this on IRC :)  I thought Jeff still had plans with
it??

Gr.
Steven

[Bug c/12650] [tree-ssa] ICE in tree-flow-inline.h with "-O -fssa" but not with "-O"

[dnovillo at redhat dot com]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From dnovillo at redhat dot com  2003-10-16 22:48 -------
Subject: Re:  [tree-ssa] ICE in tree-flow-inline.h with "-O
	-fssa" but not with "-O"

On Thu, 2003-10-16 at 18:44, steven at gcc dot gnu dot org wrote:

> So the decision has been made and RTL SSA is going to be wiped away?  We
> were just discussing this on IRC :)  I thought Jeff still had plans with
> it??
> 
Dunno.  I thought it was going to be removed, but I haven't been paying
much attention to that issue.


Diego.

[Bug c/12650] [tree-ssa] ICE in tree-flow-inline.h with "-O -fssa" but not with "-O"

[steven at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From steven at gcc dot gnu dot org  2003-10-16 23:44 -------
OK then.  Let's XFAIL gcc.dg/20020304-1.c and close this report.

[Bug optimization/12650] [tree-ssa] ICE in tree-flow-inline.h with "-O -fssa" but not with "-O"

[pinskia at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|c                           |optimization

[Bug optimization/12650] [tree-ssa] ICE in tree-flow-inline.h with "-O -fssa" but not with "-O"

[pinskia at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2003-10-19 07:09:37
               date|                            |

[Bug optimization/12650] [tree-ssa] ICE in tree-flow-inline.h with "-O -fssa" but not with "-O"

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2003-11-26 02:09 -------
Closing as will not fix as -fssa has now been removed from the mainline and the tree-ssa.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |WONTFIX


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