cprover
|
C++ Language Conversion. More...
#include <util/type.h>
Go to the source code of this file.
Functions | |
void | cpp_convert_plain_type (typet &type) |
C++ Language Conversion.
Definition in file cpp_convert_type.h.
void cpp_convert_plain_type | ( | typet & | type | ) |
Definition at line 547 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().