cprover
|
Merge linker script-defined symbols into a goto-program. More...
#include <functional>
#include <util/cout_message.h>
#include <util/json.h>
#include "compile.h"
#include "gcc_cmdline.h"
Go to the source code of this file.
Classes | |
class | replacement_predicatet |
Patterns of expressions that should be replaced. More... | |
class | linker_script_merget |
Synthesise definitions of symbols that are defined in linker scripts. More... | |
Merge linker script-defined symbols into a goto-program.
Definition in file linker_script_merge.h.