On Apr 7, 2014, at 10:57 AM, Marek Polacek <pola...@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 <pola...@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.