On Sat, Jun 28, 2014 at 01:29:47PM +0200, Gerald Pfeifer wrote:
> On Fri, 27 Jun 2014, Jakub Jelinek wrote:
> > This patch implements sanitization for nonnull and returns_nonnull
> > attributes.
>
> No documentation patch?
I'll add it soon.
> Also, should this be documented in gcc-4.10/changes.html?
We'll mention all the new undefined behavior sanitizers, there have been
many added already post 4.9.0.
> > As GCC 4.9.0+ now aggressively optimizes based on these attributes and we've
> > seen several issues in real world apps, I think this is really needed.
>
> Nice! Is this worth pushing into GCC 4.9.1 as well?
This one is the only one that is actually hard to push into 4.9.x, as it
requires new libubsan entrypoints.
Jakub
