This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PATCH] Don't always instrument shifts (PR sanitizer/58413)


On Wed, Sep 25, 2013 at 10:34:42AM +0200, Marek Polacek wrote:
> > 2013-09-17  Marek Polacek  <polacek@redhat.com>
> > 	    Jakub Jelinek  <jakub@redhat.com>
> > 
> > 	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-4.c: New test.
> > 	* c-c++-common/ubsan/shift-5.c: New test.
> > 	* c-c++-common/ubsan/div-by-zero-5.c: New test.
> > 	* gcc.dg/ubsan/c-shift-1.c: New test.

Ok.

	Jakub


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]