[cfe-commits] r76798 - /cfe/trunk/include/clang/Analysis/PathSensitive/ConstraintManager.h

[Ted Kremenek]

Author: kremenek
Date: Wed Jul 22 16:51:00 2009
New Revision: 76798

URL: http://llvm.org/viewvc/llvm-project?rev=76798&view=rev
Log:
Add AssumeDual method.

Modified:
    cfe/trunk/include/clang/Analysis/PathSensitive/ConstraintManager.h

Modified: cfe/trunk/include/clang/Analysis/PathSensitive/ConstraintManager.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Analysis/PathSensitive/ConstraintManager.h?rev=76798&r1=76797&r2=76798&view=diff

==============================================================================
--- cfe/trunk/include/clang/Analysis/PathSensitive/ConstraintManager.h (original)
+++ cfe/trunk/include/clang/Analysis/PathSensitive/ConstraintManager.h Wed Jul 22 16:51:00 2009
@@ -35,6 +35,12 @@
 
   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;