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;
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
