[clang] [analyzer] Match dangling subobjects by their base region in DanglingPtrDeref (PR #211552)
via cfe-commits
cfe-commits at lists.llvm.org
Fri Jul 24 05:53:55 PDT 2026
================
@@ -112,3 +112,105 @@ void inlined_callee_single_report() {
// expected-note at -1 {{Calling 'deref_param'}}
(void)r;
}
+
+struct MyBuffer {
+ char buffer[8];
+};
+struct MyStruct { int x; };
+struct Inner { int x; };
+struct Outer { struct Inner inner; };
----------------
isuckatcs wrote:
```suggestion
struct Outer { Inner inner; };
```
I'm not sure if we should spell out `struct` in C++ (this applies to every other place in this test file as well).
Also, what if `Inner` is declared inside `Outer`?
```c++
struct Outer {
struct Inner {};
};
```
https://github.com/llvm/llvm-project/pull/211552
More information about the cfe-commits
mailing list