------- 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
