diff options
author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-11-03 20:17:04 +0000 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-11-04 15:14:47 +0000 |
commit | a4250b231c8527c669c0395db69bd83cf71e9065 (patch) | |
tree | 6793d01b97d76c04bdc10937e29bf2205d935aca /tools | |
parent | 2f9e24de97ec54ed84180c15a5b6c7654321e354 (diff) | |
download | klee-a4250b231c8527c669c0395db69bd83cf71e9065.tar.gz |
Rename FreeStanding to Freestanding where appropriate
Diffstat (limited to 'tools')
-rw-r--r-- | tools/klee/main.cpp | 37 |
1 files changed, 16 insertions, 21 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index 589cc9a2..d1f588bc 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -165,23 +165,18 @@ namespace { cl::OptionCategory LinkCat("Linking options", "These options control the libraries being linked."); - enum class LibcType { FreeStandingLibc, KleeLibc, UcLibc }; - - cl::opt<LibcType> - Libc("libc", - cl::desc("Choose libc version (none by default)."), - cl::values( - clEnumValN(LibcType::FreeStandingLibc, - "none", - "Don't link in a libc (only provide freestanding environment)"), - clEnumValN(LibcType::KleeLibc, - "klee", - "Link in KLEE's libc"), - clEnumValN(LibcType::UcLibc, "uclibc", - "Link in uclibc (adapted for KLEE)") - KLEE_LLVM_CL_VAL_END), - cl::init(LibcType::FreeStandingLibc), - cl::cat(LinkCat)); + enum class LibcType { FreestandingLibc, KleeLibc, UcLibc }; + + cl::opt<LibcType> Libc( + "libc", cl::desc("Choose libc version (none by default)."), + cl::values( + clEnumValN( + LibcType::FreestandingLibc, "none", + "Don't link in a libc (only provide freestanding environment)"), + clEnumValN(LibcType::KleeLibc, "klee", "Link in KLEE's libc"), + clEnumValN(LibcType::UcLibc, "uclibc", + "Link in uclibc (adapted for KLEE)") KLEE_LLVM_CL_VAL_END), + cl::init(LibcType::FreestandingLibc), cl::cat(LinkCat)); cl::list<std::string> LinkLibraries("link-llvm-lib", @@ -906,7 +901,7 @@ void externalsAndGlobalsCheck(const llvm::Module *m) { dontCare.insert(dontCareUclibc, dontCareUclibc+NELEMS(dontCareUclibc)); break; - case LibcType::FreeStandingLibc: /* silence compiler warning */ + case LibcType::FreestandingLibc: /* silence compiler warning */ break; } @@ -1312,13 +1307,13 @@ int main(int argc, char **argv, char **envp) { errorMsg.c_str()); } /* Falls through. */ - case LibcType::FreeStandingLibc: { + case LibcType::FreestandingLibc: { SmallString<128> Path(Opts.LibraryDir); llvm::sys::path::append(Path, - "libkleeRuntimeFreeStanding" + opt_suffix + ".bca"); + "libkleeRuntimeFreestanding" + opt_suffix + ".bca"); if (!klee::loadFile(Path.c_str(), mainModule->getContext(), loadedModules, errorMsg)) - klee_error("error loading free standing support '%s': %s", Path.c_str(), + klee_error("error loading freestanding support '%s': %s", Path.c_str(), errorMsg.c_str()); break; } |