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

[law at redhat dot com]

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

Jeffrey A. Law <law at redhat dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2020-02-25
                 CC|                            |law at redhat dot com
     Ever confirmed|0                           |1

--- Comment #12 from Jeffrey A. Law <law at redhat dot com> ---
Confirming for -O0 we get the false positive, which isn't a huge surprise given
how little analysis we do for -O0, similarly for -Og.

For -Ox for x >= 1 the warning is suppressed.