public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/55111] New: ICE: tree check: expected ssa_name, have integer_cst in live_on_edge, at tree-vrp.c:89
@ 2012-10-28 19:17 antoine.balestrat at gmail dot com
2012-10-29 13:42 ` [Bug tree-optimization/55111] " mpolacek at gcc dot gnu.org
` (4 more replies)
0 siblings, 5 replies; 6+ messages in thread
From: antoine.balestrat at gmail dot com @ 2012-10-28 19:17 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55111
Bug #: 55111
Summary: ICE: tree check: expected ssa_name, have integer_cst
in live_on_edge, at tree-vrp.c:89
Classification: Unclassified
Product: gcc
Version: 4.8.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
AssignedTo: unassigned@gcc.gnu.org
ReportedBy: antoine.balestrat@gmail.com
With GCC 4.8.0 as of 20121021, at -O2 and higher :
$ cat ssa.c
int a, b, c;
long d;
unsigned long *e;
int f(void)
{
for(;; a++)
{
if(c)
{
for(b = d = 0; b < 1; b++)
e = &d;
--*e;
if(d > 0)
a = 0;
return d;
}
}
}
$ xgcc -O2 -w ssa.c
ssa.c: In function ‘f’:
ssa.c:5:5: internal compiler error: tree check: expected ssa_name, have
integer_cst in live_on_edge, at tree-vrp.c:89
int f(void)
^
linux-vdso.so.1: No such file or directory
0xa90b9a tree_check_failed(tree_node const*, char const*, int, char const*,
...)
../../srcdir/gcc/tree.c:8896
0xa7650d tree_check
../../srcdir/gcc/tree.h:3676
0xa7650d live_on_edge
../../srcdir/gcc/tree-vrp.c:89
0xa7ce9a register_edge_assert_for_2
../../srcdir/gcc/tree-vrp.c:4736
0xa7e4e0 register_edge_assert_for
../../srcdir/gcc/tree-vrp.c:5216
0xa81734 find_conditional_asserts
../../srcdir/gcc/tree-vrp.c:5304
0xa81734 find_assert_locations_1
../../srcdir/gcc/tree-vrp.c:5518
0xa88136 find_assert_locations
../../srcdir/gcc/tree-vrp.c:5658
0xa88136 insert_range_assertions
../../srcdir/gcc/tree-vrp.c:5846
0xa88136 execute_vrp
../../srcdir/gcc/tree-vrp.c:9156
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/55111] ICE: tree check: expected ssa_name, have integer_cst in live_on_edge, at tree-vrp.c:89
2012-10-28 19:17 [Bug tree-optimization/55111] New: ICE: tree check: expected ssa_name, have integer_cst in live_on_edge, at tree-vrp.c:89 antoine.balestrat at gmail dot com
@ 2012-10-29 13:42 ` mpolacek at gcc dot gnu.org
2012-10-29 14:46 ` [Bug tree-optimization/55111] [4.8 Regression] " rguenth at gcc dot gnu.org
` (3 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: mpolacek at gcc dot gnu.org @ 2012-10-29 13:42 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55111
Marek Polacek <mpolacek at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2012-10-29
CC| |mpolacek at gcc dot
| |gnu.org, rguenth at gcc dot
| |gnu.org
Ever Confirmed|0 |1
--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> 2012-10-29 13:41:48 UTC ---
Started with http://gcc.gnu.org/viewcvs?view=revision&revision=191225
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/55111] [4.8 Regression] ICE: tree check: expected ssa_name, have integer_cst in live_on_edge, at tree-vrp.c:89
2012-10-28 19:17 [Bug tree-optimization/55111] New: ICE: tree check: expected ssa_name, have integer_cst in live_on_edge, at tree-vrp.c:89 antoine.balestrat at gmail dot com
2012-10-29 13:42 ` [Bug tree-optimization/55111] " mpolacek at gcc dot gnu.org
@ 2012-10-29 14:46 ` rguenth at gcc dot gnu.org
2012-10-30 10:28 ` rguenth at gcc dot gnu.org
` (2 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2012-10-29 14:46 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55111
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
AssignedTo|unassigned at gcc dot |rguenth at gcc dot gnu.org
|gnu.org |
Target Milestone|--- |4.8.0
Summary|ICE: tree check: expected |[4.8 Regression] ICE: tree
|ssa_name, have integer_cst |check: expected ssa_name,
|in live_on_edge, at |have integer_cst in
|tree-vrp.c:89 |live_on_edge, at
| |tree-vrp.c:89
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> 2012-10-29 14:46:08 UTC ---
Mine then, even if patch and backtrace look unrelated.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/55111] [4.8 Regression] ICE: tree check: expected ssa_name, have integer_cst in live_on_edge, at tree-vrp.c:89
2012-10-28 19:17 [Bug tree-optimization/55111] New: ICE: tree check: expected ssa_name, have integer_cst in live_on_edge, at tree-vrp.c:89 antoine.balestrat at gmail dot com
2012-10-29 13:42 ` [Bug tree-optimization/55111] " mpolacek at gcc dot gnu.org
2012-10-29 14:46 ` [Bug tree-optimization/55111] [4.8 Regression] " rguenth at gcc dot gnu.org
@ 2012-10-30 10:28 ` rguenth at gcc dot gnu.org
2012-10-30 12:03 ` rguenth at gcc dot gnu.org
2012-10-30 12:03 ` rguenth at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2012-10-30 10:28 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55111
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> 2012-10-30 10:27:51 UTC ---
We have an unfolded stmt:
(gdb) call debug_gimple_stmt (def_stmt)
pretmp_36 = (long int) 18446744073709551615;
I have a patch.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/55111] [4.8 Regression] ICE: tree check: expected ssa_name, have integer_cst in live_on_edge, at tree-vrp.c:89
2012-10-28 19:17 [Bug tree-optimization/55111] New: ICE: tree check: expected ssa_name, have integer_cst in live_on_edge, at tree-vrp.c:89 antoine.balestrat at gmail dot com
` (2 preceding siblings ...)
2012-10-30 10:28 ` rguenth at gcc dot gnu.org
@ 2012-10-30 12:03 ` rguenth at gcc dot gnu.org
2012-10-30 12:03 ` rguenth at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2012-10-30 12:03 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55111
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> 2012-10-30 12:03:12 UTC ---
Fixed.
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug tree-optimization/55111] [4.8 Regression] ICE: tree check: expected ssa_name, have integer_cst in live_on_edge, at tree-vrp.c:89
2012-10-28 19:17 [Bug tree-optimization/55111] New: ICE: tree check: expected ssa_name, have integer_cst in live_on_edge, at tree-vrp.c:89 antoine.balestrat at gmail dot com
` (3 preceding siblings ...)
2012-10-30 12:03 ` rguenth at gcc dot gnu.org
@ 2012-10-30 12:03 ` rguenth at gcc dot gnu.org
4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2012-10-30 12:03 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55111
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> 2012-10-30 12:02:45 UTC ---
Author: rguenth
Date: Tue Oct 30 12:02:39 2012
New Revision: 192984
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=192984
Log:
2012-10-30 Richard Biener <rguenther@suse.de>
PR tree-optimization/55111
* tree-ssa-pre.c (eliminate_insert): Properly fold the built
stmt.
* gcc.dg/torture/pr55111.c: New testcase.
Added:
trunk/gcc/testsuite/gcc.dg/torture/pr55111.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-ssa-pre.c
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2012-10-30 12:03 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-10-28 19:17 [Bug tree-optimization/55111] New: ICE: tree check: expected ssa_name, have integer_cst in live_on_edge, at tree-vrp.c:89 antoine.balestrat at gmail dot com
2012-10-29 13:42 ` [Bug tree-optimization/55111] " mpolacek at gcc dot gnu.org
2012-10-29 14:46 ` [Bug tree-optimization/55111] [4.8 Regression] " rguenth at gcc dot gnu.org
2012-10-30 10:28 ` rguenth at gcc dot gnu.org
2012-10-30 12:03 ` rguenth at gcc dot gnu.org
2012-10-30 12:03 ` rguenth at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).