summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/SimpleConstraintManager.h
Commit message (Collapse)AuthorAgeFilesLines
* Remove GRStateManager& field from SimpleConstraintManager.Ted Kremenek2009-06-181-19/+7
| | | | llvm-svn: 73735
* libAnalysis:Ted Kremenek2009-06-181-35/+43
| | | | | | | | | - Remove the 'isFeasible' flag from all uses of 'Assume'. - Remove the 'Assume' methods from GRStateManager. Now the only way to create a new GRState with an assumption is to use the new 'assume' methods in GRState. llvm-svn: 73731
* analyzer infrastructure: make a bunch of changes to symbolic expressions thatTed Kremenek2009-03-261-1/+1
| | | | | | | | | | | | | | | | Zhongxing and I discussed by email. Main changes: - Removed SymIntConstraintVal and SymIntConstraint - Added SymExpr as a parent class to SymbolData, SymSymExpr, SymIntExpr - Added nonloc::SymExprVal to wrap SymExpr - SymbolRef is now just a typedef of 'const SymbolData*' - Bunch of minor code cleanups in how some methods were invoked (no functionality change) This changes are part of a long-term plan to have full symbolic expression trees. This will be useful for lazily evaluating complicated expressions. llvm-svn: 67731
* This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, forZhongxing Xu2009-03-251-0/+1
| | | | | | | | representing symbolic expressions like 'x'+3 and 'x'+'y'. The design is subjected to change later when we fix the class hierarchy of symbolic expressions. llvm-svn: 67678
* Added method "canReasonAbout" to ConstraintManager. This method returns true ifTed Kremenek2009-03-111-0/+3
| | | | | | a ConstraintManager can usefully reason about the given SVal. llvm-svn: 66624
* Remove accidental duplication of content in .h file.Ted Kremenek2009-02-151-81/+1
| | | | llvm-svn: 64596
* Patch by Ben Laurie:Ted Kremenek2009-02-141-0/+160
ConstraintManager: - constify getSymVal() BasicConstraintManager: - Pull out logic that would be common to ConstraintManagers of a similar nature and put them in a parent class called 'SimpleConstraintManager'. RangeConstraintManager: - Added a new prototype ConstraintManager to track ranges of variables! This ConstraintManager keeps tracks of ranges of concrete integers that a symbolic integer may have. AnalysisConsumer: - Add driver option to use RangeConstraintManager with GRExprEngine-based analyses. llvm-svn: 64558
OpenPOWER on IntegriCloud