From 08e5f32e11923cdaa46f68c8cc5de1ff9e5036d0 Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Sun, 7 Jun 2009 17:48:17 +0000 Subject: Make sure that ExprEvaluator will fold constant expressions (klee never creates these, but the parser can). git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73033 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/klee/util/ExprEvaluator.h | 1 + 1 file changed, 1 insertion(+) (limited to 'include') diff --git a/include/klee/util/ExprEvaluator.h b/include/klee/util/ExprEvaluator.h index be98942d..739e51e6 100644 --- a/include/klee/util/ExprEvaluator.h +++ b/include/klee/util/ExprEvaluator.h @@ -18,6 +18,7 @@ namespace klee { protected: Action evalRead(const UpdateList &ul, unsigned index); Action visitRead(const ReadExpr &re); + Action visitExpr(const Expr &e); Action protectedDivOperation(const BinaryExpr &e); Action visitUDiv(const UDivExpr &e); -- cgit 1.4.1