From 6eafad4650409223d024a4d0da0a993a02d6e9fd Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Fri, 10 Jan 2020 15:43:09 +0000 Subject: Fixed documentation for command line argument link-llvm-lib Currently, arbitrary *.bc files or archives containing .bc files (.bca or .a) can be linked using `--link-llvm-lib`. Change documentation of command line argument to make this clear. This feature is useful to keep avoid linking the bitcode libraries with the application as bitcode file in the first place. Fix error message in case library could not be loaded --- tools/klee/main.cpp | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index 51ce9530..117c27ca 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -185,10 +185,10 @@ namespace { cl::cat(LinkCat)); cl::list - LinkLibraries("link-llvm-lib", - cl::desc("Link the given library before execution. Can be used multiple times."), - cl::value_desc("library file"), - cl::cat(LinkCat)); + LinkLibraries("link-llvm-lib", + cl::desc("Link the given bitcode library before execution, " + "e.g. .bca, .bc, .a. Can be used multiple times."), + cl::value_desc("bitcode library file"), cl::cat(LinkCat)); cl::opt WithPOSIXRuntime("posix-runtime", @@ -1299,8 +1299,8 @@ int main(int argc, char **argv, char **envp) { for (const auto &library : LinkLibraries) { if (!klee::loadFile(library, mainModule->getContext(), loadedModules, errorMsg)) - klee_error("error loading free standing support '%s': %s", - library.c_str(), errorMsg.c_str()); + klee_error("error loading bitcode library '%s': %s", library.c_str(), + errorMsg.c_str()); } // FIXME: Change me to std types. -- cgit 1.4.1