aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/ConstraintManager.cpp
AgeCommit message (Expand)Author
2012-10-31[analyzer] Let ConstraintManager subclasses provide a more efficient checkNull.Jordan Rose
2012-09-26Remove unnecessary ASTContext& parameter from SymExpr::getType().Ted Kremenek
2012-09-07Remove ProgramState::getSymVal(). It was being misused by Checkers,Ted Kremenek