From 1231f8ccab16708e97375ab7e2f6c85dc059f434 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Mon, 11 Mar 2019 15:29:55 +0000 Subject: Added --const-array-opt to building&printing expression category --- lib/Expr/Expr.cpp | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) (limited to 'lib/Expr') diff --git a/lib/Expr/Expr.cpp b/lib/Expr/Expr.cpp index e6385136..93b6c213 100644 --- a/lib/Expr/Expr.cpp +++ b/lib/Expr/Expr.cpp @@ -13,6 +13,7 @@ // FIXME: We shouldn't need this once fast constant support moves into // Core. If we need to do arithmetic, we probably want to use APInt. #include "klee/Internal/Support/IntEvaluation.h" +#include "klee/OptionCategories.h" #include "klee/util/ExprPPrinter.h" #include "llvm/ADT/Hashing.h" @@ -31,10 +32,11 @@ llvm::cl::OptionCategory } namespace { - cl::opt - ConstArrayOpt("const-array-opt", - cl::init(false), - cl::desc("Enable various optimizations involving all-constant arrays.")); +cl::opt ConstArrayOpt( + "const-array-opt", cl::init(false), + cl::desc( + "Enable an optimization involving all-constant arrays (default=false)"), + cl::cat(klee::ExprCat)); } /***/ -- cgit 1.4.1