|
cprover
|
LD Mode. More...
#include "ld_mode.h"#include <sysexits.h>#include <algorithm>#include <cstddef>#include <cstdio>#include <cstring>#include <fstream>#include <iostream>#include <iterator>#include <numeric>#include <sstream>#include <json/json_parser.h>#include <util/arith_tools.h>#include <util/c_types.h>#include <util/config.h>#include <util/expr.h>#include <util/get_base_name.h>#include <util/invariant.h>#include <util/prefix.h>#include <util/replace_symbol.h>#include <util/run.h>#include <util/suffix.h>#include <util/tempdir.h>#include <util/tempfile.h>#include <goto-programs/read_goto_binary.h>#include "hybrid_binary.h"#include "linker_script_merge.h"
Include dependency graph for ld_mode.cpp:Go to the source code of this file.
Functions | |
| static std::string | linker_name (const cmdlinet &cmdline, const std::string &base_name) |
LD Mode.
Definition in file ld_mode.cpp.
|
static |
Definition at line 53 of file ld_mode.cpp.