diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-07-26 19:13:17 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-07-26 19:13:17 +0100 |
| commit | 57129f1a3131d660c1d41ebafc864daf98192274 (patch) | |
| tree | ac6644d91c014feac5528a3996deb7c05a54b844 /lib/Basic/CmdLineOptions.cpp | |
| parent | ee2f1f37cb113324de04d840d42bbd891e9dfd19 (diff) | |
| download | klee-57129f1a3131d660c1d41ebafc864daf98192274.tar.gz | |
Now that LLVM 2.9 is gone, we can use cl::bits instead of cl::list
Diffstat (limited to 'lib/Basic/CmdLineOptions.cpp')
| -rw-r--r-- | lib/Basic/CmdLineOptions.cpp | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/lib/Basic/CmdLineOptions.cpp b/lib/Basic/CmdLineOptions.cpp index 54087c21..324f349e 100644 --- a/lib/Basic/CmdLineOptions.cpp +++ b/lib/Basic/CmdLineOptions.cpp @@ -65,12 +65,7 @@ CoreSolverOptimizeDivides("solver-optimize-divides", llvm::cl::desc("Optimize constant divides into add/shift/multiplies before passing to core SMT solver (default=off)"), llvm::cl::init(false)); - -/* Using cl::list<> instead of cl::bits<> results in quite a bit of ugliness when it comes to checking - * if an option is set. Unfortunately with gcc4.7 cl::bits<> is broken with LLVM2.9 and I doubt everyone - * wants to patch their copy of LLVM just for these options. - */ -llvm::cl::list<QueryLoggingSolverType> queryLoggingOptions( +llvm::cl::bits<QueryLoggingSolverType> queryLoggingOptions( "use-query-log", llvm::cl::desc("Log queries to a file. Multiple options can be specified separated by a comma. By default nothing is logged."), llvm::cl::values( |