[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