Add AssumeDual method.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76798 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/include/clang/Analysis/PathSensitive/ConstraintManager.h b/include/clang/Analysis/PathSensitive/ConstraintManager.h
index 689bebb450f44bc5991b06ef220db62bb3575ff5..4b17f57c91b1ee263aaf7927b0a212612e71a616 100644 (file)
--- a/include/clang/Analysis/PathSensitive/ConstraintManager.h
+++ b/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;