cprover
std_types.cpp File Reference
#include "std_types.h"
#include "string2int.h"
#include "arith_tools.h"
#include "std_expr.h"
Include dependency graph for std_types.cpp:

Go to the source code of this file.

Functions

bool is_reference (const typet &type)
 TO_BE_DOCUMENTED. More...
 
bool is_rvalue_reference (const typet &type)
 TO_BE_DOCUMENTED. More...
 

Function Documentation

◆ is_reference()

bool is_reference ( const typet type)

TO_BE_DOCUMENTED.

Definition at line 105 of file std_types.cpp.

References irept::get_bool(), and irept::id().

Referenced by cpp_typecheckt::add_implicit_dereference(), cpp_typecheckt::cast_away_constness(), cpp_typecheckt::const_typecast(), cpp_typecheckt::convert_initializer(), cpp_declarator_convertert::convert_new_symbol(), cpp_typecheckt::convert_parameter(), expr2cppt::convert_rec(), cpp_typecheckt::cpp_constructor(), cpp_typecheckt::cpp_destructor(), cpp_typecheckt::cpp_is_pod(), cpp_type2name(), cpp_typecheck_resolvet::disambiguate_functions(), cpp_typecheckt::dtor(), cpp_typecheckt::dynamic_typecast(), cpp_typecheckt::find_assignop(), cpp_typecheckt::find_cpctor(), cpp_typecheck_resolvet::guess_template_args(), cpp_typecheckt::implicit_conversion_sequence(), irep2name(), cpp_typecheck_fargst::match(), cpp_typecheckt::overloadable(), cpp_typecheckt::reference_binding(), cpp_typecheckt::reference_compatible(), cpp_typecheckt::reference_initializer(), cpp_typecheckt::reference_related(), cpp_typecheckt::reinterpret_typecast(), cpp_typecheckt::standard_conversion_pointer(), cpp_typecheckt::standard_conversion_pointer_to_member(), cpp_typecheckt::standard_conversion_qualification(), cpp_typecheckt::standard_conversion_sequence(), cpp_typecheckt::typecheck_expr_address_of(), cpp_typecheckt::typecheck_function_call_arguments(), cpp_typecheckt::typecheck_member_initializer(), cpp_typecheckt::typecheck_method_application(), cpp_typecheckt::typecheck_side_effect_assignment(), cpp_typecheckt::typecheck_try_catch(), and cpp_typecheckt::user_defined_conversion_sequence().

◆ is_rvalue_reference()

bool is_rvalue_reference ( const typet type)

TO_BE_DOCUMENTED.

Definition at line 111 of file std_types.cpp.

References irept::get_bool(), and irept::id().

Referenced by expr2cppt::convert_rec(), cpp_type2name(), and cpp_typecheck_resolvet::guess_template_args().