[PATCH] Initialize sanitizer builtins (PR sanitizer/60745)

[Mike Stump]

On Apr 7, 2014, at 10:57 AM, Marek Polacek <polacek@redhat.com> wrote:
> On Sun, Apr 06, 2014 at 09:46:12AM -0700, Mike Stump wrote:
>> On Apr 5, 2014, at 10:36 AM, Marek Polacek <polacek@redhat.com> wrote:
>>> 
>>> I'll wait a day or two for possible comments.
>> 
>> So, my only comment would be it would be nice to document the flags that can vary between pch creation and use time, and which cause an invalidation of the pch file.  This flag then is documented as safe to change and not invalidate the pch file.
> 
> That might be nice, but currently there isn't any such list, right?

No, I don’t think there is.  Generally speaking, very few flags are safe to change.