aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Checker/PathSensitive/ValueManager.h
AgeCommit message (Expand)Author
2010-12-02Merge ValueManager into SValBuilder.Ted Kremenek
2010-12-01Rename 'SValuator' to 'SValBuilder'. The new nameTed Kremenek
2010-08-14Add a new metadata symbol type for checkers to use. Metadata symbols must be ...Jordy Rose
2010-04-14Add support for CXXBoolLiteralExpr.Zhongxing Xu
2010-03-01Since now we store the cast type with an ElementRegion, there isZhongxing Xu
2010-02-05Change LazyCompoundVal to a <Store, MemRegion*> pair. We really don't need toZhongxing Xu
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek