On Wed, Sep 25, 2013 at 10:34:42AM +0200, Marek Polacek wrote:
> > 2013-09-17 Marek Polacek <pola...@redhat.com>
> > Jakub Jelinek <ja...@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
