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