[Bug c++/27336] "this" pointer is not assumed to be not null

[steven at gcc dot gnu dot org]

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