[clang] nonblocking/nonallocating attributes: 2nd pass caller/callee analysis (PR #99656)
Doug Wyatt via cfe-commits
cfe-commits at lists.llvm.org
Fri Jul 19 07:54:36 PDT 2024
================
@@ -2551,6 +3807,9 @@ void clang::sema::AnalysisBasedWarnings::IssueWarnings(
SourceLocation())) {
CallableVisitor(CallAnalyzers).TraverseTranslationUnitDecl(TU);
}
+
+ if (S.Context.hasAnyFunctionEffects())
----------------
dougsonos wrote:
This doesn't necessarily need to be here in AnalysisBasedWarnings (though it does borrow a utility function `isNoexcept()`). It's just convenient because this is the right general time, at the end of Sema, to do this check.
https://github.com/llvm/llvm-project/pull/99656
More information about the cfe-commits
mailing list