cprover
remove_asmt Class Reference
Collaboration diagram for remove_asmt:
[legend]

Public Member Functions

 remove_asmt (symbol_tablet &_symbol_table, goto_functionst &_goto_functions)
 
void operator() ()
 removes assembler More...
 

Protected Member Functions

void process_instruction (goto_programt::instructiont &instruction, goto_programt &dest)
 removes assembler More...
 
void process_function (goto_functionst::goto_functiont &)
 removes assembler More...
 
void gcc_asm_function_call (const irep_idt &function_base_name, const codet &code, goto_programt &dest)
 

Protected Attributes

symbol_tabletsymbol_table
 
goto_functionstgoto_functions
 

Detailed Description

Definition at line 25 of file remove_asm.cpp.

Constructor & Destructor Documentation

§ remove_asmt()

remove_asmt::remove_asmt ( symbol_tablet _symbol_table,
goto_functionst _goto_functions 
)
inline

Definition at line 28 of file remove_asm.cpp.

References operator()().

Referenced by remove_asm().

Member Function Documentation

§ gcc_asm_function_call()

§ operator()()

void remove_asmt::operator() ( void  )

removes assembler

Definition at line 308 of file remove_asm.cpp.

References Forall_goto_functions, goto_functions, and process_function().

Referenced by remove_asmt().

§ process_function()

void remove_asmt::process_function ( goto_functionst::goto_functiont goto_function)
protected

removes assembler

Definition at line 288 of file remove_asm.cpp.

References Forall_goto_program_instructions, and process_instruction().

Referenced by operator()().

§ process_instruction()

Member Data Documentation

§ goto_functions

goto_functionst& remove_asmt::goto_functions
protected

Definition at line 40 of file remove_asm.cpp.

Referenced by operator()().

§ symbol_table

symbol_tablet& remove_asmt::symbol_table
protected

Definition at line 39 of file remove_asm.cpp.

Referenced by gcc_asm_function_call().


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