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