Add AssumeDual method.

llvm-svn: 76798
2009-07-22 21:51:00 +00:00 · 2009-07-22 21:51:00 +00:00 · 5b9b066aeb
parent 915c351496
commit 5b9b066aeb
1 changed files with 6 additions and 0 deletions
--- a/clang/include/clang/Analysis/PathSensitive/ConstraintManager.h
+++ b/clang/include/clang/Analysis/PathSensitive/ConstraintManager.h
@ -35,6 +35,12 @@ public:

  virtual const GRState *AssumeInBound(const GRState *state, SVal Idx, 
                                       SVal UpperBound, bool Assumption) = 0;
+  
+  std::pair<const GRState*, const GRState*> AssumeDual(const GRState *state,
+                                                       SVal Cond) {
+    return std::make_pair(Assume(state, Cond, true),
+                          Assume(state, Cond, false));    
+  }

  virtual const llvm::APSInt* getSymVal(const GRState *state,
                                        SymbolRef sym) const = 0;