https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110924
--- Comment #10 from Richard Biener <rguenth at gcc dot gnu.org> --- Created attachment 55705 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55705&action=edit prototype This implements option two - Honza, I think the pure-const hunk is sound but I didn't find a proper "lattice" for modref so had to modify the pure/const setting places (three, ugh) - is there a better way to tell modref the "base" lattice value is pure and not const?