summaryrefslogtreecommitdiffstats
path: root/lib/Analysis/SimpleConstraintManager.cpp
Commit message (Expand)AuthorAgeFilesLines
* Remove GRStateManager& field from SimpleConstraintManager.Ted Kremenek2009-06-181-1/+1
* libAnalysis:Ted Kremenek2009-06-181-97/+86
* Remove loc::FuncVal.Zhongxing Xu2009-04-201-1/+0
* Finally nuke loc::SymbolVal.Zhongxing Xu2009-04-101-11/+8
* analyzer infrastructure: make a bunch of changes to symbolic expressions thatTed Kremenek2009-03-261-37/+57
* This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, forZhongxing Xu2009-03-251-22/+11
* analyzer: Provide temporary workaround for false positive reported byTed Kremenek2009-03-231-0/+11
* SimpleConstraintManager doesn't reason about bitwise-constraints on symbolicTed Kremenek2009-03-111-0/+13
* Added method "canReasonAbout" to ConstraintManager. This method returns true ifTed Kremenek2009-03-111-0/+4
* Patch by Ben Laurie:Ted Kremenek2009-02-141-0/+230