maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
55,901 Commits 23 Branches 0 Tags 2.2 GiB
Commit Graph

2 Commits

Author SHA1 Message Date
Ted Kremenek 4e34f958f4 Added method "canReasonAbout" to ConstraintManager. This method returns true if 
a ConstraintManager can usefully reason about the given SVal.

llvm-svn: 66624
 2009-03-11 02:22:59 +00:00
Ted Kremenek 7efe43db99 Patch by Ben Laurie: 
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
 2009-02-14 17:08:39 +00:00