[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