aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/SimpleConstraintManager.cpp
AgeCommit message (Expand)Author
2009-09-25Fix <rdar://problem/7249327> by allowing silent conversions between signed an...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-06-18Remove GRStateManager& field from SimpleConstraintManager.Ted Kremenek
2009-06-18libAnalysis:Ted Kremenek
2009-04-20Remove loc::FuncVal.Zhongxing Xu
2009-04-10Finally nuke loc::SymbolVal.Zhongxing Xu
2009-03-26analyzer infrastructure: make a bunch of changes to symbolic expressions thatTed Kremenek
2009-03-25This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, forZhongxing Xu
2009-03-23analyzer: Provide temporary workaround for false positive reported byTed Kremenek
2009-03-11SimpleConstraintManager doesn't reason about bitwise-constraints on symbolicTed Kremenek
2009-03-11Added method "canReasonAbout" to ConstraintManager. This method returns true ifTed Kremenek
2009-02-14Patch by Ben Laurie:Ted Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-05-02 12:56:11 +0000