[Bug tree-optimization/20929] [4.0 Regression] internal compiler error: verify_stmts failed.
--- Additional Comments From pinskia at gcc dot gnu dot org 2005-04-10 20:32 --- This was fixed on the mainline by: 2005-03-16 Daniel Berlin <[EMAIL PROTECTED]> Fix PR tree-optimization/20490 * tree-ssa-pre.c (create_expression_by_pieces): Use force_gimple_operand on result of fold. -- What|Removed |Added CC||dberlin at gcc dot gnu dot ||org Known to fail||4.0.0 Known to work||4.1.0 3.4.0 Summary|[4.0/4.1 Regression]|[4.0 Regression] internal |internal compiler error:|compiler error: verify_stmts |verify_stmts failed.|failed. http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20929
[Bug tree-optimization/20929] [4.0 Regression] internal compiler error: verify_stmts failed.
--- Additional Comments From dberlin at gcc dot gnu dot org 2005-04-11 02:54 --- Somebody must have moved the fold-const changes that caused this over to the 4.0 branch. Mark, do you want this fix in 4.0? It's been in mainline for a while now. It's incredibly low risk. It only changes how we build the statements, not what it contains: IE we now force the result of fold to be GIMPLE by splitting it into multiple statements if necessary, whereas we always assumed it was GIMPLE before (which is no longer something we can count on). The patch can be found here http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-ssa-pre.c.diff?r1=2.70&r2=2.71 -- What|Removed |Added CC||mark at codesourcery dot com http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20929
[Bug tree-optimization/20929] [4.0 Regression] internal compiler error: verify_stmts failed.
--- Additional Comments From mark at codesourcery dot com 2005-04-11 04:27 --- Subject: Re: [4.0 Regression] internal compiler error: verify_stmts failed. dberlin at gcc dot gnu dot org wrote: > --- Additional Comments From dberlin at gcc dot gnu dot org 2005-04-11 > 02:54 --- > Somebody must have moved the fold-const changes that caused this over to the > 4.0 branch. > > Mark, do you want this fix in 4.0? Not sure yet, but I've added it to my list of patches to consider. Thanks! -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20929
[Bug tree-optimization/20929] [4.0 Regression] internal compiler error: verify_stmts failed.
--- Additional Comments From reichelt at gcc dot gnu dot org 2005-04-13
16:48 ---
Confirmed.
Here's a reduced testcase (compile with -O2):
===
typedef int INT;
int i;
int foo(INT j) { return (i>0 ? (i<3?j:0) : i) - i; }
===
(The stupid typedef is indeed crucial.)
--
What|Removed |Added
CC||reichelt at gcc dot gnu dot
||org
Status|UNCONFIRMED |NEW
Ever Confirmed||1
Keywords||monitored
Last reconfirmed|-00-00 00:00:00 |2005-04-13 16:48:45
date||
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20929
[Bug tree-optimization/20929] [4.0 Regression] internal compiler error: verify_stmts failed.
--- Additional Comments From mmitchel at gcc dot gnu dot org 2005-04-17 02:44 --- This patch is OK for 4.0.0 RC2. Please apply. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20929
[Bug tree-optimization/20929] [4.0 Regression] internal compiler error: verify_stmts failed.
--- Additional Comments From dberlin at gcc dot gnu dot org 2005-04-17 23:40 --- Committed to 4.0 branch, as okay'd by mark, and fixed -- What|Removed |Added Status|NEW |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20929
[Bug tree-optimization/20929] [4.0 Regression] internal compiler error: verify_stmts failed.
--- Additional Comments From cvs-commit at gcc dot gnu dot org 2005-04-17 23:40 --- Subject: Bug 20929 CVSROOT:/cvs/gcc Module name:gcc Branch: gcc-4_0-branch Changes by: [EMAIL PROTECTED] 2005-04-17 23:40:32 Modified files: gcc: ChangeLog tree-ssa-pre.c Log message: 2005-04-17 Daniel Berlin <[EMAIL PROTECTED]> Fix PR tree-optimization/20490 Fix PR tree-optimization/20929 * tree-ssa-pre.c (create_expression_by_pieces): Use force_gimple_operand on result of fold, value number gimple_operand result. Patches: http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=2.7592.2.168&r2=2.7592.2.169 http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-ssa-pre.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=2.65.4.1&r2=2.65.4.2 -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20929
