http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58443
--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> --- Author: mpolacek Date: Wed Sep 18 13:31:34 2013 New Revision: 202701 URL: http://gcc.gnu.org/viewcvs?rev=202701&root=gcc&view=rev Log: 2013-09-18 Marek Polacek <pola...@redhat.com> PR sanitize/58443 cp/ * typeck.c (cp_build_binary_op): Properly honor -fsanitize options. Remove unnecessary check. c/ * c-typeck.c (build_binary_op): Properly honor -fsanitize options. Remove unnecessary check. testsuite/ * g++.dg/ubsan/div-by-zero-1.C: Use the integer-divide-by-zero option instead of the shift option. * c-c++-common/ubsan/pr58443-1.c: New test. * c-c++-common/ubsan/pr58443-3.c: New test. * c-c++-common/ubsan/pr58443-2.c: New test. Added: trunk/gcc/testsuite/c-c++-common/ubsan/pr58443-1.c trunk/gcc/testsuite/c-c++-common/ubsan/pr58443-2.c trunk/gcc/testsuite/c-c++-common/ubsan/pr58443-3.c Modified: trunk/gcc/c/ChangeLog trunk/gcc/c/c-typeck.c trunk/gcc/cp/ChangeLog trunk/gcc/cp/typeck.c trunk/gcc/testsuite/ChangeLog trunk/gcc/testsuite/g++.dg/ubsan/div-by-zero-1.C