https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92689
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> --- Also see PR92419 which was motivated by improving handling of TREE_READONLY declarations. And indeed we cannot rely on const qualification of pointers in any way.
