summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/SimpleConstraintManager.cpp
Commit message (Expand)AuthorAgeFilesLines
* Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek2010-01-251-249/+0
* Remove references to 'Checker' and 'GRTransferFuncs' fromTed Kremenek2010-01-051-39/+8
* Let constraint manager inform checkers that some assumption logic has happend.Zhongxing Xu2009-12-311-4/+24
* Fix <rdar://problem/7249327> by allowing silent conversions between signed an...Ted Kremenek2009-09-251-2/+13
* Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a wayTed Kremenek2009-09-111-7/+4
* Remove tabs, and whitespace cleanups.Mike Stump2009-09-091-20/+20
* 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
OpenPOWER on IntegriCloud