https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120972
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed| |2025-07-07
CC| |rguenth at gcc dot gnu.org
Ever confirmed|0 |1
Status|UNCONFIRMED |NEW
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Yes, it's not possible to implement the standards restrict qualification
constraints reliably for pointers not in the outermost scope of a function
and after the compiler was allowed to do CSE or other code transforms.
For simplicity only function parameters (and select "global" cases)
are handled in the implementation which resides in points-to analysis.
In principle 'restrict' should be handled in the C/C++ language frontends
instead.
