http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60557
--- Comment #5 from Jakub Jelinek jakub at gcc dot gnu.org ---
Created attachment 32380
-- http://gcc.gnu.org/bugzilla/attachment.cgi?id=32380action=edit
gcc49-pr60557.patch
This should hopefully fix it.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60557
--- Comment #6 from Tobias Burnus burnus at gcc dot gnu.org ---
(In reply to Jakub Jelinek from comment #5)
This should hopefully fix it.
Looks good to me. For the testcase of comment 1, it also gives the expected
run-time diagnostic:
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60557
--- Comment #7 from Jakub Jelinek jakub at gcc dot gnu.org ---
Author: jakub
Date: Tue Mar 18 15:05:30 2014
New Revision: 208652
URL: http://gcc.gnu.org/viewcvs?rev=208652root=gccview=rev
Log:
PR sanitizer/60557
* ubsan.c
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60557
Jakub Jelinek jakub at gcc dot gnu.org changed:
What|Removed |Added
Status|NEW |RESOLVED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60557
--- Comment #1 from Tobias Burnus burnus at gcc dot gnu.org ---
Created attachment 32379
-- http://gcc.gnu.org/bugzilla/attachment.cgi?id=32379action=edit
Testcase (test.f90)
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60557
--- Comment #2 from Tobias Burnus burnus at gcc dot gnu.org ---
And compiling with just -fsanitize=signed-integer-overflow leads to another
ICE:
0x6a0828 contains_struct_check
../../gcc/tree.h:2822
0x6a0828
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60557
Dominique d'Humieres dominiq at lps dot ens.fr changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60557
--- Comment #4 from Dominique d'Humieres dominiq at lps dot ens.fr ---
The backtrace for the test in comment 0 with -fsanitize=signed-integer-overflow
is the similar to the one I get for the DO loop.