cprover
|
Go to the source code of this file.
Functions | |
bool | type_eq (const typet &type1, const typet &type2, const namespacet &ns) |
bool type_eq | ( | const typet & | type1, |
const typet & | type2, | ||
const namespacet & | ns | ||
) |
Definition at line 18 of file type_eq.cpp.
References irept::id(), id2string(), symbolt::is_type, namespacet::lookup(), symbolt::name, to_symbol_type(), symbolt::type, and type_eq().
Referenced by string_abstractiont::abstract_function_call(), string_abstractiont::add_dummy_symbol_and_value(), remove_function_pointerst::arg_is_type_compatible(), string_abstractiont::build(), string_abstractiont::build_wrap(), goto_program2codet::cleanup_expr(), create_static_function_call(), remove_function_pointerst::fix_argument_types(), remove_function_pointerst::fix_return_type(), string_abstractiont::is_ptr_string_struct(), remove_function_pointerst::is_type_compatible(), string_abstractiont::make_val_or_dummy_rec(), string_abstractiont::member(), simplify_exprt::simplify_typecast(), type_eq(), and string_abstractiont::value_assignments().