linker_script_merge.h File Reference

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

#include <util/message.h>
#include <functional>
#include <list>
#include <map>

Include dependency graph for linker_script_merge.h:

This graph shows which files directly or indirectly include this file:

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...

Detailed Description

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

Author

Kareem Khazem karkh.nosp@m.az@k.nosp@m.arkha.nosp@m.z.co.nosp@m.m

Definition in file linker_script_merge.h.