are malloc/new calls annotated if they may return NULL?

[Tom Tromey]

>>>>> "Dan" == Daniel Berlin <dberlin@dberlin.org> writes:

Dan> Doesn't that get created from DECL_IS_MALLOC at some point?

Haha, I'm an idiot.  Yeah, this is what happens.  Then it is checked
by the aliasing code and by expand_call().

Tom