ziqingluo-90 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: #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...
Thank you for providing a small enough test. I will look into it.
https://github.com/llvm/llvm-project/pull/178952
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
