[Bug middle-end/92628] Make use of TYPE_RESTRICT for function-call pointer-escape analysis – especially for Fortran

[tkoenig at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92628

--- Comment #5 from Thomas Koenig <tkoenig at gcc dot gnu.org> ---
Any progress in this direction? Should we revisit PR 67202
(maybe do this in trans-*), or maybe even it?