[clang] Thread Safety Analysis: Fix implicit member access in attributes (PR #194457)

Aaron Puchert via cfe-commits cfe-commits at lists.llvm.org
Sun May 3 14:03:40 PDT 2026


https://github.com/aaronpuchert commented:

I think this should be fixed in the AST, and not worked around in the TIL translation. Fields should never be referenced by a `DeclRefExpr`, but only by `MemberExpr`s. It would also be good to keep a correspondence `DeclRefExpr` ↔ `til::LiteralPtr`, `MemberExpr` ↔ `til::Project`.

I know this is an issue in C, but this should better be fixed by introducing a built-in equivalent to `CXXThisExpr`.

https://github.com/llvm/llvm-project/pull/194457


More information about the cfe-commits mailing list