[Bug middle-end/32176] New: ICE on valid: tree check: expected integer_cst, have plus_expr in int_cst_value, at tree.c:7720

[Bug middle-end/32176] New: ICE on valid: tree check: expected integer_cst, have plus_expr in int_cst_value, at tree.c:7720

[jv244 at cam dot ac dot uk]

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

reduced from CP2K (PR 29975)

gfortran -v
Using built-in specs.
Target: x86_64-unknown-linux-gnu
gcc version 4.3.0 20070531 (experimental)

gfortran -fprefetch-loop-arrays -O2 test.f90
test.f90: In function ‘polint’:
test.f90:1: internal compiler error: tree check: expected integer_cst, have
plus_expr in int_cst_value, at tree.c:7720
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

  SUBROUTINE polint(xa,ya,n,x,y,dy)
    INTEGER, PARAMETER :: dp=KIND(0.0D0)
    INTEGER, INTENT(in)                      :: n
    REAL(dp), INTENT(in)                     :: ya(n), xa(n), x
    REAL(dp), INTENT(out)                    :: y, dy

    INTEGER                                  :: i, m, ns
    REAL(dp)                                 :: c(n), d(n), den, dif, dift, &
                                                ho, hp, w

!
!

    ns=1

    dif=ABS(x-xa(1))
    DO i = 1,n
      dift=ABS(x-xa(i))
      IF (dift.lt.dif) THEN
        ns=i
        dif=dift
      ENDIF
      c(i)=ya(i)
      d(i)=ya(i)
    END DO
    !
    y=ya(ns)
    ns=ns-1
    DO m = 1,n-1
      DO i = 1,n-m
        ho=xa(i)-x
        hp=xa(i+m)-x
        w=c(i+1)-d(i)
        den=ho-hp
        IF(den.eq.0.) STOP 'POLINT'
        den=w/den
        d(i)=hp*den
        c(i)=ho*den
      END DO
      IF (2*ns.lt.n-m)THEN
        dy=c(ns+1)
      ELSE
        dy=d(ns)
        ns=ns-1
      ENDIF
      y=y+dy
    END DO
!
    RETURN
  END SUBROUTINE polint


-- 
           Summary: ICE on valid: tree check: expected integer_cst, have
                    plus_expr in int_cst_value, at tree.c:7720
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jv244 at cam dot ac dot uk


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

[Bug middle-end/32176] [4.3 Regression] ICE tree-type mismatch: expected integer_cst, have plus_expr in int_cst_value, at tree.c:7720

[burnus at gcc dot gnu dot org]

------- Comment #1 from burnus at gcc dot gnu dot org  2007-06-01 07:49 -------
While the assert is occurs in the middle end, I think it is very likely a
tree-type mismatch in the front end.


-- 

burnus at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |burnus at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |ice-on-valid-code
      Known to fail|                            |4.3.0
      Known to work|                            |4.2.0 4.2.1
   Last reconfirmed|0000-00-00 00:00:00         |2007-06-01 07:49:47
               date|                            |
            Summary|ICE on valid: tree check:   |[4.3 Regression] ICE tree-
                   |expected integer_cst, have  |type mismatch: expected
                   |plus_expr in int_cst_value, |integer_cst, have plus_expr
                   |at tree.c:7720              |in int_cst_value, at
                   |                            |tree.c:7720
   Target Milestone|---                         |4.3.0


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

[Bug fortran/32176] [4.3 Regression] ICE tree-type mismatch: expected integer_cst, have plus_expr in int_cst_value, at tree.c:7720

[jv244 at cam dot ac dot uk]

------- Comment #2 from jv244 at cam dot ac dot uk  2007-06-01 11:06 -------
reduced:

  SUBROUTINE polint(n)
    INTEGER, PARAMETER :: dp=KIND(0.0D0)
    REAL(dp)                     :: ya(n), xa(n), x
    DO m = 1,n-1
      DO i = 1,n-m
        ho=xa(i)-x
        hp=xa(i+m)-x
        den=ho-hp
        IF(den.eq.0.) STOP 'POLINT'
      END DO
    END DO
  END SUBROUTINE polint


-- 


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

[Bug middle-end/32176] [4.3 Regression] ICE tree-type mismatch: expected integer_cst, have plus_expr in int_cst_value, at tree.c:7720

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2007-06-01 11:23 -------
#2  0x0000000000a30ddc in int_cst_value (x=0x2b8d9ea73780)
    at /space/rguenther/src/svn/trunk/gcc/tree.c:7720
7720      unsigned HOST_WIDE_INT val = TREE_INT_CST_LOW (x);
(gdb) call debug_generic_expr (x)
(int8) {2, +, 1}_1 + -1

this is a problem in data-ref analysis.

1761      if (TREE_CODE (chrec) != POLYNOMIAL_CHREC)
1762        return int_cst_value (chrec);

I guess Zdenek exposed this somehow.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rguenth at gcc dot gnu dot
                   |                            |org, rakdver at gcc dot gnu
                   |                            |dot org
          Component|fortran                     |middle-end


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

[Bug middle-end/32176] [4.3 Regression] ICE tree-type mismatch: expected integer_cst, have plus_expr in int_cst_value, at tree.c:7720

[burnus at gcc dot gnu dot org]

------- Comment #4 from burnus at gcc dot gnu dot org  2007-06-07 08:39 -------
Compilation works for me with: 
gcc-Version 4.3.0 20070607 x86_64-unknown-linux-gnu


-- 


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

[Bug middle-end/32176] [4.3 Regression] ICE tree-type mismatch: expected integer_cst, have plus_expr in int_cst_value, at tree.c:7720

[jv244 at cam dot ac dot uk]

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



------- Comment #5 from jv244 at cam dot ac dot uk  2007-06-07 09:32 -------
(In reply to comment #4)
> Compilation works for me with: 
> gcc-Version 4.3.0 20070607 x86_64-unknown-linux-gnu
> 

still failing for me with a compiler a few minutes old:

vondele@pcihopt1:~/g95> cat /scratch/vondele/gcc_trunk/gcc/LAST_UPDATED
Thu Jun  7 10:12:05 CEST 2007
Thu Jun  7 08:12:05 UTC 2007 (revision 125521)
vondele@pcihopt1:~/g95> gfortran -fprefetch-loop-arrays -O2 test.f90
test.f90: In function ‘polint’:
test.f90:1: internal compiler error: tree check: expected integer_cst, have
plus_expr in int_cst_value, at tree.c:7720
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
vondele@pcihopt1:~/g95> gfortran -v
Using built-in specs.
Target: x86_64-unknown-linux-gnu
Configured with: /scratch/vondele/gcc_trunk/gcc/configure
--prefix=/scratch/vondele/gcc_trunk/build
--with-mpfr_include=/scratch/vondele/mpfr-2.2.0/
--with-mpfr_lib=/scratch/vondele/mpfr-2.2.0/ --with-gmp=/users/vondele/
--enable-languages=c,fortran
Thread model: posix
gcc version 4.3.0 20070607 (experimental)


-- 


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

[Bug middle-end/32176] [4.3 Regression] ICE tree-type mismatch: expected integer_cst, have plus_expr in int_cst_value, at tree.c:7720

[fxcoudert at gcc dot gnu dot org]

------- Comment #6 from fxcoudert at gcc dot gnu dot org  2007-06-12 15:44 -------
(In reply to comment #1)
> While the assert is occurs in the middle end, I think it is very likely a
> tree-type mismatch in the front end.

I think it is. It also fails for me on i686-darwin, with -O2
-fprefetch-loop-arrays -m64.


-- 

fxcoudert at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |fxcoudert at gcc dot gnu dot
                   |                            |org
   Last reconfirmed|2007-06-01 07:49:47         |2007-06-12 15:44:47
               date|                            |


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

[Bug middle-end/32176] [4.3 Regression] ICE tree-type mismatch: expected integer_cst, have plus_expr in int_cst_value, at tree.c:7720

[pinskia at gcc dot gnu dot org]

------- Comment #7 from pinskia at gcc dot gnu dot org  2007-06-18 06:42 -------
There is a cast which confuses SCEV.


-- 

pinskia at gcc dot gnu dot org changed:

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


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

[Bug middle-end/32176] [4.3 Regression] ICE tree-type mismatch: expected integer_cst, have plus_expr in int_cst_value, at tree.c:7720

[fxcoudert at gcc dot gnu dot org]

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



------- Comment #8 from fxcoudert at gcc dot gnu dot org  2007-06-20 20:21 -------
I can reproduce this 4.3 regression with the following C testcase:

$ cat w.c
void foo (void)
{
  int i, m;
  float xa[21];
  m = 0;
  while (1)
  {
    i = 0;
    while (1)
    {
      if (xa[(long int)i] == xa[(long int)(i+m)])
        _gfortran_abort ();
      if (i == 10)
        break;
      i++;
    }
    if (m == 10)
      break;
    m++;
  }
}
$ gcc -O2 -fprefetch-loop-arrays -m64 w.c
w.c: In function ‘foo’:
w.c:2: internal compiler error: tree check: expected integer_cst, have nop_expr
in int_cst_value, at tree.c:7720


-- 

fxcoudert at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |major
           Priority|P3                          |P1
   Last reconfirmed|2007-06-12 15:44:47         |2007-06-20 20:21:35
               date|                            |


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

[Bug middle-end/32176] [4.3 Regression] ICE tree-type mismatch: expected integer_cst, have plus_expr in int_cst_value, at tree.c:7720

[rakdver at gcc dot gnu dot org]

------- Comment #9 from rakdver at gcc dot gnu dot org  2007-07-02 19:09 -------
I cannot reproduce this on x86_64 with any of the testcases.


-- 


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

[Bug middle-end/32176] [4.3 Regression] ICE tree-type mismatch: expected integer_cst, have plus_expr in int_cst_value, at tree.c:7720

[jv244 at cam dot ac dot uk]

------- Comment #10 from jv244 at cam dot ac dot uk  2007-07-02 19:39 -------
(In reply to comment #9)
> I cannot reproduce this on x86_64 with any of the testcases.

Looks like this bug has 'fixed' itself somewhere during the last two weeks  ...
can't reproduce it either


-- 


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

[Bug middle-end/32176] [4.3 Regression] ICE tree-type mismatch: expected integer_cst, have plus_expr in int_cst_value, at tree.c:7720

[ubizjak at gmail dot com]

------- Comment #11 from ubizjak at gmail dot com  2007-07-02 20:43 -------
(In reply to comment #10)
> (In reply to comment #9)
> > I cannot reproduce this on x86_64 with any of the testcases.
> 
> Looks like this bug has 'fixed' itself somewhere during the last two weeks  ...
> can't reproduce it either

Please commit the testcase (that failed at some time) to the testsuite and
close this bug.


-- 


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

[Bug middle-end/32176] [4.3 Regression] ICE tree-type mismatch: expected integer_cst, have plus_expr in int_cst_value, at tree.c:7720

[uros at gcc dot gnu dot org]

------- Comment #12 from uros at gcc dot gnu dot org  2007-07-03 06:35 -------
Subject: Bug 32176

Author: uros
Date: Tue Jul  3 06:35:05 2007
New Revision: 126245

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=126245
Log:
        PR middle-end/32176
        * gcc.dg/pr32176.c: New test.


Added:
    trunk/gcc/testsuite/gcc.dg/pr32176.c
Modified:
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug middle-end/32176] [4.3 Regression] ICE tree-type mismatch: expected integer_cst, have plus_expr in int_cst_value, at tree.c:7720

[ubizjak at gmail dot com]

------- Comment #13 from ubizjak at gmail dot com  2007-07-03 06:40 -------
Closed as magically fixed (testcase was committed to SVN mainline).


-- 

ubizjak at gmail dot com changed:

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


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