[clang] Thread Safety Analysis: Drop most call-based alias invalidation (PR #190154)
Aaron Puchert via cfe-commits
cfe-commits at lists.llvm.org
Sun Apr 12 13:47:05 PDT 2026
aaronpuchert wrote:
Your reasoning is interesting, but we don't really know that the reason for a cast is some kind of reallocation. It could be anything. Another problem is that this makes the analysis less predictable. If we invalidate on the basis of casts, users will have no idea what's going on when they change the code and the warning pops up (or disappears).
Not saying no, but I'm not quite convinced that this is the best way.
https://github.com/llvm/llvm-project/pull/190154
More information about the cfe-commits
mailing list