r202886 - in /trunk/gcc: c-family/ChangeLog c-f...

[mpolacek@gcc.gnu.org]

Author: mpolacek
Date: Wed Sep 25 08:58:57 2013
New Revision: 202886

URL: http://gcc.gnu.org/viewcvs?rev=202886&root=gcc&view=rev
Log:
	PR sanitizer/58413
c-family/
	* c-ubsan.c (ubsan_instrument_shift): Don't instrument
	an expression if we can prove it is correct.
	(ubsan_instrument_division): Likewise.  Remove unnecessary
	check.
testsuite/
	* c-c++-common/ubsan/shift-5.c: New test.
	* c-c++-common/ubsan/shift-6.c: New test.
	* c-c++-common/ubsan/div-by-zero-5.c: New test.
	* gcc.dg/ubsan/c-shift-1.c: New test.


Added:
    trunk/gcc/testsuite/c-c++-common/ubsan/div-by-zero-5.c
    trunk/gcc/testsuite/c-c++-common/ubsan/shift-5.c
    trunk/gcc/testsuite/c-c++-common/ubsan/shift-6.c
    trunk/gcc/testsuite/gcc.dg/ubsan/c-shift-1.c
Modified:
    trunk/gcc/c-family/ChangeLog
    trunk/gcc/c-family/c-ubsan.c
    trunk/gcc/testsuite/ChangeLog