* [Bug tree-optimization/47086] [4.5/4.6 Regression] ICE: verify_flow_info failed: BB 3 can not throw but has an EH edge with -O -fexceptions -fnon-call-exceptions -ftrapv
2010-12-28 20:48 [Bug tree-optimization/47086] New: ICE: verify_flow_info failed: BB 3 can not throw but has an EH edge with -O -fexceptions -fnon-call-exceptions -ftrapv zsojka at seznam dot cz
@ 2010-12-29 2:47 ` hjl.tools at gmail dot com
2011-01-03 21:40 ` rguenth at gcc dot gnu.org
` (7 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: hjl.tools at gmail dot com @ 2010-12-29 2:47 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47086
H.J. Lu <hjl.tools at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2010.12.29 02:47:00
CC| |rguenth at gcc dot gnu.org
Target Milestone|--- |4.5.3
Summary|ICE: verify_flow_info |[4.5/4.6 Regression] ICE:
|failed: BB 3 can not throw |verify_flow_info failed: BB
|but has an EH edge with -O |3 can not throw but has an
|-fexceptions |EH edge with -O
|-fnon-call-exceptions |-fexceptions
|-ftrapv |-fnon-call-exceptions
| |-ftrapv
Ever Confirmed|0 |1
--- Comment #1 from H.J. Lu <hjl.tools at gmail dot com> 2010-12-29 02:47:00 UTC ---
It is caused by revision 151676:
http://gcc.gnu.org/ml/gcc-cvs/2009-09/msg00423.html
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug tree-optimization/47086] [4.5/4.6 Regression] ICE: verify_flow_info failed: BB 3 can not throw but has an EH edge with -O -fexceptions -fnon-call-exceptions -ftrapv
2010-12-28 20:48 [Bug tree-optimization/47086] New: ICE: verify_flow_info failed: BB 3 can not throw but has an EH edge with -O -fexceptions -fnon-call-exceptions -ftrapv zsojka at seznam dot cz
2010-12-29 2:47 ` [Bug tree-optimization/47086] [4.5/4.6 Regression] " hjl.tools at gmail dot com
@ 2011-01-03 21:40 ` rguenth at gcc dot gnu.org
2011-01-10 16:05 ` law at redhat dot com
` (6 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: rguenth at gcc dot gnu.org @ 2011-01-03 21:40 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47086
Richard Guenther <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P3 |P2
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug tree-optimization/47086] [4.5/4.6 Regression] ICE: verify_flow_info failed: BB 3 can not throw but has an EH edge with -O -fexceptions -fnon-call-exceptions -ftrapv
2010-12-28 20:48 [Bug tree-optimization/47086] New: ICE: verify_flow_info failed: BB 3 can not throw but has an EH edge with -O -fexceptions -fnon-call-exceptions -ftrapv zsojka at seznam dot cz
2010-12-29 2:47 ` [Bug tree-optimization/47086] [4.5/4.6 Regression] " hjl.tools at gmail dot com
2011-01-03 21:40 ` rguenth at gcc dot gnu.org
@ 2011-01-10 16:05 ` law at redhat dot com
2011-01-11 14:17 ` law at redhat dot com
` (5 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: law at redhat dot com @ 2011-01-10 16:05 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47086
Jeffrey A. Law <law at redhat dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
CC| |law at redhat dot com
AssignedTo|unassigned at gcc dot |law at redhat dot com
|gnu.org |
--- Comment #2 from Jeffrey A. Law <law at redhat dot com> 2011-01-10 15:53:33 UTC ---
We're deleting the last instruction in a loop which traps. The loop exit edge
is marked as an EH edge. With the EH edge, but no trapping insn, the CFG
verifier fails.
Patch in testing.
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug tree-optimization/47086] [4.5/4.6 Regression] ICE: verify_flow_info failed: BB 3 can not throw but has an EH edge with -O -fexceptions -fnon-call-exceptions -ftrapv
2010-12-28 20:48 [Bug tree-optimization/47086] New: ICE: verify_flow_info failed: BB 3 can not throw but has an EH edge with -O -fexceptions -fnon-call-exceptions -ftrapv zsojka at seznam dot cz
` (2 preceding siblings ...)
2011-01-10 16:05 ` law at redhat dot com
@ 2011-01-11 14:17 ` law at redhat dot com
2011-01-11 14:17 ` law at gcc dot gnu.org
` (4 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: law at redhat dot com @ 2011-01-11 14:17 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47086
Jeffrey A. Law <law at redhat dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
--- Comment #4 from Jeffrey A. Law <law at redhat dot com> 2011-01-11 14:11:27 UTC ---
Fixed on trunk
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug tree-optimization/47086] [4.5/4.6 Regression] ICE: verify_flow_info failed: BB 3 can not throw but has an EH edge with -O -fexceptions -fnon-call-exceptions -ftrapv
2010-12-28 20:48 [Bug tree-optimization/47086] New: ICE: verify_flow_info failed: BB 3 can not throw but has an EH edge with -O -fexceptions -fnon-call-exceptions -ftrapv zsojka at seznam dot cz
` (3 preceding siblings ...)
2011-01-11 14:17 ` law at redhat dot com
@ 2011-01-11 14:17 ` law at gcc dot gnu.org
2011-01-11 14:21 ` law at redhat dot com
` (3 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: law at gcc dot gnu.org @ 2011-01-11 14:17 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47086
--- Comment #3 from Jeffrey A. Law <law at gcc dot gnu.org> 2011-01-11 14:10:58 UTC ---
Author: law
Date: Tue Jan 11 14:10:54 2011
New Revision: 168659
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=168659
Log:
* PR tree-optimization/47086
* tree-ssa-loop-ivopts.c (find_givs_in_stmt_scev): Do not record
IVs from statements that might throw.
* PR tree-optimization/47086
* gcc.dg/pr47086.c: New test.
Added:
trunk/gcc/testsuite/gcc.dg/pr47086.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-ssa-loop-ivopts.c
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug tree-optimization/47086] [4.5/4.6 Regression] ICE: verify_flow_info failed: BB 3 can not throw but has an EH edge with -O -fexceptions -fnon-call-exceptions -ftrapv
2010-12-28 20:48 [Bug tree-optimization/47086] New: ICE: verify_flow_info failed: BB 3 can not throw but has an EH edge with -O -fexceptions -fnon-call-exceptions -ftrapv zsojka at seznam dot cz
` (4 preceding siblings ...)
2011-01-11 14:17 ` law at gcc dot gnu.org
@ 2011-01-11 14:21 ` law at redhat dot com
2011-01-11 14:26 ` zsojka at seznam dot cz
` (2 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: law at redhat dot com @ 2011-01-11 14:21 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47086
--- Comment #5 from Jeffrey A. Law <law at redhat dot com> 2011-01-11 14:16:18 UTC ---
*** Bug 47087 has been marked as a duplicate of this bug. ***
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug tree-optimization/47086] [4.5/4.6 Regression] ICE: verify_flow_info failed: BB 3 can not throw but has an EH edge with -O -fexceptions -fnon-call-exceptions -ftrapv
2010-12-28 20:48 [Bug tree-optimization/47086] New: ICE: verify_flow_info failed: BB 3 can not throw but has an EH edge with -O -fexceptions -fnon-call-exceptions -ftrapv zsojka at seznam dot cz
` (5 preceding siblings ...)
2011-01-11 14:21 ` law at redhat dot com
@ 2011-01-11 14:26 ` zsojka at seznam dot cz
2011-01-11 14:43 ` law at redhat dot com
2011-01-11 14:51 ` law at redhat dot com
8 siblings, 0 replies; 10+ messages in thread
From: zsojka at seznam dot cz @ 2011-01-11 14:26 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47086
--- Comment #6 from Zdenek Sojka <zsojka at seznam dot cz> 2011-01-11 14:21:49 UTC ---
Thank you for fixing this.
It is not planned for backport to 4.5? Target Milestone set to 4.5.3 will cause
this bug to be shown as fixed in 4.5.3, which is not true.
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug tree-optimization/47086] [4.5/4.6 Regression] ICE: verify_flow_info failed: BB 3 can not throw but has an EH edge with -O -fexceptions -fnon-call-exceptions -ftrapv
2010-12-28 20:48 [Bug tree-optimization/47086] New: ICE: verify_flow_info failed: BB 3 can not throw but has an EH edge with -O -fexceptions -fnon-call-exceptions -ftrapv zsojka at seznam dot cz
` (6 preceding siblings ...)
2011-01-11 14:26 ` zsojka at seznam dot cz
@ 2011-01-11 14:43 ` law at redhat dot com
2011-01-11 14:51 ` law at redhat dot com
8 siblings, 0 replies; 10+ messages in thread
From: law at redhat dot com @ 2011-01-11 14:43 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47086
Jeffrey A. Law <law at redhat dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|4.5.3 |4.6.0
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug tree-optimization/47086] [4.5/4.6 Regression] ICE: verify_flow_info failed: BB 3 can not throw but has an EH edge with -O -fexceptions -fnon-call-exceptions -ftrapv
2010-12-28 20:48 [Bug tree-optimization/47086] New: ICE: verify_flow_info failed: BB 3 can not throw but has an EH edge with -O -fexceptions -fnon-call-exceptions -ftrapv zsojka at seznam dot cz
` (7 preceding siblings ...)
2011-01-11 14:43 ` law at redhat dot com
@ 2011-01-11 14:51 ` law at redhat dot com
8 siblings, 0 replies; 10+ messages in thread
From: law at redhat dot com @ 2011-01-11 14:51 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47086
--- Comment #7 from Jeffrey A. Law <law at redhat dot com> 2011-01-11 14:42:40 UTC ---
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
On 01/11/11 07:22, zsojka at seznam dot cz wrote:
> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47086
>
> --- Comment #6 from Zdenek Sojka <zsojka at seznam dot cz> 2011-01-11 14:21:49 UTC ---
> Thank you for fixing this.
>
> It is not planned for backport to 4.5? Target Milestone set to 4.5.3 will cause
> this bug to be shown as fixed in 4.5.3, which is not true.
>
I wasn't planning to backport the fix; however, if you wish to do so and
ask the 4.5.x branch maintainer to include the fix it wouldn't be
terribly hard.
I fixed the target milestone.
Thanks,
Jeff
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Using GnuPG with Fedora - http://enigmail.mozdev.org/
iQEcBAEBAgAGBQJNLGxSAAoJEBRtltQi2kC7ISsIALIyXthTTNESWwlh2GqUsg9/
c2zFnrd4Ijvypwgq3pua9LE4UV+LFdGEW6zUHyi1FpcwXvXL+GcO06DVyjRn39sf
RdU0VRIknXMaPJbFjGzMHAvJQb2zfjGYxEfB6+qOPNtO+l4d5+YtIIwNQmUHRYxH
dTsSDzYZ1BXx6/64AJJrCXNKd+gmXvzxHiwc1qOgPYaks3a25i3LjK5YvLTwSAiT
xqtW/i8Atmupesvf43l2TRqiyCd62xcBkQW7kaKyNg+uZVm+agfvfW0v4Ln7MS8K
HUIvTkifh2KxqLnBMNeN4udws3QX0zkGM3Tsu5OXVeBU+ysE5JPXwAIY2kPYUmM=
=neNR
-----END PGP SIGNATURE-----
^ permalink raw reply [flat|nested] 10+ messages in thread