[Bug c++/63459] operator new and returns_nonnull

[rguenth at gcc dot gnu.org]

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

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
I think a method call always has this != NULL so you'd infer this != NULL
after the call with a ASSERT_EXPR.

With the pattern stuff you can't really write "any call with some nonnull
attribute on it" so you need a tree predicate for this.