From: Ted Kremenek <kremenek@apple.com>
Date: Wed, 22 Jul 2009 21:51:00 +0000 (+0000)
Subject: Add AssumeDual method.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=67afec15ddbea77d9560165282542cbe1b413d01;p=clang

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 689bebb450..4b17f57c91 100644
--- 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;