cprover
|
Remove 'vector' data type. More...
Go to the source code of this file.
Functions | |
static bool | have_to_remove_vector (const typet &type) |
static bool | have_to_remove_vector (const exprt &expr) |
static void | remove_vector (typet &) |
removes vector data type More... | |
static void | remove_vector (exprt &expr) |
static void | remove_vector (symbolt &symbol) |
removes vector data type More... | |
static void | remove_vector (symbol_tablet &symbol_table) |
removes vector data type More... | |
void | remove_vector (goto_functionst::goto_functiont &goto_function) |
removes vector data type More... | |
static void | remove_vector (goto_functionst &goto_functions) |
removes vector data type More... | |
void | remove_vector (symbol_tablet &symbol_table, goto_functionst &goto_functions) |
removes vector data type More... | |
void | remove_vector (goto_modelt &goto_model) |
removes vector data type More... | |
Remove 'vector' data type.
Definition in file remove_vector.cpp.
|
static |
Definition at line 45 of file remove_vector.cpp.
References struct_union_typet::components(), irept::id(), remove_vector(), typet::subtype(), and to_struct_union_type().
Referenced by have_to_remove_vector(), and remove_vector().
|
static |
Definition at line 20 of file remove_vector.cpp.
References forall_operands, have_to_remove_vector(), irept::id(), and exprt::type().
|
static |
removes vector data type
Definition at line 146 of file remove_vector.cpp.
References typet::add_source_location(), struct_union_typet::components(), have_to_remove_vector(), irept::id(), vector_typet::size(), typet::source_location(), typet::subtype(), to_struct_union_type(), and to_vector_type().
Referenced by have_to_remove_vector(), 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_vector().
|
static |
Definition at line 72 of file remove_vector.cpp.
References Forall_operands, from_integer(), have_to_remove_vector(), irept::id(), integer2size_t(), exprt::op0(), exprt::op1(), exprt::operands(), remove_vector(), typet::subtype(), to_array_type(), to_integer(), and exprt::type().
|
static |
removes vector data type
Definition at line 184 of file remove_vector.cpp.
References remove_vector(), symbolt::type, and symbolt::value.
|
static |
removes vector data type
Definition at line 191 of file remove_vector.cpp.
References Forall_symbols, remove_vector(), and symbol_tablet::symbols.
void remove_vector | ( | goto_functionst::goto_functiont & | goto_function | ) |
removes vector data type
Definition at line 198 of file remove_vector.cpp.
References Forall_goto_program_instructions, and remove_vector().
|
static |
removes vector data type
Definition at line 210 of file remove_vector.cpp.
References Forall_goto_functions, and remove_vector().
void remove_vector | ( | symbol_tablet & | symbol_table, |
goto_functionst & | goto_functions | ||
) |
removes vector data type
Definition at line 217 of file remove_vector.cpp.
References remove_vector().
void remove_vector | ( | goto_modelt & | goto_model | ) |
removes vector data type
Definition at line 226 of file remove_vector.cpp.
References goto_modelt::goto_functions, remove_vector(), and goto_modelt::symbol_table.