cprover
|
C++ Language Type Conversion. More...
#include "cpp_convert_type.h"
#include <cassert>
#include <util/arith_tools.h>
#include <util/c_types.h>
#include <util/config.h>
#include <util/invariant.h>
#include <util/std_types.h>
#include <ansi-c/gcc_types.h>
#include "cpp_declaration.h"
#include "cpp_name.h"
Go to the source code of this file.
Classes | |
class | cpp_convert_typet |
Functions | |
void | cpp_convert_plain_type (typet &type) |
void | cpp_convert_auto (typet &dest, const typet &src) |
C++ Language Type Conversion.
Definition in file cpp_convert_type.cpp.
Definition at line 599 of file cpp_convert_type.cpp.
References cpp_convert_auto(), typet::has_subtype(), irept::id(), cpp_convert_typet::other, typet::subtype(), and cpp_convert_typet::write().
Referenced by cpp_typecheckt::convert_initializer(), and cpp_convert_auto().
void cpp_convert_plain_type | ( | typet & | type | ) |
Definition at line 569 of file cpp_convert_type.cpp.
References configt::ansi_c, config, irept::id(), configt::ansi_ct::int_width, irept::set(), and cpp_convert_typet::write().
Referenced by cpp_typecheck_resolvet::guess_function_template_args(), cpp_convert_typet::read_function_type(), cpp_convert_typet::read_rec(), cpp_convert_typet::read_template(), cpp_typecheckt::typecheck_function_template(), and cpp_typecheckt::typecheck_type().