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?
https://reviews.llvm.org/D35450
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
