[Bug c/37106] New: ICE: in mems_in_disjoint_alias_sets_p, at alias.c:278

[Bug c/37106] New: ICE: in mems_in_disjoint_alias_sets_p, at alias.c:278

[dominiq at lps dot ens dot fr]

On i686-apple-darwin9 from revision 138210 with -m64, I get the follwing ICE:

[ibook-dhum] f90/bug% gcc44 -m64 -O1 -msse2 -mfpmath=sse -march=k8
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.target/i386/hot-1.c
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.target/i386/hot-1.c: In function
'not_hot':
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.target/i386/hot-1.c:33: internal compiler
error: in mems_in_disjoint_alias_sets_p, at alias.c:278

for gcc.target/i386/hot-1.c, opt-1.c, and opt-2.c.


-- 
           Summary: ICE: in mems_in_disjoint_alias_sets_p, at alias.c:278
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: dominiq at lps dot ens dot fr
 GCC build triplet: i686-apple-darwin9
  GCC host triplet: i686-apple-darwin9
GCC target triplet: i686-apple-darwin9


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

[Bug c/37106] [4.4 Regression] ICE: in mems_in_disjoint_alias_sets_p, at alias.c:278

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
            Summary|ICE: in                     |[4.4 Regression] ICE: in
                   |mems_in_disjoint_alias_sets_|mems_in_disjoint_alias_sets_
                   |p, at alias.c:278           |p, at alias.c:278
   Target Milestone|---                         |4.4.0


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

[Bug c/37106] [4.4 Regression] ICE: in mems_in_disjoint_alias_sets_p, at alias.c:278

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

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


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

[Bug c/37106] [4.4 Regression] ICE: in mems_in_disjoint_alias_sets_p, at alias.c:278

[dominiq at lps dot ens dot fr]

------- Comment #1 from dominiq at lps dot ens dot fr  2008-08-27 09:25 -------
This regression has been introduced between revisions 137991 and 138210.


-- 


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

[Bug c/37106] [4.4 Regression] ICE: in mems_in_disjoint_alias_sets_p, at alias.c:278

[dominiq at lps dot ens dot fr]

------- Comment #2 from dominiq at lps dot ens dot fr  2008-10-13 08:55 -------
I now get the same error for gcc.target/i386/opt-1.c and opt-2.c also in 32 bit
mode (default). This appeared between revision r141074 (with the patch for
pr37808) and r141083.

Note the ICE for gcc.target/i386/hot-1.c disappeared between r139622 and
r139843.


-- 


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

[Bug c/37106] [4.4 Regression] ICE: in mems_in_disjoint_alias_sets_p, at alias.c:278

[howarth at nitro dot med dot uc dot edu]

------- Comment #3 from howarth at nitro dot med dot uc dot edu  2008-10-13 13:46 -------
Can you try regressing r141079 and see if that suppresses the problem on -m32
for i686-apple-darwin9?


-- 


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

[Bug c/37106] [4.4 Regression] ICE: in mems_in_disjoint_alias_sets_p, at alias.c:278

[dominiq at lps dot ens dot fr]

------- Comment #4 from dominiq at lps dot ens dot fr  2008-10-13 13:59 -------
> Can you try regressing r141079 ...

This revision is for the ira-merge branch, the revision for trunk is r141077
and given the revision window and the fact that it cannot be r141078 since the
failures did not appear with this patch, and that the other revisions are
either gfortran or date stamps, I think it is the only candidate without
further testing.


-- 


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

[Bug c/37106] [4.4 Regression] ICE: in mems_in_disjoint_alias_sets_p, at alias.c:278

[howarth at nitro dot med dot uc dot edu]

------- Comment #5 from howarth at nitro dot med dot uc dot edu  2008-10-13 14:13 -------
To clarify are you saying that the offending revision is likely 141079 or
141077?  Both have changes to alias.c.


-- 


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

[Bug c/37106] [4.4 Regression] ICE: in mems_in_disjoint_alias_sets_p, at alias.c:278

[dominiq at lps dot ens dot fr]

------- Comment #6 from dominiq at lps dot ens dot fr  2008-10-13 14:24 -------
> To clarify are you saying that the offending revision is likely 141079 or
> 141077?  Both have changes to alias.c.

Both revisions are the same: 141077 is for trunk (what I build and probably you
also), 141079 is for the "ira-merge" branch I am not using.


-- 


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

[Bug c/37106] [4.4 Regression] ICE: in mems_in_disjoint_alias_sets_p, at alias.c:278

[howarth at nitro dot med dot uc dot edu]

------- Comment #7 from howarth at nitro dot med dot uc dot edu  2008-10-13 16:11 -------
Can you try the failing test cases with -fno-PIC to see if these issues are
related to the fact that darwin defaults to -fPIC?


-- 


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

[Bug c/37106] [4.4 Regression] ICE: in mems_in_disjoint_alias_sets_p, at alias.c:278

[dominiq at lps dot ens dot fr]

------- Comment #8 from dominiq at lps dot ens dot fr  2008-10-13 16:54 -------
> Can you try the failing test cases with -fno-PIC to see if these issues are
> related to the fact that darwin defaults to -fPIC?

 Apparently the tests pass with -fno-PIC in 32 bit mode but not with -m64:

[ibook-dhum] f90/bug% gfc -c -O1 -msse2 -mfpmath=sse -march=k8 -fno-PIC
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.target/i386/opt-1.c
[ibook-dhum] f90/bug% gfc -c -O1 -msse2 -mfpmath=sse -march=k8 -fno-PIC
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.target/i386/opt-2.c
[ibook-dhum] f90/bug% gfc -m64 -c -O1 -msse2 -mfpmath=sse -march=k8 -fno-PIC
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.target/i386/opt-1.c
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.target/i386/opt-1.c: In function
'not_opt3':
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.target/i386/opt-1.c:34: internal compiler
error: in mems_in_disjoint_alias_sets_p, at alias.c:278
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
[ibook-dhum] f90/bug% gfc -m64 -c -O1 -msse2 -mfpmath=sse -march=k8 -fno-PIC
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.target/i386/opt-2.c
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.target/i386/opt-2.c: In function
'not_opt3':
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.target/i386/opt-2.c:37: internal compiler
error: in mems_in_disjoint_alias_sets_p, at alias.c:278
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


-- 


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

[Bug c/37106] [4.4 Regression] ICE: in mems_in_disjoint_alias_sets_p, at alias.c:278

[ghazi at gcc dot gnu dot org]

------- Comment #10 from ghazi at gcc dot gnu dot org  2008-10-14 08:10 -------
(In reply to comment #9)
> Well, I guess then the first thing to ask for is for both the
> gcc.target/i386/opt-1.c and gcc.target/i386/opt-2.c tests to be
> extended so that they are run with -fPIC. It would be helpful to
> know if current gcc trunk on i386 linux fail these test with -fPIC
> to determine if this issue is darwin specific.

I confirm the opt-1/opt-2 failures on i686-linix and x86_64-linux when using
-fpic or -fPIC:

http://gcc.gnu.org/ml/gcc-testresults/2008-10/msg00958.html
http://gcc.gnu.org/ml/gcc-testresults/2008-10/msg00907.html

The issue is not darwin-specific.


-- 

ghazi at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ghazi at gcc dot gnu dot org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2008-10-14 08:10:59
               date|                            |


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

[Bug c/37106] [4.4 Regression] ICE: in mems_in_disjoint_alias_sets_p, at alias.c:278

[dominiq at lps dot ens dot fr]

------- Comment #11 from dominiq at lps dot ens dot fr  2008-10-14 10:14 -------
> I confirm the opt-1/opt-2 failures on i686-linix and x86_64-linux when using
> -fpic or -fPIC:
> ...
> The issue is not darwin-specific.

Digging the archives the failures on x86_64-linux when using -fpic or -fPIC
appeared between:

http://gcc.gnu.org/ml/gcc-testresults/2008-07/msg02246.html

and

http://gcc.gnu.org/ml/gcc-testresults/2008-07/msg02337.html

Kaveh do you have a way to know the corresponding revisions?


-- 


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

[Bug c/37106] [4.4 Regression] ICE with -fpic or -fPIC: in mems_in_disjoint_alias_sets_p, at alias.c:278

[dominiq at lps dot ens dot fr]

------- Comment #12 from dominiq at lps dot ens dot fr  2008-10-14 10:57 -------
Possible candidates revisions 138075, 138089, and 138092.


-- 


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

[Bug c/37106] [4.4 Regression] ICE with -fpic or -fPIC: in mems_in_disjoint_alias_sets_p, at alias.c:278

[ghazi at gcc dot gnu dot org]

------- Comment #13 from ghazi at gcc dot gnu dot org  2008-10-15 18:37 -------
(In reply to comment #11)
> Digging the archives the failures on x86_64-linux when using -fpic or -fPIC
> appeared between:
> http://gcc.gnu.org/ml/gcc-testresults/2008-07/msg02246.html
> and
> http://gcc.gnu.org/ml/gcc-testresults/2008-07/msg02337.html
> Kaveh do you have a way to know the corresponding revisions?

Sorry no.  I see that some postings have the revision number in the postiong
subject, but I don't know how to do that nor why everyone isn't having that
done by default.  It would have been useful in retrospect.  :-/


-- 


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

[Bug c/37106] [4.4 Regression] ICE with -fpic or -fPIC: in mems_in_disjoint_alias_sets_p, at alias.c:278

[dominiq at lps dot ens dot fr]

------- Comment #14 from dominiq at lps dot ens dot fr  2008-10-15 18:54 -------
> ... I don't know how to do that ...

What I do is to edit the file gcc/DATESTAMP to have

[revision number] date

instead of just

date

The minor drawback is that there is a conflict with svn update each time the
date stamp changes.

> why everyone isn't having that done by default ...

May be you can ask on the gcc list why this is not done automatically.


-- 


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

[Bug c/37106] [4.4 Regression] ICE with -fpic or -fPIC: in mems_in_disjoint_alias_sets_p, at alias.c:278

[dominiq at lps dot ens dot fr]

------- Comment #15 from dominiq at lps dot ens dot fr  2008-10-15 18:58 -------
I have forgotten to say that I also put the revision numbers in the name of the
logs of the tests so I can grep the files for some pattern and have the list of
the revisions for which it appears.


-- 


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

[Bug c/37106] [4.4 Regression] ICE with -fpic or -fPIC: in mems_in_disjoint_alias_sets_p, at alias.c:278

[hjl dot tools at gmail dot com]

------- Comment #16 from hjl dot tools at gmail dot com  2008-10-15 21:06 -------
(In reply to comment #13)
> Sorry no.  I see that some postings have the revision number in the postiong
> subject, but I don't know how to do that nor why everyone isn't having that
> done by default.  It would have been useful in retrospect.  :-/
> 

If you use "contrib/gcc_update" to update your SVN tree, "gcc --version"
will report

4.4.0 20081015 (experimental) [trunk revision 141140]


-- 


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

[Bug c/37106] [4.4 Regression] ICE with -fpic or -fPIC: in mems_in_disjoint_alias_sets_p, at alias.c:278

[jakub at gcc dot gnu dot org]

-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |jakub at gcc dot gnu dot org
                   |dot org                     |
                URL|                            |http://gcc.gnu.org/ml/gcc-
                   |                            |patches/2008-
                   |                            |11/msg00068.html
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2008-10-14 08:10:59         |2008-11-03 15:39:26
               date|                            |


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

[Bug c/37106] [4.4 Regression] ICE with -fpic or -fPIC: in mems_in_disjoint_alias_sets_p, at alias.c:278

[jakub at gcc dot gnu dot org]

------- Comment #17 from jakub at gcc dot gnu dot org  2008-11-04 20:08 -------
Subject: Bug 37106

Author: jakub
Date: Tue Nov  4 20:06:33 2008
New Revision: 141584

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=141584
Log:
        PR c/37106
        * c-common.c (parse_optimize_options): Save and restore
        flag_strict_aliasing around decode_options call.

        * gcc.dg/pr37106-1.c: New test.
        * gcc.dg/pr37106-2.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/pr37106-1.c
    trunk/gcc/testsuite/gcc.dg/pr37106-2.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/c-common.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c/37106] [4.4 Regression] ICE with -fpic or -fPIC: in mems_in_disjoint_alias_sets_p, at alias.c:278

[jakub at gcc dot gnu dot org]

------- Comment #18 from jakub at gcc dot gnu dot org  2008-11-04 20:24 -------
Fixed.


-- 

jakub at gcc dot gnu dot org changed:

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


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

[Bug c/37106] [4.4 Regression] ICE with -fpic or -fPIC: in mems_in_disjoint_alias_sets_p, at alias.c:278

[pinskia at gcc dot gnu dot org]

------- Comment #19 from pinskia at gcc dot gnu dot org  2008-11-11 00:52 -------
Blah, turning on/off strict aliasing via the option pragma would be a good
idea.


-- 


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