[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