public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug sanitizer/63913] New: [5 Regression] ICE: verify_gimple failed: statement marked for throw, but doesn't with -fnon-call-exceptions -fsanitize=bool
@ 2014-11-17 11:36 zsojka at seznam dot cz
2014-11-17 12:57 ` [Bug sanitizer/63913] " mpolacek at gcc dot gnu.org
` (5 more replies)
0 siblings, 6 replies; 7+ messages in thread
From: zsojka at seznam dot cz @ 2014-11-17 11:36 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63913
Bug ID: 63913
Summary: [5 Regression] ICE: verify_gimple failed: statement
marked for throw, but doesn't with
-fnon-call-exceptions -fsanitize=bool
Product: gcc
Version: 5.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: sanitizer
Assignee: unassigned at gcc dot gnu.org
Reporter: zsojka at seznam dot cz
CC: dodji at gcc dot gnu.org, dvyukov at gcc dot gnu.org,
jakub at gcc dot gnu.org, kcc at gcc dot gnu.org
Created attachment 34002
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34002&action=edit
reduced testcase
Compiler output:
$ gcc -fnon-call-exceptions -fsanitize=bool testcase.C
testcase.C: In function 'double foo(bool*)':
testcase.C:10:1: error: statement marked for throw, but doesn't
}
^
_3 = (bool) _10;
testcase.C:10:1: internal compiler error: verify_gimple failed
0xe5b748 verify_gimple_in_cfg(function*, bool)
/mnt/svn/gcc-trunk/gcc/tree-cfg.c:5027
0xd272eb execute_function_todo
/mnt/svn/gcc-trunk/gcc/passes.c:1868
0xd27d33 execute_todo
/mnt/svn/gcc-trunk/gcc/passes.c:1925
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.
Tested revisions:
r217624 - ICE
4_9 r216937 - OK
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug sanitizer/63913] [5 Regression] ICE: verify_gimple failed: statement marked for throw, but doesn't with -fnon-call-exceptions -fsanitize=bool
2014-11-17 11:36 [Bug sanitizer/63913] New: [5 Regression] ICE: verify_gimple failed: statement marked for throw, but doesn't with -fnon-call-exceptions -fsanitize=bool zsojka at seznam dot cz
@ 2014-11-17 12:57 ` mpolacek at gcc dot gnu.org
2014-11-17 14:32 ` rguenth at gcc dot gnu.org
` (4 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: mpolacek at gcc dot gnu.org @ 2014-11-17 12:57 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63913
Marek Polacek <mpolacek at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2014-11-17
CC| |mpolacek at gcc dot gnu.org
Target Milestone|--- |5.0
Ever confirmed|0 |1
--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Confirmed.
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug sanitizer/63913] [5 Regression] ICE: verify_gimple failed: statement marked for throw, but doesn't with -fnon-call-exceptions -fsanitize=bool
2014-11-17 11:36 [Bug sanitizer/63913] New: [5 Regression] ICE: verify_gimple failed: statement marked for throw, but doesn't with -fnon-call-exceptions -fsanitize=bool zsojka at seznam dot cz
2014-11-17 12:57 ` [Bug sanitizer/63913] " mpolacek at gcc dot gnu.org
@ 2014-11-17 14:32 ` rguenth at gcc dot gnu.org
2014-11-17 22:39 ` hjl.tools at gmail dot com
` (3 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: rguenth at gcc dot gnu.org @ 2014-11-17 14:32 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63913
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P3 |P1
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug sanitizer/63913] [5 Regression] ICE: verify_gimple failed: statement marked for throw, but doesn't with -fnon-call-exceptions -fsanitize=bool
2014-11-17 11:36 [Bug sanitizer/63913] New: [5 Regression] ICE: verify_gimple failed: statement marked for throw, but doesn't with -fnon-call-exceptions -fsanitize=bool zsojka at seznam dot cz
2014-11-17 12:57 ` [Bug sanitizer/63913] " mpolacek at gcc dot gnu.org
2014-11-17 14:32 ` rguenth at gcc dot gnu.org
@ 2014-11-17 22:39 ` hjl.tools at gmail dot com
2014-11-18 8:41 ` jakub at gcc dot gnu.org
` (2 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: hjl.tools at gmail dot com @ 2014-11-17 22:39 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63913
H.J. Lu <hjl.tools at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |rguenther at suse dot de
--- Comment #2 from H.J. Lu <hjl.tools at gmail dot com> ---
It was caused by r209928.
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug sanitizer/63913] [5 Regression] ICE: verify_gimple failed: statement marked for throw, but doesn't with -fnon-call-exceptions -fsanitize=bool
2014-11-17 11:36 [Bug sanitizer/63913] New: [5 Regression] ICE: verify_gimple failed: statement marked for throw, but doesn't with -fnon-call-exceptions -fsanitize=bool zsojka at seznam dot cz
` (2 preceding siblings ...)
2014-11-17 22:39 ` hjl.tools at gmail dot com
@ 2014-11-18 8:41 ` jakub at gcc dot gnu.org
2014-11-19 17:16 ` jakub at gcc dot gnu.org
2014-11-28 13:34 ` jakub at gcc dot gnu.org
5 siblings, 0 replies; 7+ messages in thread
From: jakub at gcc dot gnu.org @ 2014-11-18 8:41 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63913
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Created attachment 34014
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34014&action=edit
gcc5-pr63913.patch
Untested fix. Guess we want it for 4.9 too, even when the verification doesn't
catch that.
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug sanitizer/63913] [5 Regression] ICE: verify_gimple failed: statement marked for throw, but doesn't with -fnon-call-exceptions -fsanitize=bool
2014-11-17 11:36 [Bug sanitizer/63913] New: [5 Regression] ICE: verify_gimple failed: statement marked for throw, but doesn't with -fnon-call-exceptions -fsanitize=bool zsojka at seznam dot cz
` (3 preceding siblings ...)
2014-11-18 8:41 ` jakub at gcc dot gnu.org
@ 2014-11-19 17:16 ` jakub at gcc dot gnu.org
2014-11-28 13:34 ` jakub at gcc dot gnu.org
5 siblings, 0 replies; 7+ messages in thread
From: jakub at gcc dot gnu.org @ 2014-11-19 17:16 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63913
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution|--- |FIXED
--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Fixed.
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug sanitizer/63913] [5 Regression] ICE: verify_gimple failed: statement marked for throw, but doesn't with -fnon-call-exceptions -fsanitize=bool
2014-11-17 11:36 [Bug sanitizer/63913] New: [5 Regression] ICE: verify_gimple failed: statement marked for throw, but doesn't with -fnon-call-exceptions -fsanitize=bool zsojka at seznam dot cz
` (4 preceding siblings ...)
2014-11-19 17:16 ` jakub at gcc dot gnu.org
@ 2014-11-28 13:34 ` jakub at gcc dot gnu.org
5 siblings, 0 replies; 7+ messages in thread
From: jakub at gcc dot gnu.org @ 2014-11-28 13:34 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63913
--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Fri Nov 28 13:34:13 2014
New Revision: 218151
URL: https://gcc.gnu.org/viewcvs?rev=218151&root=gcc&view=rev
Log:
Backported from mainline
2014-11-19 Jakub Jelinek <jakub@redhat.com>
PR sanitizer/63913
* ubsan.c: Include tree-eh.h.
(instrument_bool_enum_load): Handle loads that can throw.
* g++.dg/ubsan/pr63913.C: New test.
Added:
branches/gcc-4_9-branch/gcc/testsuite/g++.dg/ubsan/pr63913.C
Modified:
branches/gcc-4_9-branch/gcc/ChangeLog
branches/gcc-4_9-branch/gcc/testsuite/ChangeLog
branches/gcc-4_9-branch/gcc/ubsan.c
^ permalink raw reply [flat|nested] 7+ messages in thread
end of thread, other threads:[~2014-11-28 13:34 UTC | newest]
Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-11-17 11:36 [Bug sanitizer/63913] New: [5 Regression] ICE: verify_gimple failed: statement marked for throw, but doesn't with -fnon-call-exceptions -fsanitize=bool zsojka at seznam dot cz
2014-11-17 12:57 ` [Bug sanitizer/63913] " mpolacek at gcc dot gnu.org
2014-11-17 14:32 ` rguenth at gcc dot gnu.org
2014-11-17 22:39 ` hjl.tools at gmail dot com
2014-11-18 8:41 ` jakub at gcc dot gnu.org
2014-11-19 17:16 ` jakub at gcc dot gnu.org
2014-11-28 13:34 ` jakub 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).