This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c/20318] New: RFE: add attribute to specify that a function never returns NULL
- From: "jorton at redhat dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 4 Mar 2005 15:32:46 -0000
- Subject: [Bug c/20318] New: RFE: add attribute to specify that a function never returns NULL
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
It would be useful to have a function attribute which specifies that the
function never returns NULL.
Currently the GCC 4 snapshots with -O2 -Wall generate ~15 spurious warnings in
the Subversion source code which could be eliminated if a couple of functions
could be marked as never returning NULL.
--
Summary: RFE: add attribute to specify that a function never
returns NULL
Product: gcc
Version: 4.0.0
Status: UNCONFIRMED
Severity: enhancement
Priority: P2
Component: c
AssignedTo: dnovillo at gcc dot gnu dot org
ReportedBy: jorton at redhat dot com
CC: gcc-bugs at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20318