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"

Include dependency graph for linker_script_merge.h:

This graph shows which files directly or indirectly include 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...

Detailed Description

Merge linker script-defined symbols into a goto-program.

Classes