On Wed, Sep 25, 2013 at 10:34:42AM +0200, Marek Polacek wrote:
> > 2013-09-17 Marek Polacek
> > Jakub Jelinek
> >
> > PR sanitizer/58413
> > c-family/
> > * c-ubsan.c (ubsan_instrument_shift): Don't instrument
> > an expression if we can prove it is correct.
> > (ubsan
Ping.
On Tue, Sep 17, 2013 at 12:32:03PM +0200, Marek Polacek wrote:
> On Mon, Sep 16, 2013 at 08:35:35PM +0200, Jakub Jelinek wrote:
> > On Fri, Sep 13, 2013 at 08:01:36PM +0200, Marek Polacek wrote:
> > I'd say the above is going to be a maintainance nightmare, with all the code
> > duplication.
On Mon, Sep 16, 2013 at 03:59:12PM +, Joseph S. Myers wrote:
> On Mon, 16 Sep 2013, Marek Polacek wrote:
>
> > On Fri, Sep 13, 2013 at 07:18:24PM +, Joseph S. Myers wrote:
> > > On Fri, 13 Sep 2013, Marek Polacek wrote:
> > >
> > > > This is kind of fugly, but don't have anything better a
On Mon, Sep 16, 2013 at 08:35:35PM +0200, Jakub Jelinek wrote:
> On Fri, Sep 13, 2013 at 08:01:36PM +0200, Marek Polacek wrote:
> I'd say the above is going to be a maintainance nightmare, with all the code
> duplication. And you are certainly going to miss cases that way,
> e.g.
> void
> foo (voi
On Fri, Sep 13, 2013 at 08:01:36PM +0200, Marek Polacek wrote:
> 2013-09-13 Marek Polacek
>
> PR sanitizer/58413
> c-family/
> * c-ubsan.c (ubsan_instrument_shift): Don't instrument
> an expression if we can prove it is correct.
>
> testsuite/
> * c-c++-common/ubsan/shi
On Mon, 16 Sep 2013, Marek Polacek wrote:
> On Fri, Sep 13, 2013 at 07:18:24PM +, Joseph S. Myers wrote:
> > On Fri, 13 Sep 2013, Marek Polacek wrote:
> >
> > > This is kind of fugly, but don't have anything better at the moment.
> > > 2013-09-13 Marek Polacek
> > >
> > > PR sanitizer/5
On Fri, Sep 13, 2013 at 07:18:24PM +, Joseph S. Myers wrote:
> On Fri, 13 Sep 2013, Marek Polacek wrote:
>
> > This is kind of fugly, but don't have anything better at the moment.
> > 2013-09-13 Marek Polacek
> >
> > PR sanitizer/58413
> > c-family/
> > * c-ubsan.c (ubsan_instrumen
This is kind of fugly, but don't have anything better at the moment.
The thing is that we were always instrumenting shift expressions, even
when both operands were INTEGER_CSTs and we could prove at compile
time that the expression is well defined. This causes problems in the
C FE, mainly at place
On Fri, 13 Sep 2013, Marek Polacek wrote:
> This is kind of fugly, but don't have anything better at the moment.
> 2013-09-13 Marek Polacek
>
> PR sanitizer/58413
> c-family/
> * c-ubsan.c (ubsan_instrument_shift): Don't instrument
> an expression if we can prove it is correc
