cprover
|
Remove 'complex' data type. More...
Go to the source code of this file.
Functions | |
static exprt | complex_member (const exprt &expr, irep_idt id) |
static bool | have_to_remove_complex (const typet &type) |
static bool | have_to_remove_complex (const exprt &expr) |
static void | remove_complex (typet &) |
removes complex data type More... | |
static void | remove_complex (exprt &expr) |
static void | remove_complex (symbolt &symbol) |
removes complex data type More... | |
void | remove_complex (symbol_tablet &symbol_table) |
removes complex data type More... | |
static void | remove_complex (goto_functionst::goto_functiont &goto_function) |
removes complex data type More... | |
static void | remove_complex (goto_functionst &goto_functions) |
removes complex data type More... | |
void | remove_complex (symbol_tablet &symbol_table, goto_functionst &goto_functions) |
removes complex data type More... | |
void | remove_complex (goto_modelt &goto_model) |
removes complex data type More... | |
Remove 'complex' data type.
Definition in file remove_complex.cpp.
Definition at line 18 of file remove_complex.cpp.
References irept::id(), exprt::op0(), exprt::op1(), exprt::operands(), to_struct_type(), and exprt::type().
Referenced by remove_complex().
|
static |
Definition at line 76 of file remove_complex.cpp.
References struct_union_typet::components(), irept::id(), typet::subtype(), and to_struct_union_type().
Referenced by have_to_remove_complex(), and remove_complex().
|
static |
Definition at line 41 of file remove_complex.cpp.
References forall_operands, have_to_remove_complex(), irept::id(), typecast_exprt::op(), to_typecast_expr(), and exprt::type().
|
static |
removes complex data type
Definition at line 234 of file remove_complex.cpp.
References typet::add_source_location(), struct_union_typet::components(), have_to_remove_complex(), irept::id(), typet::source_location(), typet::subtype(), and to_struct_union_type().
Referenced by goto_diff_parse_optionst::process_goto_program(), symex_parse_optionst::process_goto_program(), goto_analyzer_parse_optionst::process_goto_program(), cbmc_parse_optionst::process_goto_program(), and remove_complex().
|
static |
Definition at line 102 of file remove_complex.cpp.
References complex_member(), Forall_operands, from_integer(), have_to_remove_complex(), irept::id(), exprt::op0(), exprt::op1(), exprt::operands(), remove_complex(), exprt::source_location(), typet::subtype(), and exprt::type().
|
static |
removes complex data type
Definition at line 276 of file remove_complex.cpp.
References remove_complex(), symbolt::type, and symbolt::value.
void remove_complex | ( | symbol_tablet & | symbol_table | ) |
removes complex data type
Definition at line 283 of file remove_complex.cpp.
References Forall_symbols, remove_complex(), and symbol_tablet::symbols.
|
static |
removes complex data type
Definition at line 290 of file remove_complex.cpp.
References Forall_goto_program_instructions, and remove_complex().
|
static |
removes complex data type
Definition at line 303 of file remove_complex.cpp.
References Forall_goto_functions, and remove_complex().
void remove_complex | ( | symbol_tablet & | symbol_table, |
goto_functionst & | goto_functions | ||
) |
removes complex data type
Definition at line 310 of file remove_complex.cpp.
References remove_complex().
void remove_complex | ( | goto_modelt & | goto_model | ) |
removes complex data type
Definition at line 319 of file remove_complex.cpp.
References goto_modelt::goto_functions, remove_complex(), and goto_modelt::symbol_table.