public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/37387] New: [4.4 Regression] ICE in extract_range_from_binary_expr, at tree-vrp.c:2145
@ 2008-09-05 20:07 tbm at cyrius dot com
2008-09-05 20:08 ` [Bug tree-optimization/37387] " tbm at cyrius dot com
` (5 more replies)
0 siblings, 6 replies; 7+ messages in thread
From: tbm at cyrius dot com @ 2008-09-05 20:07 UTC (permalink / raw)
To: gcc-bugs
With current trunk (r140043) on powerpc (but not on x86_64):
(sid)2492:tbm@test: ..4.3-2008-09-05-r140043/gcc] ./cc1 -quiet -O2
~/gap-costab.i
../../src/costab.c: In function 'FuncStandardizeTable2C':
../../src/costab.c:2780: internal compiler error: in
extract_range_from_binary_expr, at tree-vrp.c:2145
Please submit a full bug report,
with preprocessed source if appropriate.
--
Summary: [4.4 Regression] ICE in extract_range_from_binary_expr,
at tree-vrp.c:2145
Product: gcc
Version: 4.4.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: tbm at cyrius dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37387
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug tree-optimization/37387] [4.4 Regression] ICE in extract_range_from_binary_expr, at tree-vrp.c:2145
2008-09-05 20:07 [Bug tree-optimization/37387] New: [4.4 Regression] ICE in extract_range_from_binary_expr, at tree-vrp.c:2145 tbm at cyrius dot com
@ 2008-09-05 20:08 ` tbm at cyrius dot com
2008-09-05 20:27 ` tbm at cyrius dot com
` (4 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: tbm at cyrius dot com @ 2008-09-05 20:08 UTC (permalink / raw)
To: gcc-bugs
------- Comment #1 from tbm at cyrius dot com 2008-09-05 20:07 -------
Created an attachment (id=16235)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16235&action=view)
Preprocessed code
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37387
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug tree-optimization/37387] [4.4 Regression] ICE in extract_range_from_binary_expr, at tree-vrp.c:2145
2008-09-05 20:07 [Bug tree-optimization/37387] New: [4.4 Regression] ICE in extract_range_from_binary_expr, at tree-vrp.c:2145 tbm at cyrius dot com
2008-09-05 20:08 ` [Bug tree-optimization/37387] " tbm at cyrius dot com
@ 2008-09-05 20:27 ` tbm at cyrius dot com
2008-09-06 22:00 ` pinskia at gcc dot gnu dot org
` (3 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: tbm at cyrius dot com @ 2008-09-05 20:27 UTC (permalink / raw)
To: gcc-bugs
------- Comment #2 from tbm at cyrius dot com 2008-09-05 20:25 -------
/* Testcase by Martin Michlmayr <tbm@cyrius.com> */
typedef long int Int;
typedef Int **Bag;
FuncMakeConsequencesPres (Bag self, Bag list)
{
Bag objDefs1;
Bag objDefs2;
if (! ( (((Int) 0) + 13) <=
(((Int) (objDefs1) & 0x01) ? ((Int) 0)
: (((Int) (objDefs1) & 0x02) ? ((Int) 0)
: *(*(objDefs1) )))
&& (((Int) (objDefs1) & 0x01) ? (((Int) 0) )
: (((Int) (objDefs1) & 0x02) ? (((Int) 0) )
: (*(*(objDefs2) - 3) & 0xFFL))) <= 0))
ErrorQuit ();
}
--
tbm at cyrius dot com changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[4.4 Regression] ICE in |[4.4 Regression] ICE in
|extract_range_from_binary_ex|extract_range_from_binary_ex
|pr, at tree-vrp.c:2145 |pr, at tree-vrp.c:2145
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37387
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug tree-optimization/37387] [4.4 Regression] ICE in extract_range_from_binary_expr, at tree-vrp.c:2145
2008-09-05 20:07 [Bug tree-optimization/37387] New: [4.4 Regression] ICE in extract_range_from_binary_expr, at tree-vrp.c:2145 tbm at cyrius dot com
2008-09-05 20:08 ` [Bug tree-optimization/37387] " tbm at cyrius dot com
2008-09-05 20:27 ` tbm at cyrius dot com
@ 2008-09-06 22:00 ` pinskia at gcc dot gnu dot org
2008-09-08 9:47 ` rguenth at gcc dot gnu dot org
` (2 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2008-09-06 22:00 UTC (permalink / raw)
To: gcc-bugs
------- Comment #3 from pinskia at gcc dot gnu dot org 2008-09-06 21:59 -------
Further reduced testcase:
typedef long int Int;
void FuncMakeConsequencesPres (long *objDefs1)
{
long a = (long)objDefs1;
int c = a & 0x01;
int b = 0;
if (! ( 13 <= ( c ? 0 : (((int) objDefs1 & 0x02) ? 0 : *objDefs1 ))
&& b <= 0))
ErrorQuit ();
}
--- CUT ---
ifcombine causes the invalid IR to show up:
D.1597_10 = objDefs1_1(D) & 3B;
objDefs1 is a pointer.
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |rguenth at gcc dot gnu dot
| |org
Status|UNCONFIRMED |NEW
Ever Confirmed|0 |1
Keywords| |ice-on-valid-code
Last reconfirmed|0000-00-00 00:00:00 |2008-09-06 21:59:00
date| |
Target Milestone|--- |4.4.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37387
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug tree-optimization/37387] [4.4 Regression] ICE in extract_range_from_binary_expr, at tree-vrp.c:2145
2008-09-05 20:07 [Bug tree-optimization/37387] New: [4.4 Regression] ICE in extract_range_from_binary_expr, at tree-vrp.c:2145 tbm at cyrius dot com
` (2 preceding siblings ...)
2008-09-06 22:00 ` pinskia at gcc dot gnu dot org
@ 2008-09-08 9:47 ` rguenth at gcc dot gnu dot org
2008-09-09 10:08 ` rguenth at gcc dot gnu dot org
2008-09-09 10:09 ` rguenth at gcc dot gnu dot org
5 siblings, 0 replies; 7+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-09-08 9:47 UTC (permalink / raw)
To: gcc-bugs
------- Comment #4 from rguenth at gcc dot gnu dot org 2008-09-08 09:46 -------
Mine.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |rguenth at gcc dot gnu dot
|dot org |org
Status|NEW |ASSIGNED
Last reconfirmed|2008-09-06 21:59:00 |2008-09-08 09:46:11
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37387
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug tree-optimization/37387] [4.4 Regression] ICE in extract_range_from_binary_expr, at tree-vrp.c:2145
2008-09-05 20:07 [Bug tree-optimization/37387] New: [4.4 Regression] ICE in extract_range_from_binary_expr, at tree-vrp.c:2145 tbm at cyrius dot com
` (3 preceding siblings ...)
2008-09-08 9:47 ` rguenth at gcc dot gnu dot org
@ 2008-09-09 10:08 ` rguenth at gcc dot gnu dot org
2008-09-09 10:09 ` rguenth at gcc dot gnu dot org
5 siblings, 0 replies; 7+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-09-09 10:08 UTC (permalink / raw)
To: gcc-bugs
------- Comment #5 from rguenth at gcc dot gnu dot org 2008-09-09 10:07 -------
Subject: Bug 37387
Author: rguenth
Date: Tue Sep 9 10:05:49 2008
New Revision: 140142
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=140142
Log:
2008-09-09 Richard Guenther <rguenther@suse.de>
PR tree-optimization/37387
* tree-ssa-ifcombine.c (ifcombine_iforif): Convert the name
and bits to a common type.
* gcc.c-torture/compile/pr37387.c: New testcase.
Added:
trunk/gcc/testsuite/gcc.c-torture/compile/pr37387.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-ssa-ifcombine.c
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37387
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug tree-optimization/37387] [4.4 Regression] ICE in extract_range_from_binary_expr, at tree-vrp.c:2145
2008-09-05 20:07 [Bug tree-optimization/37387] New: [4.4 Regression] ICE in extract_range_from_binary_expr, at tree-vrp.c:2145 tbm at cyrius dot com
` (4 preceding siblings ...)
2008-09-09 10:08 ` rguenth at gcc dot gnu dot org
@ 2008-09-09 10:09 ` rguenth at gcc dot gnu dot org
5 siblings, 0 replies; 7+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2008-09-09 10:09 UTC (permalink / raw)
To: gcc-bugs
------- Comment #6 from rguenth at gcc dot gnu dot org 2008-09-09 10:07 -------
Fixed.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37387
^ permalink raw reply [flat|nested] 7+ messages in thread
end of thread, other threads:[~2008-09-09 10:09 UTC | newest]
Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2008-09-05 20:07 [Bug tree-optimization/37387] New: [4.4 Regression] ICE in extract_range_from_binary_expr, at tree-vrp.c:2145 tbm at cyrius dot com
2008-09-05 20:08 ` [Bug tree-optimization/37387] " tbm at cyrius dot com
2008-09-05 20:27 ` tbm at cyrius dot com
2008-09-06 22:00 ` pinskia at gcc dot gnu dot org
2008-09-08 9:47 ` rguenth at gcc dot gnu dot org
2008-09-09 10:08 ` rguenth at gcc dot gnu dot org
2008-09-09 10:09 ` rguenth at gcc dot gnu dot 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).