https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112833
--- Comment #3 from Alejandro Colomar <alx at kernel dot org> --- (In reply to Sam James from comment #2) > Does the analyser have any sort of restrict checks? AFAIK it doesn't. I guess that's a bug (or wishlist) in itself. The `restrict` qualifier is all about data flow analysis, which is the job of the analyzer. Usual diagnostics are unable to determine with certainty what is a restrict violation and what's not.
