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

[Tom Tromey]

>>>>> "Diego" == Diego Novillo <dnovillo@redhat.com> writes:

Diego> Do we annotate in the IL malloc/new calls that are guaranteed to never
Diego> return NULL?

Interestingly, when I look through gcc/gcc, I can't find any real uses
of DECL_IS_MALLOC.  Some code sets it, and some code tests it to copy
the flag to a new decl, but nothing actually seems to use it.  Am I
missing something?

Tom