Start removing uses of Expr::isConstant.

 - These should use cast<>, isa<>, or dyn_cast<> as appropriate (or better yet,
   changed to use ref<ConstantExpr> when the type is known).


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

1 files changed, 4 insertions, 2 deletions

diff --git a/lib/Core/ImpliedValue.h b/lib/Core/ImpliedValue.h
index 51ec6e9b..cbc55dc5 100644
--- a/lib/Core/ImpliedValue.h
+++ b/lib/Core/ImpliedValue.h
@@ -29,8 +29,10 @@ namespace klee {
   typedef std::vector< std::pair<ref<ReadExpr>, ref<Expr> > > ImpliedValueList;
   
   namespace ImpliedValue {        
-    void getImpliedValues(ref<Expr> e, ref<Expr> cvalue, ImpliedValueList &result);
-    void checkForImpliedValues(Solver *S, ref<Expr> e, ref<Expr> cvalue);    
+    void getImpliedValues(ref<Expr> e, ref<ConstantExpr> cvalue, 
+                          ImpliedValueList &result);
+    void checkForImpliedValues(Solver *S, ref<Expr> e, 
+                               ref<ConstantExpr> cvalue);    
   }
 
 }