[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
--- 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=gccview=revrev=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
--- 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
[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
--- 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
--- 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
--- 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
--- 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
--- 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
--- 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
--- 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
--- 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: [EMAIL PROTECTED]:~/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) [EMAIL PROTECTED]:~/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. [EMAIL PROTECTED]:~/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
--- 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|-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 middle-end/32176] [4.3 Regression] ICE tree-type mismatch: expected integer_cst, have plus_expr in int_cst_value, at tree.c:7720
--- Comment #3 from rguenth at gcc dot gnu dot org 2007-06-01 11:23 ---
#2 0x00a30ddc 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)
1762return 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
