Use a builder in the SMT parser instead of constructing expressions

directly.



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

1 files changed, 6 insertions, 2 deletions

diff --git a/lib/SMT/SMTParser.h b/lib/SMT/SMTParser.h
index 3d64a9b2..798e70b3 100644
--- a/lib/SMT/SMTParser.h
+++ b/lib/SMT/SMTParser.h
@@ -20,12 +20,14 @@
 #include <string>
 
 namespace klee {
+  class ExprBuilder;
+  
 namespace expr {
 
 class SMTParser : public klee::expr::Parser {
   private:
     void *buf;
-
+    
  public:
   /* For interacting w/ the actual parser, should make this nicer */
   static SMTParser* parserTemp;
@@ -40,8 +42,10 @@ class SMTParser : public klee::expr::Parser {
 
   int bvSize;
   bool queryParsed;
+
+  klee::ExprBuilder *builder;
     
-  SMTParser(const std::string filename);
+  SMTParser(const std::string filename, ExprBuilder *builder);
   
   virtual klee::expr::Decl *ParseTopLevelDecl();