http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46494
Summary: [4.3/4.4/4.5/4.6 Regression] ICE: verify_flow_info
failed when casting-out attribute noreturn with
-fno-tree-ccp -fno-tree-fre -ftree-vrp
Product: gcc
Version: 4.6.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: zso...@seznam.cz
Host: x86_64-pc-linux-gnu
Target: x86_64-pc-linux-gnu
Created attachment 22416
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22416
reduced testcase
+++ This bug was initially created as a clone of Bug #46165 +++
The testcase for PR46165 fails at least in 4.4, 4.5 and 4.6 with following
message:
Compiler output:
$ gcc -O -fno-tree-ccp -fno-tree-fre -ftree-vrp testcase.c
testcase.c: In function 'g':
testcase.c:2:6: error: control flow in the middle of basic block 2
testcase.c:2:6: internal compiler error: verify_flow_info failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
Tested revisions:
r166763 - crash
4.5 r166509 - crash
4.4 r166509 - crash
The original bisect shown it might be caused by r119657, so I am leaving the
4.3 regression mark.
