Re: [PATCH] Don't perform A - (-B) -> A + B when sanitizing

[Jakub Jelinek]

On Wed, Nov 12, 2014 at 04:07:33PM +0100, Marek Polacek wrote:
> On Wed, Nov 12, 2014 at 03:22:41PM +0100, Richard Biener wrote:
> > TYPE_OVERFLOW_SANITIZES?
> 
> Can I call it sanitize_fold_p and put it as a static inline fn
> into tree.h?

It is a predicate on type, so perhaps sanitized_type_p ?
But TYPE_OVERFLOW_SANITIZED (better than S) sounds good to me too.

        Jakub