================
@@ -1342,6 +1342,14 @@ class Analyzer {
return Result;
}
+ bool TraverseParmVarDecl(ParmVarDecl *D) override {
+ // Uninstantiated default arguments are dependent expressions that cannot
+ // be analyzed for function effects without producing incorrect warnings.
+ if (D->hasUninstantiatedDefaultArg())
----------------
ChenMiaoi wrote:
This skips the entire parameter declaration, including necessary checks such as
destructor analysis, which can introduce false negatives.
https://github.com/llvm/llvm-project/pull/235457
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
