[clang] Thread Safety Analysis: Very basic capability alias-analysis (PR #142955)

[Aaron Puchert via cfe-commits]

================
@@ -1012,6 +1030,107 @@ void SExprBuilder::exitCFG(const CFGBlock *Last) {
   IncompleteArgs.clear();
 }
 
+bool SExprBuilder::isVariableReassigned(const VarDecl *VD) {
+  // Note: The search is performed lazily per-variable and result is cached. An
+  // alternative would have been to eagerly create a set of all reassigned
+  // variables, but that would consume significantly more memory. The number of
----------------
aaronpuchert wrote:

We already have this `LocalVariableMap` in `ThreadSafety.cpp`. Maybe we should reuse the results here?

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