[Bug c/20318] RFE: add attribute to specify that a function never returns NULL

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2005-03-04 17:53 -------
I don't object that this feature is indeed needed, but I would still like to 
see a reduced testcase from Subversion which shows a bogus warning that could 
be fixed with this attribute.

BTW, Diego, once ASSERT_EXPR becomes a generic node, can't just the C++ FE uses 
it to assert that the return value for a CALL_EXPR to an allocation function is 
non-zero?

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20318