public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
* [Bug sanitizer/64289] New: ICE with -fsanitize=float-cast-overflow
@ 2014-12-12 16:10 jakub at gcc dot gnu.org
2014-12-12 16:11 ` [Bug sanitizer/64289] " jakub at gcc dot gnu.org
` (4 more replies)
0 siblings, 5 replies; 6+ messages in thread
From: jakub at gcc dot gnu.org @ 2014-12-12 16:10 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64289
Bug ID: 64289
Summary: ICE with -fsanitize=float-cast-overflow
Product: gcc
Version: 5.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: sanitizer
Assignee: jakub at gcc dot gnu.org
Reporter: jakub at gcc dot gnu.org
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,
mpolacek at gcc dot gnu.org
/* { dg-do compile } */
/* { dg-options "-fsanitize=float-cast-overflow" } */
int
foo (int a)
{
return (int) (0 ? 0 : a ? a : 0.5);
}
ICEs when compiled as C, because save_expr must not be used until c_fully_fold.
Unfortunately as convert.c is shared by all FEs, it can't call c_save_expr
instead. So, either we'd need to turn it into a langhook, or we need a
workaround in c-convert.c like we've done already for the other save_expr in
convert.c case.
^ permalink raw reply [flat|nested] 6+ messages in thread* [Bug sanitizer/64289] ICE with -fsanitize=float-cast-overflow 2014-12-12 16:10 [Bug sanitizer/64289] New: ICE with -fsanitize=float-cast-overflow jakub at gcc dot gnu.org @ 2014-12-12 16:11 ` jakub at gcc dot gnu.org 2014-12-12 16:19 ` jakub at gcc dot gnu.org ` (3 subsequent siblings) 4 siblings, 0 replies; 6+ messages in thread From: jakub at gcc dot gnu.org @ 2014-12-12 16:11 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64289 Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2014-12-12 Target Milestone|--- |5.0 Ever confirmed|0 |1 ^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug sanitizer/64289] ICE with -fsanitize=float-cast-overflow 2014-12-12 16:10 [Bug sanitizer/64289] New: ICE with -fsanitize=float-cast-overflow jakub at gcc dot gnu.org 2014-12-12 16:11 ` [Bug sanitizer/64289] " jakub at gcc dot gnu.org @ 2014-12-12 16:19 ` jakub at gcc dot gnu.org 2014-12-17 9:27 ` jakub at gcc dot gnu.org ` (2 subsequent siblings) 4 siblings, 0 replies; 6+ messages in thread From: jakub at gcc dot gnu.org @ 2014-12-12 16:19 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64289 --- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Created attachment 34267 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34267&action=edit gcc5-pr64289.patch Untested fix. ^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug sanitizer/64289] ICE with -fsanitize=float-cast-overflow 2014-12-12 16:10 [Bug sanitizer/64289] New: ICE with -fsanitize=float-cast-overflow jakub at gcc dot gnu.org 2014-12-12 16:11 ` [Bug sanitizer/64289] " jakub at gcc dot gnu.org 2014-12-12 16:19 ` jakub at gcc dot gnu.org @ 2014-12-17 9:27 ` jakub at gcc dot gnu.org 2015-04-22 12:01 ` jakub at gcc dot gnu.org 2015-07-16 9:19 ` rguenth at gcc dot gnu.org 4 siblings, 0 replies; 6+ messages in thread From: jakub at gcc dot gnu.org @ 2014-12-17 9:27 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64289 --- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Author: jakub Date: Wed Dec 17 09:26:49 2014 New Revision: 218811 URL: https://gcc.gnu.org/viewcvs?rev=218811&root=gcc&view=rev Log: PR sanitizer/64289 * c-convert.c: Include ubsan.h. (convert): For real -> integral casts and -fsanitize=float-cast-overflow don't call convert_to_integer, but instead instrument the float cast directly. * c-c++-common/ubsan/pr64289.c: New test. Added: trunk/gcc/testsuite/c-c++-common/ubsan/pr64289.c Modified: trunk/gcc/c/ChangeLog trunk/gcc/c/c-convert.c trunk/gcc/testsuite/ChangeLog ^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug sanitizer/64289] ICE with -fsanitize=float-cast-overflow 2014-12-12 16:10 [Bug sanitizer/64289] New: ICE with -fsanitize=float-cast-overflow jakub at gcc dot gnu.org ` (2 preceding siblings ...) 2014-12-17 9:27 ` jakub at gcc dot gnu.org @ 2015-04-22 12:01 ` jakub at gcc dot gnu.org 2015-07-16 9:19 ` rguenth at gcc dot gnu.org 4 siblings, 0 replies; 6+ messages in thread From: jakub at gcc dot gnu.org @ 2015-04-22 12:01 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64289 Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Target Milestone|5.0 |5.2 --- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> --- GCC 5.1 has been released. ^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug sanitizer/64289] ICE with -fsanitize=float-cast-overflow 2014-12-12 16:10 [Bug sanitizer/64289] New: ICE with -fsanitize=float-cast-overflow jakub at gcc dot gnu.org ` (3 preceding siblings ...) 2015-04-22 12:01 ` jakub at gcc dot gnu.org @ 2015-07-16 9:19 ` rguenth at gcc dot gnu.org 4 siblings, 0 replies; 6+ messages in thread From: rguenth at gcc dot gnu.org @ 2015-07-16 9:19 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64289 Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Target Milestone|5.2 |5.3 --- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- GCC 5.2 is being released, adjusting target milestone to 5.3. ^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2015-07-16 9:19 UTC | newest] Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2014-12-12 16:10 [Bug sanitizer/64289] New: ICE with -fsanitize=float-cast-overflow jakub at gcc dot gnu.org 2014-12-12 16:11 ` [Bug sanitizer/64289] " jakub at gcc dot gnu.org 2014-12-12 16:19 ` jakub at gcc dot gnu.org 2014-12-17 9:27 ` jakub at gcc dot gnu.org 2015-04-22 12:01 ` jakub at gcc dot gnu.org 2015-07-16 9:19 ` rguenth 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).