[clang] [alpha.webkit.UncountedCallArgsChecker] Allow ASSERT and atomic<T> operations in a trivial function (PR #82063)
Artem Dergachev via cfe-commits
cfe-commits at lists.llvm.org
Mon Feb 19 12:36:41 PST 2024
================
@@ -356,6 +364,14 @@ class TrivialFunctionAnalysisVisitor
return TrivialFunctionAnalysis::isTrivialImpl(Callee, Cache);
}
+ bool VisitCXXDefaultArgExpr(const CXXDefaultArgExpr *E) {
----------------
haoNoQ wrote:
In theory this may need to be cached because it may cause default argument expressions to be visited multiple times, i.e. every time a function is called with the given argument omitted. And these expressions can get quite complicated.
I haven't ever seen it matter though.
https://github.com/llvm/llvm-project/pull/82063
More information about the cfe-commits
mailing list