https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100404
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
nonnull attribute e.g. for VRP/ranger means that the pointer is ~[0,0],
regardless of -f{,no-}delete-null-pointer-checks. Don't use nonnull attribute
if the argument can be NULL? Because calling it with NULL in that case is UB.
