[Bug analyzer/99860] RFE: analyzer does not respect "restrict"

[dmalcolm at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Notes on "restrict":
  https://en.cppreference.com/w/c/language/restrict