[clang] Thread Safety Analysis: Drop call-based alias invalidation (PR #187691)
Marco Elver via cfe-commits
cfe-commits at lists.llvm.org
Thu Apr 2 05:06:06 PDT 2026
melver wrote:
> I had to revert because it causes Linux kernel build errors (false positives), so I need to take another look.
I think we need to retain a very narrow heuristic, see: https://github.com/llvm/llvm-project/pull/190154
In particular, I didn't like that we effectively undid what testPointerAliasEscapeMultiple() was testing (avoid false negatives for this case, which @ziqingluo-90 fixed earlier). And I found real cases in the Linux kernel where there's some reallocation of an object going on that I *do* want to catch (or suppress explicitly).
https://github.com/llvm/llvm-project/pull/187691
More information about the cfe-commits
mailing list