From c77b0052785a7ead9cb80a37a53de2229e2f0726 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Tue, 25 Jul 2017 10:02:59 +0100 Subject: This commit simply moves evalConstant to ExecutorUtil (where evalConstantExpr also resides), as suggested by an old comment. --- lib/Core/Executor.h | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'lib/Core/Executor.h') diff --git a/lib/Core/Executor.h b/lib/Core/Executor.h index b8411a20..c9d715ad 100644 --- a/lib/Core/Executor.h +++ b/lib/Core/Executor.h @@ -351,6 +351,8 @@ private: ref evalConstantExpr(const llvm::ConstantExpr *ce); + ref evalConstant(const llvm::Constant *c); + /// Return a unique constant value for the given expression in the /// given state, if it has one (i.e. it provably only has a single /// value). Otherwise return the original expression. @@ -440,9 +442,6 @@ public: return *interpreterHandler; } - // XXX should just be moved out to utility module - ref evalConstant(const llvm::Constant *c); - virtual void setPathWriter(TreeStreamWriter *tsw) { pathWriter = tsw; } -- cgit 1.4.1