[clang] Control analysis-based diagnostics with #pragma (PR #136323)
Shafik Yaghmour via cfe-commits
cfe-commits at lists.llvm.org
Thu Jun 5 14:31:44 PDT 2025
================
@@ -16597,7 +16597,8 @@ ExprResult Sema::ActOnBlockStmtExpr(SourceLocation CaretLoc,
BD->setCaptures(Context, Captures, BSI->CXXThisCaptureIndex != 0);
// Pop the block scope now but keep it alive to the end of this function.
- AnalysisBasedWarnings::Policy WP = AnalysisWarnings.getDefaultPolicy();
+ AnalysisBasedWarnings::Policy WP =
+ AnalysisWarnings.getPolicyInEffectAt(Body->getEndLoc());
----------------
shafik wrote:
Static analysis points out that `Body` is nullptr checked above and so we should not be unconditionally dereferencing it here.
https://github.com/llvm/llvm-project/pull/136323
More information about the cfe-commits
mailing list