seaneveson marked 6 inline comments as done.
seaneveson added a comment.
There is an issue where pointers to the object (this) should cause it to be
invalidated, but don't since TK_PreserveContents has been set.
For example:
class B;
class A {
B b;
const foo();
};
class B {
A *ptr_a;
}
A a;
a.b.ptr_a = &a;
a.foo();
The method foo might modify 'this' via the object b, but 'this' will not be
invalidated as foo is const.
Again I'm not sure this is worth checking for, based on the assumption that a
reasonable const method won't modify the relevant object. What do people think?
http://reviews.llvm.org/D13099
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
