https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99860
Bug ID: 99860 Summary: RFE: analyzer does not respect "restrict" Product: gcc Version: 11.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: analyzer Assignee: dmalcolm at gcc dot gnu.org Reporter: dmalcolm at gcc dot gnu.org Target Milestone: --- The analyzer currently is very conservative about aliasing, and assumes that anything that could be aliased by a pointer gets clobbered when a write occurs through that pointer. Am filing this bug to remind me to better support pointers marked with "restrict". Probably should also warn about places where the analyzer detects that restrict isn't being honored.