------- Comment #5 from steven at gcc dot gnu dot org 2006-05-01 19:19 -------
Ehm, right, ignore comment #4.
Yes it is possible.
No, it's not very practical. Your code looks like,
bool f(A *a) {
g(a);
return a;
}
to the middle end. It would take a significant amount of extra work to walk
through all formal and actual argument lists in a CALL_EXPR to find "attribute
nonnull"-arguments in the callee argument list. I'm not sure that's worth the
cost.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27336
