melver wrote:

> [...]
> I haven't been able to isolate a minimal reproducer yet that we can use as a 
> test case.

Added a test that fails with this patch: 
https://github.com/llvm/llvm-project/pull/179049

I think the fix is just this squashed into this patch:
```
--- a/clang/lib/Analysis/ThreadSafety.cpp
+++ b/clang/lib/Analysis/ThreadSafety.cpp
@@ -2825,6 +2825,7 @@ void 
ThreadSafetyAnalyzer::runAnalysis(AnalysisDeclContext &AC) {
         case CFGElement::Statement: {
           CFGStmt CS = BI.castAs<CFGStmt>();
           LocksetBuilder.Visit(CS.getStmt());
+          LocksetBuilder.updateLocalVarMapCtx(nullptr);
           break;
         }
         // Ignore BaseDtor and MemberDtor for now.
```
Please double check though...

https://github.com/llvm/llvm-project/pull/178952
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to