https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105676
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot gnu.org --- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> --- It's ipa-modref detecting getval as pure and calling ipa_make_function_pure which emits the diagnostic. I have a patch excluding functions already const from this.