ld_modet Class Reference

#include <ld_mode.h>

Inheritance diagram for ld_modet:

Collaboration diagram for ld_modet:

Public Member Functions
int	doit () final
	does it. More...
void	help_mode () final
	display command line help More...
	ld_modet (goto_cc_cmdlinet &_cmdline, const std::string &_base_name)
Public Member Functions inherited from goto_cc_modet
int	main (int argc, const char **argv)
	starts the compiler More...
void	help ()
	display command line help More...
virtual void	usage_error ()
	Prints a message informing the user about incorrect options. More...
	goto_cc_modet (goto_cc_cmdlinet &, const std::string &_base_name, message_handlert &)
	constructor More...
	~goto_cc_modet ()
	constructor More...

Protected Member Functions
int	run_ld ()
	call ld with original command line More...
int	ld_hybrid_binary (bool building_executable, const std::list< std::string > &object_files)
	Build an ELF or Mach-O binary containing a goto-cc section. More...
Protected Member Functions inherited from goto_cc_modet
void	register_languages ()

Protected Attributes
gcc_message_handlert	gcc_message_handler
std::string	native_tool_name
const std::string	goto_binary_tmp_suffix
Protected Attributes inherited from goto_cc_modet
goto_cc_cmdlinet &	cmdline
const std::string	base_name
message_handlert &	message_handler

Detailed Description

Definition at line 22 of file ld_mode.h.

Constructor & Destructor Documentation

ld_modet()

ld_modet::ld_modet	(	goto_cc_cmdlinet &	_cmdline,
		const std::string &	_base_name
	)

Definition at line 56 of file ld_mode.cpp.

Member Function Documentation

doit()

int ld_modet::doit ( )

finalvirtual

does it.

Implements goto_cc_modet.

Definition at line 63 of file ld_mode.cpp.

help_mode()

void ld_modet::help_mode ( )

finalvirtual

display command line help

Implements goto_cc_modet.

Definition at line 280 of file ld_mode.cpp.

ld_hybrid_binary()

int ld_modet::ld_hybrid_binary ( bool  building_executable, const std::list< std::string > &  object_files  )

protected

Build an ELF or Mach-O binary containing a goto-cc section.

Parameters

building_executable	set to true iff the target file is an executable
object_files	object files to be linked

Returns

zero, unless an error occurred

Definition at line 166 of file ld_mode.cpp.

run_ld()

int ld_modet::run_ld ( )

protected

call ld with original command line

Definition at line 144 of file ld_mode.cpp.

Member Data Documentation

gcc_message_handler

gcc_message_handlert ld_modet::gcc_message_handler

protected

Definition at line 33 of file ld_mode.h.

goto_binary_tmp_suffix

const std::string ld_modet::goto_binary_tmp_suffix

protected

Definition at line 37 of file ld_mode.h.

native_tool_name

std::string ld_modet::native_tool_name

protected

Definition at line 35 of file ld_mode.h.

---

The documentation for this class was generated from the following files:

• /home/runner/work/cbmc/cbmc/src/goto-cc/ld_mode.h
• /home/runner/work/cbmc/cbmc/src/goto-cc/ld_mode.cpp