[Bug middle-end/31068] New: ICE at -O1 -fipa-pta

[Bug middle-end/31068] New: ICE at -O1 -fipa-pta

[fxcoudert at gcc dot gnu dot org]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 979 bytes --]

I saw the -fipa-pta option in the GCC manual, and decided to try it on
mainline. But... I can't get it to work with any C code (or Fortran):

$ cat a.c
void foo() { ; }

$ gcc -c -O1 -fipa-pta a.c
a.c: In function ‘foo’:
a.c:5: error: stmt (0x2a983e4140) marked modified after optimization pass: 
return;
a.c:5: internal compiler error: verify_ssa failed

bonzini suggested I asked Daniel if it was expected or not, so... here it is.


-- 
           Summary: ICE at -O1 -fipa-pta
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: fxcoudert at gcc dot gnu dot org
 GCC build triplet: x86_64-unknown-linux-gnu
  GCC host triplet: x86_64-unknown-linux-gnu
GCC target triplet: x86_64-unknown-linux-gnu


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

[Bug middle-end/31068] ICE at -O1 -fipa-pta

[dberlin at dberlin dot org]

------- Comment #1 from dberlin at gcc dot gnu dot org  2007-03-07 14:31 -------
Subject: Re:  New: ICE at -O1 -fipa-pta

On 7 Mar 2007 10:32:37 -0000, fxcoudert at gcc dot gnu dot org
<gcc-bugzilla@gcc.gnu.org> wrote:
> I saw the -fipa-pta option in the GCC manual, and decided to try it on
> mainline. But... I can't get it to work with any C code (or Fortran):
>
> $ cat a.c
> void foo() { ; }
>
> $ gcc -c -O1 -fipa-pta a.c
> a.c: In function 'foo':
> a.c:5: error: stmt (0x2a983e4140) marked modified after optimization pass:
> return;
> a.c:5: internal compiler error: verify_ssa failed
>
> bonzini suggested I asked Daniel if it was expected or not, so... here it is.
>
Honza broke it when he merged IPA SSA changes.
Honza, can i just add TODO_update_ssa to an IPA pass, or is that broken?

If it works, then you can fix this just by adding TODO_update_ssa to
the todo_finish_flags of pass_ipa_pta.


-- 


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

[Bug middle-end/31068] ICE at -O1 -fipa-pta

[fxcoudert at gcc dot gnu dot org]

-- 

fxcoudert 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         |2007-03-14 10:46:31
               date|                            |


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

[Bug middle-end/31068] ICE at -O1 -fipa-pta

[dberlin at gcc dot gnu dot org]

------- Comment #2 from dberlin at gcc dot gnu dot org  2007-04-16 03:15 -------
PS, I will fix this sometime after we have LTO.
Until then, -fipa-pta is not worth it.


-- 


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

[Bug middle-end/31068] ICE at -O1 -fipa-pta

[fxcoudert at gmail dot com]

------- Comment #3 from fxcoudert at gmail dot com  2007-04-16 07:03 -------
Subject: Re:  ICE at -O1 -fipa-pta

> PS, I will fix this sometime after we have LTO.
> Until then, -fipa-pta is not worth it.

Can it be made an undocumented option, then, for the time being?  
Because it's still an ICE on valid code using a documented option :)


-- 


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

[Bug middle-end/31068] ICE at -O1 -fipa-pta

[dberlin at dberlin dot org]

------- Comment #4 from dberlin at gcc dot gnu dot org  2007-04-16 16:55 -------
Subject: Re:  ICE at -O1 -fipa-pta

On 16 Apr 2007 06:03:45 -0000, fxcoudert at gmail dot com
<gcc-bugzilla@gcc.gnu.org> wrote:
>
>
> ------- Comment #3 from fxcoudert at gmail dot com  2007-04-16 07:03 -------
> Subject: Re:  ICE at -O1 -fipa-pta
>
> > PS, I will fix this sometime after we have LTO.
> > Until then, -fipa-pta is not worth it.
>
> Can it be made an undocumented option, then, for the time being?
> Because it's still an ICE on valid code using a documented option :)

This is what i originally wanted, but people don't want options that
aren't documented :(
I'll make the trivial fix for it.


-- 


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

[Bug middle-end/31068] ICE at -O1 -fipa-pta

[pinskia at gcc dot gnu dot org]

------- Comment #5 from pinskia at gcc dot gnu dot org  2007-08-20 08:49 -------
Fixed on the trunk, most likely by:
2007-08-19  Daniel Berlin  <dberlin@dberlin.org>

        Fix PR 32772 
        Fix PR 32716
        Fix PR 32328
        Fix PR 32303


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.3.0


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