[Bug middle-end/42169] New: gfortran.dg/pr41928.f90:47: internal compiler error: in store_can_be_removed_p, at ira-emit.c:371

[Bug middle-end/42169] New: gfortran.dg/pr41928.f90:47: internal compiler error: in store_can_be_removed_p, at ira-emit.c:371

[danglin at gcc dot gnu dot org]

Executing on host: /mnt/gnu/gcc/objdir/gcc/testsuite/gfortran/../../gfortran
-B/
mnt/gnu/gcc/objdir/gcc/testsuite/gfortran/../../
/mnt/gnu/gcc/gcc/gcc/testsuite/
gfortran.dg/pr41928.f90   -O  -O -fbounds-check -w -S  -o pr41928.s    (timeout
= 300)
/mnt/gnu/gcc/gcc/gcc/testsuite/gfortran.dg/pr41928.f90: In function 'moment':
/mnt/gnu/gcc/gcc/gcc/testsuite/gfortran.dg/pr41928.f90:47: internal compiler
err
or: in store_can_be_removed_p, at ira-emit.c:371

-bash-3.2$ ./xgcc -B./ -v
Reading specs from ./specs
Target: hppa2.0w-hp-hpux11.11
Configured with: ../gcc/configure --with-gnu-as --with-as=/opt/gnu/bin/as
--enable-shared --with-local-prefix=/opt/gnu --prefix=/opt/gnu/gcc/gcc-4.4.3
--with-gmp=/opt/gnu/gcc/gcc-4.4.3 --enable-threads=posix --enable-debug=no
--disable-nls --without-cloog --without-ppl --enable-checking=release
--enable-languages=c,c++,objc,fortran,java,ada,obj-c++
Thread model: posix
gcc version 4.4.3 20091124 (prerelease) [gcc-4_4-branch revision 154487] (GCC)


-- 
           Summary: gfortran.dg/pr41928.f90:47: internal compiler error: in
                    store_can_be_removed_p, at ira-emit.c:371
           Product: gcc
           Version: 4.4.3
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: danglin at gcc dot gnu dot org
 GCC build triplet: hppa*-*-* (32-bit)
  GCC host triplet: hppa*-*-* (32-bit)
GCC target triplet: hppa*-*-* (32-bit)


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

[Bug middle-end/42169] [4.4/4.5 Regression] gfortran.dg/pr41928.f90:47: internal compiler error: in store_can_be_removed_p, at ira-emit.c:371

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |vmakarov at gcc dot gnu dot
                   |                            |org
            Summary|gfortran.dg/pr41928.f90:47: |[4.4/4.5 Regression]
                   |internal compiler error: in |gfortran.dg/pr41928.f90:47:
                   |store_can_be_removed_p, at  |internal compiler error: in
                   |ira-emit.c:371              |store_can_be_removed_p, at
                   |                            |ira-emit.c:371
   Target Milestone|---                         |4.4.3


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

[Bug middle-end/42169] [4.4/4.5 Regression] gfortran.dg/pr41928.f90:47: internal compiler error: in store_can_be_removed_p, at ira-emit.c:371

[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=42169

[Bug middle-end/42169] [4.4/4.5 Regression] gfortran.dg/pr41928.f90:47: internal compiler error: in store_can_be_removed_p, at ira-emit.c:371

[danglin at gcc dot gnu dot org]

------- Comment #1 from danglin at gcc dot gnu dot org  2009-12-22 03:09 -------
Compiles successfully without -fbounds-check on hppa-unknown-linux-gnu.


-- 


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

[Bug middle-end/42169] [4.4/4.5 Regression] gfortran.dg/pr41928.f90:47: internal compiler error: in store_can_be_removed_p, at ira-emit.c:371

[danglin at gcc dot gnu dot org]

------- Comment #2 from danglin at gcc dot gnu dot org  2010-01-19 01:01 -------
Still present in revision 155956.


-- 


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

[Bug middle-end/42169] [4.4/4.5 Regression] gfortran.dg/pr41928.f90:47: internal compiler error: in store_can_be_removed_p, at ira-emit.c:371

[jakub at gcc dot gnu dot org]

-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.4.3                       |4.4.4


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

[Bug fortran/42169] [4.4/4.5/4.6 Regression] gfortran.dg/pr41928.f90:47: internal compiler error: in store_can_be_removed_p, at ira-emit.c:371

[sje at cup dot hp dot com]

-- 

sje at cup dot hp dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
          Component|middle-end                  |fortran
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2010-04-14 21:56:44
               date|                            |


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

[Bug middle-end/42169] [4.4/4.5/4.6 Regression] gfortran.dg/pr41928.f90:47: internal compiler error: in store_can_be_removed_p, at ira-emit.c:371

[sje at cup dot hp dot com]

------- Comment #3 from sje at cup dot hp dot com  2010-04-14 21:56 -------
Created an attachment (id=20380)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=20380&action=view)
Shorter version of pr41928.f90

Here is a cutdown version of the failing test.  Note that in this version coset
is a function call instead of an array.  If I make coset an array like in the
original pr41928.f90, the test passes.  Also if I make ax and ay integers the
test passes.  Since ax and ay are used as do loop variables if you don't
compile with -w (like the test case does) then you get messages like these
with this test case and with the original one.

Warning: Deleted feature: Loop variable at (1) must be integer
Warning: Deleted feature: End expression in DO loop at (1) must be integer

If you modify the test (original or my cutdown version) to fix these warnings
the failure goes away.

I am not sure if a ICE in a testcase that uses deleted features is a bug or not
but since I think the problem is that the fortran front-end is sending bad
gimple to the middle end I am going to change this from a middle-end bug to a
fortran bug.

I have no idea why I only see this on hppa[12]*-hp-hpux11* and not on any other
platforms.


-- 


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

[Bug fortran/42169] [4.4/4.5/4.6 Regression] gfortran.dg/pr41928.f90:47: internal compiler error: in store_can_be_removed_p, at ira-emit.c:371

[jvdelisle at gcc dot gnu dot org]

------- Comment #4 from jvdelisle at gcc dot gnu dot org  2010-04-15 00:17 -------
An ice is an ice.  However, this is particularly nasty to me since it is trying
to use reals for index variables.

Have you tried to get this down to a single loop and get the ice?

In -fdump-tree-original I see this:

<unnamed-unsigned:64> D.1619;

What is this? an unsigned 64 bit integer?


-- 


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

[Bug fortran/42169] [4.4/4.5/4.6 Regression] gfortran.dg/pr41928.f90:47: internal compiler error: in store_can_be_removed_p, at ira-emit.c:371

[kargl at gcc dot gnu dot org]

------- Comment #5 from kargl at gcc dot gnu dot org  2010-04-15 04:13 -------
(In reply to comment #4)
> An ice is an ice.  However, this is particularly nasty to me since it is trying
> to use reals for index variables.
> 
> Have you tried to get this down to a single loop and get the ice?
> 
> In -fdump-tree-original I see this:
> 
> <unnamed-unsigned:64> D.1619;

I tried reproducing the problem on FreeBSD.  It appears, as
Steve stated, to be target specific.  We may need to compare
the output of -fdump-tree-all on hppa with a non-hppa target.

> What is this? an unsigned 64 bit integer?
> 


-- 


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

[Bug fortran/42169] [4.4/4.5/4.6 Regression] gfortran.dg/pr41928.f90:47: internal compiler error: in store_can_be_removed_p, at ira-emit.c:371

[sje at cup dot hp dot com]

------- Comment #6 from sje at cup dot hp dot com  2010-04-15 17:10 -------
I tried comparing the tree's between hppa2.0w-hp-hpux11.11, where I get the bug
and ia64-hp-hpux11.23, where I do not see the bug and I didn't see any real
differences in the trees, just differences in the names of generated variables
(D.1056 vs. D.1077, etc).  I used my cutdown test case, testcase.f90, which is
the smallest test case I was able to create.  The unnamed-unsigned variables I
see are 32 bits and not 64 bits, but the odd thing that I see (on both pa and
ia64)
is:

$ grep D.762 x*.f90.*
x.f90.003t.original:  <unnamed-unsigned:32> D.762;
x.f90.003t.original:    D.762 = (<unnamed-unsigned:32>) size.6 * 8;

The variable is given a value but never used.  These 'unnamed-unsigned'
variables seem to disappear during the copyrename1 phase.  I think this value
is the size of the array, in this case the size of ncoset.  I guess the Fortran
front-end generates it in case it is needed but in this case it is never needed
and so gets optimized away.  I don't know if it is related to the problem at
all but I do wonder why it is 'unnamed-unsigned' and not given a real type
name.


-- 


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

[Bug fortran/42169] [4.4/4.5/4.6 Regression] gfortran.dg/pr41928.f90:47: internal compiler error: in store_can_be_removed_p, at ira-emit.c:371

[sje at cup dot hp dot com]

------- Comment #7 from sje at cup dot hp dot com  2010-04-15 23:47 -------
Since the failure requires -O1 as well as -fbounds-check I tried turning off
various -O1 optimizations.  I could turn off everything (and still get the bug)
except if I use -fno-tree-dominator-opts or -fno-guess-branch-probability.
If I use either of these flags the bug does not happen.  I think something is
happening related to the fact that _gfortran_runtime_error_at is marked as
'NORETURN' that is causing a bad optimization.  It may be related to making
registers as REG_DEAD but I haven't found a place where I think this marking
is actually wrong yet.


-- 


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

[Bug fortran/42169] [4.4/4.5/4.6 Regression] gfortran.dg/pr41928.f90:47: internal compiler error: in store_can_be_removed_p, at ira-emit.c:371

[sje at cup dot hp dot com]

------- Comment #8 from sje at cup dot hp dot com  2010-04-16 19:54 -------
I think the problem is related to the fact that IRA is trying to figure out if
the store of lx1 can be eliminated and lx1 may be uninitialized.  The only
place lx1 is set is in an if statement in a loop.  If we don't execute the if
statement then lx1 is never set and this may be what IRA is complaining about.


-- 


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

[Bug fortran/42169] [4.4/4.5/4.6 Regression] gfortran.dg/pr41928.f90:47: internal compiler error: in store_can_be_removed_p, at ira-emit.c:371

[dominiq at lps dot ens dot fr]

------- Comment #9 from dominiq at lps dot ens dot fr  2010-04-16 20:15 -------
When compiled with -O2 -Wuninitialized, the reduced test of comment #3 gives

...
pr42169.f90: In function 'moment':
pr42169.f90:15:0: warning: 'lx' may be used uninitialized in this function
pr42169.f90:16:0: warning: 'lx1' may be used uninitialized in this function

(without ICE on x86_64-apple-darwin10).


-- 


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

[Bug fortran/42169] [4.4/4.5/4.6 Regression] gfortran.dg/pr41928.f90:47: internal compiler error: in store_can_be_removed_p, at ira-emit.c:371

[jakub at gcc dot gnu dot org]

-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.4.4                       |4.4.5


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

[Bug fortran/42169] [4.4/4.5/4.6 Regression] gfortran.dg/pr41928.f90:47: internal compiler error: in store_can_be_removed_p, at ira-emit.c:371

[hp at gcc dot gnu dot org]

------- Comment #10 from hp at gcc dot gnu dot org  2010-06-10 21:00 -------
Now (with r160560) appearing for cris-elf too!


-- 

hp at gcc dot gnu dot org changed:

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


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

[Bug fortran/42169] [4.4/4.5/4.6 Regression] gfortran.dg/pr41928.f90:47: internal compiler error: in store_can_be_removed_p, at ira-emit.c:371

[hp at gcc dot gnu dot org]

------- Comment #11 from hp at gcc dot gnu dot org  2010-06-10 21:02 -------
(In reply to comment #10)
> Now (with r160560) appearing for cris-elf too!

Forgot to mention that it last worked for cris-elf with r160547.


-- 


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

[Bug fortran/42169] [4.4/4.5/4.6 Regression] gfortran.dg/pr41928.f90:47: internal compiler error: in store_can_be_removed_p, at ira-emit.c:371

[hp at gcc dot gnu dot org]

------- Comment #12 from hp at gcc dot gnu dot org  2010-06-11 20:07 -------
(In reply to comment #11)
> (In reply to comment #10)
> > Now (with r160560) appearing for cris-elf too!
> 
> Forgot to mention that it last worked for cris-elf with r160547.

Last known appearance r160602, gone again at r160612.


-- 


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

[Bug fortran/42169] [4.4/4.5/4.6 Regression] gfortran.dg/pr41928.f90:47: internal compiler error: in store_can_be_removed_p, at ira-emit.c:371

[sje at cup dot hp dot com]

------- Comment #13 from sje at cup dot hp dot com  2010-06-11 20:19 -------
On hppa2.0w-hp-hpux11.11, I don't see the testsuite failure after 158397.


-- 


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

[Bug fortran/42169] [4.4/4.5/4.6 Regression] gfortran.dg/pr41928.f90:47: internal compiler error: in store_can_be_removed_p, at ira-emit.c:371

[danglin at gcc dot gnu dot org]

------- Comment #14 from danglin at gcc dot gnu dot org  2010-06-28 19:31 -------
I still see it as of 161474 (both head and 4.5).


-- 


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

[Bug fortran/42169] [4.4/4.5/4.6 Regression] gfortran.dg/pr41928.f90:47: internal compiler error: in store_can_be_removed_p, at ira-emit.c:371

[burnus at gcc dot gnu dot org]

------- Comment #15 from burnus at gcc dot gnu dot org  2010-09-21 09:20 -------
Any idea what could be done from the gfortran side? Without being able to
reproduce it, it is a bit difficult to debug :-(


-- 


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