[Bug sanitizer/64906] -fsanitize=integer-divide-by-zero creates false -Wmaybe-uninitialized warning
mpolacek at gcc dot gnu.org
gcc-bugzilla@gcc.gnu.org
Fri Sep 25 10:46:00 GMT 2015
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64906
--- Comment #5 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Author: mpolacek
Date: Fri Sep 25 10:46:03 2015
New Revision: 228113
URL: https://gcc.gnu.org/viewcvs?rev=228113&root=gcc&view=rev
Log:
PR sanitizer/64906
* c-ubsan.c (ubsan_instrument_division): Also pre-evaluate OP1.
* c-c++-common/ubsan/pr64906.c: New test.
Added:
branches/gcc-5-branch/gcc/testsuite/c-c++-common/ubsan/pr64906.c
Modified:
branches/gcc-5-branch/gcc/c-family/ChangeLog
branches/gcc-5-branch/gcc/c-family/c-ubsan.c
branches/gcc-5-branch/gcc/testsuite/ChangeLog
More information about the Gcc-bugs
mailing list