[PATCH] D35450: [analyzer] Support generating and reasoning over more symbolic constraint types

Anna Zaks via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Aug 25 09:44:14 PDT 2017

zaks.anna added inline comments.

Comment at: lib/StaticAnalyzer/Core/SValBuilder.cpp:364
   if (symLHS && symRHS &&
-      (symLHS->computeComplexity() + symRHS->computeComplexity()) <  MaxComp)
+      (symLHS->computeComplexity() + symRHS->computeComplexity()) < MaxComp)
     return makeNonLoc(symLHS, Op, symRHS, ResultTy);
As a follow up to the previous version of this patch, I do not think we should set the default complexity limit to 10000.

What is the relation between this limit and the limit in VisitNonLocSymbolVal? If they are related, would it be worthwhile turning these into an analyzer option?


More information about the cfe-commits mailing list