[Bug middle-end/85420] More -Wrestrict false positives with -fsanitize=undefined

[sirl at gcc dot gnu.org]

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

--- Comment #1 from Franz Sirl <sirl at gcc dot gnu.org> ---
Created attachment 43951
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=43951&action=edit
C++ testcase