#include <gcc_mode.h>

Inheritance diagram for gcc_modet:

Collaboration diagram for gcc_modet:

Public Member Functions
int	doit () final
	does it. More...

void	help_mode () final
	display command line help More...

	gcc_modet (goto_cc_cmdlinet &_cmdline, const std::string &_base_name, bool _produce_hybrid_binary)

Public Member Functions inherited from goto_cc_modet
virtual int	main (int argc, const char **argv)
	starts the compiler More...

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

Public Member Functions inherited from messaget
virtual void	set_message_handler (message_handlert &_message_handler)

message_handlert &	get_message_handler ()

	messaget ()

	messaget (const messaget &other)

messaget &	operator= (const messaget &other)

	messaget (message_handlert &_message_handler)

virtual	~messaget ()

mstreamt &	get_mstream (unsigned message_level) const

mstreamt &	error () const

mstreamt &	warning () const

mstreamt &	result () const

mstreamt &	status () const

mstreamt &	statistics () const

mstreamt &	progress () const

mstreamt &	debug () const

void	conditional_output (mstreamt &mstream, const std::function< void(mstreamt &)> &output_generator) const
	Generate output to `message_stream` using `output_generator` if the configured verbosity is at least as high as that of `message_stream`. More...

Protected Member Functions
int	preprocess (const std::string &language, const std::string &src, const std::string &dest, bool act_as_bcc)
	call gcc for preprocessing More...

int	run_gcc (const compilet &compiler)
	call gcc with original command line More...

int	gcc_hybrid_binary (compilet &compiler)

int	asm_output (bool act_as_bcc, const std::list< std::string > &preprocessed_source_files, const compilet &compiler)

Protected Member Functions inherited from goto_cc_modet
void	register_languages ()

Static Protected Member Functions
static bool	needs_preprocessing (const std::string &)

Protected Attributes
gcc_message_handlert	gcc_message_handler

const bool	produce_hybrid_binary

std::string	native_tool_name

const std::string	goto_binary_tmp_suffix

const std::map< std::string, std::set< std::string > >	arch_map
	Associate CBMC architectures with processor names. More...

gcc_versiont	gcc_version

Protected Attributes inherited from goto_cc_modet
goto_cc_cmdlinet &	cmdline

const std::string	base_name

Protected Attributes inherited from messaget
message_handlert *	message_handler

mstreamt	mstream

Additional Inherited Members
Public Types inherited from messaget
enum	message_levelt { M_ERROR =1, M_WARNING =2, M_RESULT =4, M_STATUS =6, M_STATISTICS =8, M_PROGRESS =9, M_DEBUG =10 }

Static Public Member Functions inherited from messaget
static unsigned	eval_verbosity (const std::string &user_input, const message_levelt default_verbosity, message_handlert &dest)
	Parse a (user-)provided string as a verbosity level and set it as the verbosity of dest. More...

static commandt	command (unsigned c)
	Create an ECMA-48 SGR (Select Graphic Rendition) command. More...

Static Public Attributes inherited from messaget
static eomt	eom

static const commandt	reset
	return to default formatting, as defined by the terminal More...

static const commandt	red
	render text with red foreground color More...

static const commandt	green
	render text with green foreground color More...

static const commandt	yellow
	render text with yellow foreground color More...

static const commandt	blue
	render text with blue foreground color More...

static const commandt	magenta
	render text with magenta foreground color More...

static const commandt	cyan
	render text with cyan foreground color More...

static const commandt	bright_red
	render text with bright red foreground color More...

static const commandt	bright_green
	render text with bright green foreground color More...

static const commandt	bright_yellow
	render text with bright yellow foreground color More...

static const commandt	bright_blue
	render text with bright blue foreground color More...

static const commandt	bright_magenta
	render text with bright magenta foreground color More...

static const commandt	bright_cyan
	render text with bright cyan foreground color More...

static const commandt	bold
	render text with bold font More...

static const commandt	faint
	render text with faint font More...

static const commandt	italic
	render italic text More...

static const commandt	underline
	render underlined text More...

Detailed Description

Definition at line 25 of file gcc_mode.h.

Constructor & Destructor Documentation

◆ gcc_modet()

gcc_modet::gcc_modet	(	goto_cc_cmdlinet &	_cmdline,
		const std::string &	_base_name,
		bool	_produce_hybrid_binary
	)

Definition at line 106 of file gcc_mode.cpp.

Member Function Documentation

◆ asm_output()

int gcc_modet::asm_output	(	bool	act_as_bcc,
		const std::list< std::string > &	preprocessed_source_files,
		const compilet &	compiler
	)

protected

Definition at line 991 of file gcc_mode.cpp.

◆ doit()

int gcc_modet::doit ( )

finalvirtual

does it.

Implements goto_cc_modet.

Definition at line 320 of file gcc_mode.cpp.

◆ gcc_hybrid_binary()

int gcc_modet::gcc_hybrid_binary ( compilet & compiler )

protected

Definition at line 884 of file gcc_mode.cpp.

◆ help_mode()

void gcc_modet::help_mode ( )

finalvirtual

display command line help

Implements goto_cc_modet.

Definition at line 1077 of file gcc_mode.cpp.

◆ needs_preprocessing()

bool gcc_modet::needs_preprocessing ( const std::string & file )

staticprotected

Definition at line 305 of file gcc_mode.cpp.

◆ preprocess()

int gcc_modet::preprocess	(	const std::string &	language,
		const std::string &	src,
		const std::string &	dest,
		bool	act_as_bcc
	)

protected

call gcc for preprocessing

Definition at line 763 of file gcc_mode.cpp.

◆ run_gcc()

int gcc_modet::run_gcc ( const compilet & compiler )

protected

call gcc with original command line

Definition at line 841 of file gcc_mode.cpp.

Member Data Documentation

◆ arch_map

const std::map<std::string, std::set<std::string> > gcc_modet::arch_map

protected

Associate CBMC architectures with processor names.

Definition at line 46 of file gcc_mode.h.

◆ gcc_message_handler

gcc_message_handlert gcc_modet::gcc_message_handler

protected

Definition at line 37 of file gcc_mode.h.

◆ gcc_version

gcc_versiont gcc_modet::gcc_version

protected

Definition at line 66 of file gcc_mode.h.

◆ goto_binary_tmp_suffix

const std::string gcc_modet::goto_binary_tmp_suffix

protected

Definition at line 43 of file gcc_mode.h.

◆ native_tool_name

std::string gcc_modet::native_tool_name

protected

Definition at line 41 of file gcc_mode.h.

◆ produce_hybrid_binary

const bool gcc_modet::produce_hybrid_binary

protected

Definition at line 39 of file gcc_mode.h.

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

goto-cc/gcc_mode.h
goto-cc/gcc_mode.cpp

Public Member Functions

Protected Member Functions

Static Protected Member Functions

Protected Attributes

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ gcc_modet()

Member Function Documentation

◆ asm_output()

◆ doit()

◆ gcc_hybrid_binary()

◆ help_mode()

◆ needs_preprocessing()

◆ preprocess()

◆ run_gcc()

Member Data Documentation

◆ arch_map

◆ gcc_message_handler

◆ gcc_version

◆ goto_binary_tmp_suffix

◆ native_tool_name

◆ produce_hybrid_binary