[Bug middle-end/27392] New: GCC error: in n_of_executions_at_least, at tree-ssa-loop-niter.c:1772

[Bug middle-end/27392] New: GCC error: in n_of_executions_at_least, at tree-ssa-loop-niter.c:1772

[danglin at gcc dot gnu dot org]

/home/dave/gnu/gcc-4.2/objdir/./prev-gcc/xgcc
-B/home/dave/gnu/gcc-4.2/objdir/./
prev-gcc/ -B/home/dave/opt/gnu/gcc/gcc-4.2.0/hppa-linux/bin/ -c -g -O2     
-gna
tpg -gnata -I- -I. -Iada -I../../gcc/gcc/ada ../../gcc/gcc/ada/errout.adb -o
ada
/errout.o
+===========================GNAT BUG DETECTED==============================+
| 4.2.0 20060502 (experimental) (hppa-unknown-linux-gnu) GCC error:        |
| in n_of_executions_at_least, at tree-ssa-loop-niter.c:1772               |
| Error detected at errout.adb:2573:1                                      |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.            |
| Use a subject line meaningful to you and us to track the bug.            |
| Include the entire contents of this bug box in the report.               |
| Include the exact gcc or gnatmake command that you entered.              |
| Also include sources listed below in gnatchop format                     |
| (concatenated together with no headers between files).                   |
+==========================================================================+

Please include these source files with error report
Note that list may not be accurate in some cases,
so please double check that the problem can still
be reproduced with the set of files listed.

../../gcc/gcc/ada/errout.adb
../../gcc/gcc/ada/errout.ads
../../gcc/gcc/ada/err_vars.ads
../../gcc/gcc/ada/types.ads
../../gcc/gcc/ada/uintp.ads
../../gcc/gcc/ada/alloc.ads
../../gcc/gcc/ada/table.ads
../../gcc/gcc/ada/erroutc.ads
../../gcc/gcc/ada/atree.ads
../../gcc/gcc/ada/sinfo.ads
../../gcc/gcc/ada/urealp.ads
../../gcc/gcc/ada/einfo.ads
../../gcc/gcc/ada/snames.ads
../../gcc/gcc/ada/casing.ads
../../gcc/gcc/ada/csets.ads
../../gcc/gcc/ada/debug.ads
../../gcc/gcc/ada/fname.ads
../../gcc/gcc/ada/hostparm.ads
../../gcc/gcc/ada/lib.ads
../../gcc/gcc/ada/namet.ads
../../gcc/gcc/ada/opt.ads
../../gcc/gcc/ada/nlists.ads
../../gcc/gcc/ada/output.ads
../../gcc/gcc/ada/scans.ads
../../gcc/gcc/ada/sinput.ads
../../gcc/gcc/ada/stand.ads
../../gcc/gcc/ada/style.ads
../../gcc/gcc/ada/styleg.ads
../../gcc/gcc/ada/styleg-c.ads
../../gcc/gcc/ada/uname.ads
../../gcc/gcc/ada/table.adb
../../gcc/gcc/ada/tree_io.ads
../../gcc/gcc/ada/atree.adb
../../gcc/gcc/ada/elists.ads


raised TYPES.UNRECOVERABLE_ERROR : comperr.adb:380
make[3]: *** [ada/errout.o] Error 1


-- 
           Summary: GCC error: in n_of_executions_at_least, at tree-ssa-
                    loop-niter.c:1772
           Product: gcc
           Version: 4.2.0
            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-unknown-linux-gnu
  GCC host triplet: hppa-unknown-linux-gnu
GCC target triplet: hppa-unknown-linux-gnu


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

[Bug tree-optimization/27392] GCC error: in n_of_executions_at_least, at tree-ssa-loop-niter.c:1772

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2006-05-02 15:28 -------
Confirmed. this happens everywhere.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
           Severity|normal                      |blocker
             Status|UNCONFIRMED                 |NEW
          Component|middle-end                  |tree-optimization
     Ever Confirmed|0                           |1
  GCC build triplet|hppa-unknown-linux-gnu      |
   GCC host triplet|hppa-unknown-linux-gnu      |
 GCC target triplet|hppa-unknown-linux-gnu      |
           Keywords|                            |build, ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2006-05-02 15:28:56
               date|                            |
   Target Milestone|---                         |4.2.0


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

[Bug tree-optimization/27392] [4.2 Regression] GCC error: in n_of_executions_at_least, at tree-ssa-loop-niter.c:1772

[schwab at suse dot de]

------- Comment #2 from schwab at suse dot de  2006-05-02 16:43 -------
Triggered by r113425.


-- 

schwab at suse dot de changed:

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


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

[Bug tree-optimization/27392] [4.2 Regression] GCC error: in n_of_executions_at_least, at tree-ssa-loop-niter.c:1772

[P dot Schaffnit at access dot rwth-aachen dot de]

------- Comment #3 from P dot Schaffnit at access dot rwth-aachen dot de  2006-05-03 11:44 -------

Hi!

I believe this could be related: compiling the following with any optimisation
(starting from -O1) causes the following error:

initFeldVonDatei.f90: In function 'initfeldvondateiphase2korn':
initFeldVonDatei.f90:1: internal compiler error: in n_of_executions_at_most, at
tree-ssa-loop-niter.c:1772
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

Shall I file a bug? Am I doing something wrong?

Thanks!

Philippe

PS: the build command I'm using:
gfortran -O1 -c Sources.f90

PPS: the source
      SUBROUTINE initFeldVonDateiPhase2Korn
!
      IMPLICIT   NONE
      INTEGER                ::   Grain_Number
      INTEGER, ALLOCATABLE    ::   New_number(:)
!
      Grain_Number = 0
      Reordering: DO
          IF ( ALL ( New_number .GT. 0 ) ) EXIT
          Grain_Number = Grain_Number + 1
          New_number(MINLOC(New_number)) = Grain_Number
      ENDDO Reordering
!
      RETURN
      END SUBROUTINE initFeldVonDateiPhase2Korn

PPPS: what I'm using:
Using built-in specs.
Target: x86_64-unknown-linux-gnu
Configured with: /USER/philippe/Irix/Gcc_Sources/configure
--prefix=/WORK/philippe/Tools/Gcc --enable-languages=c,fortran
--with-mpfr=/WORK/philippe/Tools/Mpfr --with-gmp=/WORK/philippe/Tools/Gmp
Thread model: posix
gcc version 4.2.0 20060502 (experimental)


-- 

P dot Schaffnit at access dot rwth-aachen dot de changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |P dot Schaffnit at access
                   |                            |dot rwth-aachen dot de


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

[Bug tree-optimization/27392] [4.2 Regression] GCC error: in n_of_executions_at_least, at tree-ssa-loop-niter.c:1772

[kargl at gcc dot gnu dot org]

------- Comment #4 from kargl at gcc dot gnu dot org  2006-05-03 17:10 -------
Phillipe,

Your code appears to be wrong, or perhaps you've cut down a
larger code too agressively.  You use the Fortran ALL intrinsic
on the allocatable NEW_NUMBER, but you have never actually
allocated memory for the array.

-- 
steve 


-- 


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

[Bug tree-optimization/27392] [4.2 Regression] GCC error: in n_of_executions_at_least, at tree-ssa-loop-niter.c:1772

[P dot Schaffnit at access dot rwth-aachen dot de]

------- Comment #5 from P dot Schaffnit at access dot rwth-aachen dot de  2006-05-03 19:28 -------

Erm... sorry about that, I didn't think about it: I've indeed thrown out a lot
(I do not have the original sources at hand, but they are happily compiled by
quite a few compilers, including lf95, as far as I can tell, is a
reference...): anyway, I thought that the mere fact that *any* code causes an
ICE is bad, I hoped this could help, I'll try to reduce it a bit less
aggressively tomorrow...

Philippe

(In reply to comment #4)
> Phillipe,
> 
> Your code appears to be wrong, or perhaps you've cut down a
> larger code too agressively.  You use the Fortran ALL intrinsic
> on the allocatable NEW_NUMBER, but you have never actually
> allocated memory for the array.
> 
> -- 
> steve 
> 


-- 


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

[Bug tree-optimization/27392] [4.2 Regression] GCC error: in n_of_executions_at_least, at tree-ssa-loop-niter.c:1772

[rakdver at atrey dot karlin dot mff dot cuni dot cz]

------- Comment #6 from rakdver at atrey dot karlin dot mff dot cuni dot cz  2006-05-03 19:34 -------
Subject: Re:  [4.2 Regression] GCC error: in n_of_executions_at_least, at
tree-ssa-loop-niter.c:1772

The problem in this PR should have been fixed by my yesterday's patch,
does this still reproduce for you?


-- 


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

[Bug tree-optimization/27392] [4.2 Regression] GCC error: in n_of_executions_at_least, at tree-ssa-loop-niter.c:1772

[dave at hiauly1 dot hia dot nrc dot ca]

------- Comment #7 from dave at hiauly1 dot hia dot nrc dot ca  2006-05-03 19:39 -------
Subject: Re:  [4.2 Regression] GCC error: in n_of_executions_at_least, at
tree-ssa-loop-niter.c:1772

> The problem in this PR should have been fixed by my yesterday's patch,
> does this still reproduce for you?

The Ada ICE nolonger occurs.

Thanks,
Dave


-- 


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

[Bug tree-optimization/27392] [4.2 Regression] GCC error: in n_of_executions_at_least, at tree-ssa-loop-niter.c:1772

[P dot Schaffnit at access dot rwth-aachen dot de]

------- Comment #8 from P dot Schaffnit at access dot rwth-aachen dot de  2006-05-04 09:38 -------

Hi!

My (not reduced) code compiles again!

Sorry for the delay, but compiling the whole does take some time...

Thanks a lot!

Philippe


-- 


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

[Bug tree-optimization/27392] [4.2 Regression] GCC error: in n_of_executions_at_least, at tree-ssa-loop-niter.c:1772

[rakdver at gcc dot gnu dot org]

------- Comment #9 from rakdver at gcc dot gnu dot org  2006-05-04 10:49 -------
Fixed.


-- 

rakdver at gcc dot gnu dot org changed:

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


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