Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
a92bd303a6aed5cf12de5f76938c112b00cc06e6
/
lib
/
Analysis
/
SimpleConstraintManager.h
5b9bd21
Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way
by Ted Kremenek
· 15 years ago
1eb4433
Remove tabs, and whitespace cleanups.
by Mike Stump
· 15 years ago
f1b8227
Remove GRStateManager& field from SimpleConstraintManager.
by Ted Kremenek
· 15 years ago
a591bc0
libAnalysis:
by Ted Kremenek
· 15 years ago
e0e4ebf
analyzer infrastructure: make a bunch of changes to symbolic expressions that
by Ted Kremenek
· 15 years ago
a129eb9
This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, for
by Zhongxing Xu
· 15 years ago
66b5271
Added method "canReasonAbout" to ConstraintManager. This method returns true if
by Ted Kremenek
· 15 years ago
669c0e1
Remove accidental duplication of content in .h file.
by Ted Kremenek
· 16 years ago
4502195
Patch by Ben Laurie:
by Ted Kremenek
· 16 years ago