[Bug sanitizer/60636] ubsan doesn't instrument signed integer ABS_EXPR

2014-03-26 Thread jakub at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60636 Jakub Jelinek changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug sanitizer/60636] ubsan doesn't instrument signed integer ABS_EXPR

2014-03-26 Thread jakub at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60636 --- Comment #3 from Jakub Jelinek --- Author: jakub Date: Wed Mar 26 09:18:26 2014 New Revision: 208841 URL: http://gcc.gnu.org/viewcvs?rev=208841&root=gcc&view=rev Log: PR sanitizer/60636 * ubsan.c (instrument_si_overflow): Instrument AB

[Bug sanitizer/60636] ubsan doesn't instrument signed integer ABS_EXPR

2014-03-25 Thread rguenth at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60636 --- Comment #2 from Richard Biener --- We should instead instrument ABS_EXPR (you can instrument that as u > 0 ? u : -u of course).

[Bug sanitizer/60636] ubsan doesn't instrument signed integer ABS_EXPR

2014-03-24 Thread jakub at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60636 Jakub Jelinek changed: What|Removed |Added Status|UNCONFIRMED |ASSIGNED Last reconfirmed|