This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: are malloc/new calls annotated if they may return NULL?
- From: Tom Tromey <tromey at redhat dot com>
- To: Diego Novillo <dnovillo at redhat dot com>
- Cc: GCC Mailing List <gcc at gcc dot gnu dot org>
- Date: 17 Jan 2005 10:56:16 -0700
- Subject: Re: are malloc/new calls annotated if they may return NULL?
- References: <41EBDDED.3000009@redhat.com>
- Reply-to: tromey at redhat dot com
>>>>> "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