[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