================
@@ -32,6 +32,22 @@ static void baz() {
} // namespace call_args_checked
+namespace call_args_member {
+
+void consume(CheckedObj&);
+
+struct WrapperObj {
+ CheckedObj checked;
+ CheckedObj& checkedRef;
+ void foo() {
+ consume(checked);
----------------
ziqingluo-90 wrote:
do you need to check that the `checked` expr here is in fact `this->checked`?
In other words, is the example below valid?
```
struct WrapperObj {
CheckedObj checked;
void foo(WrapperObj *WO) {
consume(WO->checked); // I see no warn here
}
};
```
https://github.com/llvm/llvm-project/pull/142485
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
