https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103266
--- Comment #6 from rguenther at suse dot de <rguenther at suse dot de> --- On Tue, 16 Nov 2021, hubicka at kam dot mff.cuni.cz wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103266 > > --- Comment #5 from hubicka at kam dot mff.cuni.cz --- > > I think 'X' means simply not dereferenced or escaping since this was all > > PTA based. 'S' would still eventually allow escaping. But yes, PTA > > simply takes '1' literally. So the patch below is IMHO too pessimizing. > > Can you please fixup modref instead? > > If X is not meant to be "completely unused" (that is bit useless for > anotating bulitins I think since most of them shoul dbe sane) but all > the other flags together, we should update docs and eaf_flags production > which would fix the issue too. Well, it was "completely irrelevant" for PTA purposes ;)
