[Bug sanitizer/102515] UBSAN misses signed division instrumentation

2022-05-10 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102515 --- Comment #12 from CVS Commits --- The releases/gcc-9 branch has been updated by Jakub Jelinek : https://gcc.gnu.org/g:f806bea0a6c1c5b7d517c7aee053c21b4d2155c6 commit r9-10103-gf806bea0a6c1c5b7d517c7aee053c21b4d2155c6 Author: Jakub Jelinek

[Bug sanitizer/102515] UBSAN misses signed division instrumentation

2022-05-10 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102515 --- Comment #11 from CVS Commits --- The releases/gcc-10 branch has been updated by Jakub Jelinek : https://gcc.gnu.org/g:9f4f13c1d42c0eac9ccfe3f5a925389def881033 commit r10-10646-g9f4f13c1d42c0eac9ccfe3f5a925389def881033 Author: Jakub Jelinek

[Bug sanitizer/102515] UBSAN misses signed division instrumentation

2021-10-05 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102515 --- Comment #10 from CVS Commits --- The releases/gcc-11 branch has been updated by Jakub Jelinek : https://gcc.gnu.org/g:dcf70cb0d85d04ff680a361e32d79c326ae8b3fc commit r11-9074-gdcf70cb0d85d04ff680a361e32d79c326ae8b3fc Author: Jakub Jelinek

[Bug sanitizer/102515] UBSAN misses signed division instrumentation

2021-10-04 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102515 Richard Biener changed: What|Removed |Added Resolution|--- |FIXED Status|ASSIGNED

[Bug sanitizer/102515] UBSAN misses signed division instrumentation

2021-10-01 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102515 --- Comment #8 from CVS Commits --- The master branch has been updated by Jakub Jelinek : https://gcc.gnu.org/g:9c1a633d96926357155d4702b66f8a0ec856a81f commit r12-4042-g9c1a633d96926357155d4702b66f8a0ec856a81f Author: Jakub Jelinek Date: F

[Bug sanitizer/102515] UBSAN misses signed division instrumentation

2021-10-01 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102515 --- Comment #7 from Richard Biener --- Created attachment 51530 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=51530&action=edit patch For reference, this is my patch.

[Bug sanitizer/102515] UBSAN misses signed division instrumentation

2021-10-01 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102515 --- Comment #6 from Richard Biener --- (In reply to Jakub Jelinek from comment #5) > Created attachment 51529 [details] > gcc12-pr102515.patch > > I have one too, even bootstrapped/regtested overnight, just didn't get to > writing new testcases

[Bug sanitizer/102515] UBSAN misses signed division instrumentation

2021-10-01 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102515 --- Comment #5 from Jakub Jelinek --- Created attachment 51529 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=51529&action=edit gcc12-pr102515.patch I have one too, even bootstrapped/regtested overnight, just didn't get to writing new tes

[Bug sanitizer/102515] UBSAN misses signed division instrumentation

2021-10-01 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102515 Richard Biener changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot gnu.org

[Bug sanitizer/102515] UBSAN misses signed division instrumentation

2021-09-28 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102515 --- Comment #3 from Richard Biener --- Btw, clang documents: -fsanitize=signed-integer-overflow: Signed integer overflow, where the result of a signed integer computation cannot be represented in its type. This includes all the checks covered b

[Bug sanitizer/102515] UBSAN misses signed division instrumentation

2021-09-28 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102515 --- Comment #2 from Richard Biener --- I see - I wonder whether we should do || sanitize_flags_p (SANITIZE_SI_OVERFLOW) for this specific case. For -ftrapv I also really was looking at instrumentation from the frontend rather than from pass_ubs

[Bug sanitizer/102515] UBSAN misses signed division instrumentation

2021-09-28 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102515 --- Comment #1 from Jakub Jelinek --- ubsan already handles that in c-family/c-ubsan.c (ubsan_instrument_division). But we don't have an ifn for that. And it is not covered by -fsanitize=signed-integer-overflow but -fsanitize=integer-divide-by-