On Wed, 12 Nov 2014, Jakub Jelinek wrote: > 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.
Somehow it should be visible that this is all related to overflow and thus existing TYPE_OVERFLOW_* checks. So I like TYPE_OVERFLOW_SANITIZED better ;) Richard.
