[Bug middle-end/33092] New: Using -O1 -fno-tree-salias results in ICE

[Bug middle-end/33092] New: Using -O1 -fno-tree-salias results in ICE

[sje at cup dot hp dot com]

While turning off optimizations to try and track down a compiler bug I noticed
that if I used -fno-tree-salias with -O1 the compiler would ICE:

x.c: In function 'main':
x.c:1: internal compiler error: in verify_curr_properties, at passes.c:1035
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

This can be reproduced by compiling any program with "-O1 -fno-tree-salias".


-- 
           Summary: Using -O1 -fno-tree-salias results in ICE
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: sje at cup dot hp dot com


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

[Bug middle-end/33092] [4.3 Regrsssion] Using -O1 -fno-tree-salias results in ICE

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dberlin at gcc dot gnu dot
                   |                            |org
            Summary|Using -O1 -fno-tree-salias  |[4.3 Regrsssion] Using -O1 -
                   |results in ICE              |fno-tree-salias results in
                   |                            |ICE
   Target Milestone|---                         |4.3.0


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

[Bug middle-end/33092] [4.3 Regrsssion] Using -O1 -fno-tree-salias results in ICE

[dberlin at dberlin dot org]

------- Comment #1 from dberlin at gcc dot gnu dot org  2007-08-16 17:37 -------
Subject: Re:  [4.3 Regrsssion] Using -O1 -fno-tree-salias results in ICE

Yeah, we either need to remove salias, or force create an empty
may_alias pass that returns TODO_may_alias but does nothing else.

I'm not sure which is the better option (I don't really see the point
of -fno-tree-salias, it would be like -fno-tree-call-cloberring)

On 16 Aug 2007 16:54:38 -0000, pinskia at gcc dot gnu dot org
<gcc-bugzilla@gcc.gnu.org> wrote:
>
>
> --
>
> pinskia at gcc dot gnu dot org changed:
>
>            What    |Removed                     |Added
> ----------------------------------------------------------------------------
>                  CC|                            |dberlin at gcc dot gnu dot
>                    |                            |org
>             Summary|Using -O1 -fno-tree-salias  |[4.3 Regrsssion] Using -O1 -
>                    |results in ICE              |fno-tree-salias results in
>                    |                            |ICE
>    Target Milestone|---                         |4.3.0
>
>
> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33092
>
> ------- You are receiving this mail because: -------
> You are on the CC list for the bug, or are watching someone who is.
>


-- 


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

[Bug middle-end/33092] [4.3 Regrsssion] Using -O1 -fno-tree-salias results in ICE

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2007-08-20 01:46 -------
Confirmed.


-- 

pinskia 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-08-20 01:46:26
               date|                            |


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

[Bug middle-end/33092] [4.3 Regrsssion] Using -O1 -fno-tree-salias results in ICE

[mmitchel at gcc dot gnu dot org]

------- Comment #3 from mmitchel at gcc dot gnu dot org  2007-09-05 01:31 -------
I'm all for removing optimization options if we don't ever want to turn them
off.  Fewer options would be better...


-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2


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

[Bug tree-optimization/33092] [4.3 Regrsssion] Using -O1 -fno-tree-salias results in ICE

[pinskia at gcc dot gnu dot org]

------- Comment #4 from pinskia at gcc dot gnu dot org  2007-10-03 23:12 -------
*** Bug 33650 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

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


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

[Bug tree-optimization/33092] [4.3 Regrsssion] Using -O1 -fno-tree-salias results in ICE

[pinskia at gcc dot gnu dot org]

------- Comment #5 from pinskia at gcc dot gnu dot org  2007-10-06 21:22 -------
*** Bug 33681 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |patrik dot hagglund at
                   |                            |bredband dot net


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

[Bug tree-optimization/33092] [4.3 Regrsssion] Using -O1 -fno-tree-salias results in ICE

[rob dot quill at gmail dot com]

------- Comment #6 from rob dot quill at gmail dot com  2007-11-16 20:00 -------
I'm working on adding a new pass for this.

Rob


-- 


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

[Bug tree-optimization/33092] [4.3 Regrsssion] Using -O1 -fno-tree-salias results in ICE

[rob dot quill at gmail dot com]

------- Comment #7 from rob dot quill at gmail dot com  2007-11-17 19:27 -------
I believe I have this done, just checking there are no regressions.

Rob


-- 


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

[Bug tree-optimization/33092] [4.3 Regrsssion] Using -O1 -fno-tree-salias results in ICE

[rob dot quill at gmail dot com]

------- Comment #8 from rob dot quill at gmail dot com  2007-11-19 13:46 -------
Created an attachment (id=14581)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14581&action=view)
Patch adds a dummy pass, as discussed in comments

Patch attached, no regressions on x86_64.


-- 


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

[Bug tree-optimization/33092] [4.3 Regression] Using -O1 -fno-tree-salias results in ICE

[manu at gcc dot gnu dot org]

------- Comment #9 from manu at gcc dot gnu dot org  2008-01-22 13:28 -------
Subject: Bug 33092

Author: manu
Date: Tue Jan 22 13:27:52 2008
New Revision: 131717

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=131717
Log:
2008-01-22  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>

        PR middle-end/33092
        * tree-pass.h (pass_build_alias): New pass.
        * tree-ssa-alias.c (gate_build_alias): New.
        (pass_build_alias): New.
        * passes.c (init_optimization_passes): Add pass_build_alias after
        pass_create_structure_vars.

testsuite/
        * gcc.dg/pr33092.c: New.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/passes.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-pass.h
    trunk/gcc/tree-ssa-alias.c


-- 


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

[Bug tree-optimization/33092] [4.3 Regression] Using -O1 -fno-tree-salias results in ICE

[manu at gcc dot gnu dot org]

------- Comment #10 from manu at gcc dot gnu dot org  2008-01-22 13:29 -------
Fixed for GCC 4.3


-- 

manu at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |manu at gcc dot gnu dot org
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED


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

[Bug tree-optimization/33092] [4.3 Regression] Using -O1 -fno-tree-salias results in ICE

[manu at gcc dot gnu dot org]

------- Comment #11 from manu at gcc dot gnu dot org  2008-01-22 13:32 -------
Rob,

I just noticed that you proposed a patch and got no answer. I am sorry for
that. Patches should be sent to gcc-patches@gcc.gnu.org. Even that does not
ensure that it will get noticed. If after one week or two nobody gives any
reply, it is fairly common to "ping" the patch from time to time, so it doesn't
get lost. We used to have a patch queue but it is down right now.


-- 


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

[Bug tree-optimization/33092] [4.3 Regression] Using -O1 -fno-tree-salias results in ICE

[manu at gcc dot gnu dot org]

------- Comment #12 from manu at gcc dot gnu dot org  2008-01-22 14:17 -------
Subject: Bug 33092

Author: manu
Date: Tue Jan 22 14:17:00 2008
New Revision: 131721

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=131721
Log:
Missed testcase in earlier commit.

2008-01-22  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>

        PR middle-end/33092
testsuite/
        * gcc.dg/pr33092.c: New.

Added:
    trunk/gcc/testsuite/gcc.dg/pr33092.c


-- 


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