[Bug c/71699] bogus -Wmaybe-uninitialized warning: gcc misses that non-NULL pointer + offset can never be NULL

[palves at redhat dot com]

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

--- Comment #1 from Pedro Alves <palves at redhat dot com> ---
Created attachment 38792
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=38792&action=edit
Testcase.