aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/ValueManager.cpp
AgeCommit message (Expand)Author
2009-09-27Fix:Ted Kremenek
2009-09-11Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a wayTed Kremenek
2009-09-09Remove tabs, and whitespace cleanups.Mike Stump
2009-08-28Use SymbolicRegion instead of CodeTextRegion for symbolic functionTed Kremenek
2009-08-01This is a fairly large patch, which resulted from a cascade of changesTed Kremenek
2009-07-21Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCastTed Kremenek
2009-07-18Return CodeTextRegions for BlockPointerTypes in addition to FunctionPointerTy...Ted Kremenek
2009-07-16Two changes:Ted Kremenek
2009-07-15Introduced the notion of a "derived symbol" using the class SymbolDerived.Ted Kremenek
2009-06-23Move all factory methods from SVal to ValueManager. API cleanup!Zhongxing Xu
2009-06-23Split ValueManager method definitions into its own source file.Zhongxing Xu