[Bug sanitizer/77966] Corrupt function with -fsanitize-coverage=trace-pc
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77966 --- Comment #10 from Martin Liška --- Ok, with the patch applied (r241463), you should be given expected output. Please combine that with -fsanitize-undefined-trap-on-error and the binary will be instrumented as desired in #c4.
[Bug sanitizer/77966] Corrupt function with -fsanitize-coverage=trace-pc
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77966 --- Comment #9 from Martin Liška --- Author: marxin Date: Mon Oct 24 07:00:53 2016 New Revision: 241463 URL: https://gcc.gnu.org/viewcvs?rev=241463&root=gcc&view=rev Log: Do not disable aggressive loop opts for PR sanitizer/77966 * opts.c (finish_options): Skip conditionally. PR sanitizer/77966 * c-c++-common/ubsan/unreachable-3.c: New test. Added: trunk/gcc/testsuite/c-c++-common/ubsan/unreachable-3.c Modified: trunk/gcc/ChangeLog trunk/gcc/opts.c trunk/gcc/testsuite/ChangeLog
[Bug sanitizer/77966] Corrupt function with -fsanitize-coverage=trace-pc
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77966 Martin Liška changed: What|Removed |Added 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 Component|target |sanitizer --- Comment #8 from Martin Liška --- Ok, after discussion with Jakub, I'm going to create a patch that would enable aggressive loop optimizations when -fsanitize=leak or -fsanitize=unreachable is enabled (a different sanitization disable them).