27 is_template_parameter(false),
29 linkage_spec(_cpp_typecheck.current_linkage_spec),
36 const typet &declaration_type,
43 if(declaration_type.
id()==
"cpp-cast-operator")
53 assert(declarator.
id()==ID_cpp_declarator);
105 typet &method_qualifier=
145 return friend_symbol;
147 else if(!maybe_symbol)
152 <<
"member '" <<
base_name <<
"' not found in scope '"
175 if(symbol_expr.
id() != ID_type)
187 if(declarator.
find(ID_member_initializers).
is_nil())
188 declarator.
set(ID_member_initializers, ID_member_initializers);
220 const auto maybe_symbol=
229 if(declarator.
get_bool(ID_C_template_case))
238 if(symbol.
type.
id()==
"cpp-template-type")
257 const typet &decl_type,
260 if(symbol.
type.
id()==decl_type.
id() &&
261 decl_type.
id()==ID_code)
274 for(std::size_t i=0; i<decl_code_type.
parameters().size(); i++)
282 if(decl_parameter.
type()!=symbol_parameter.
type())
285 if(i != 0 || !symbol_code_type.
get_bool(ID_C_is_virtual))
289 <<
"symbol '" << symbol.
display_name() <<
"': parameter "
290 << (i + 1) <<
" type mismatch\n"
314 else if(symbol.
type==decl_type)
316 else if(symbol.
type.
id()==ID_array &&
318 decl_type.
id()==ID_array &&
321 symbol.
type = decl_type;
327 <<
"' already declared with different type:\n"
350 if(symbol.
type.
id() == ID_code)
416 symbol_tablet::symbolst::const_iterator
420 c_it->second.type.id()==ID_code &&
475 parameter.set_identifier(
irep_idt());
483 symbol.
value.
id() == ID_constant);
513 <<
"cpp_typecheckt::convert_declarator: symbol_table.move() failed"
523 for(
const auto &id_ptr : id_set)
529 if(!
id.is_class() && !
id.is_enum())
576 for(
auto it = parameters.begin(); it != parameters.end(); ++it)
578 const typet ¶meter_type = ((
exprt &)*it).type();
580 if(it!=parameters.begin())
602 if(symbol.
name==ID_main)
604 if(symbol.
type.
id()!=ID_code)
611 const typet &return_type=
619 throw "main must return int";
signedbv_typet signed_int_type()
symbol_tablet & symbol_table
void set_base_name(const irep_idt &name)
const irep_idt & get_base_name() const
void set_identifier(const irep_idt &identifier)
const typet & return_type() const
void set_inlined(bool value)
const parameterst & parameters() const
void handle_initializer(symbolt &symbol, cpp_declaratort &declarator)
symbolt & convert_new_symbol(const cpp_storage_spect &storage_spec, const cpp_member_spect &member_spec, cpp_declaratort &declarator)
bool is_code_type(const typet &type) const
irep_idt get_pretty_name()
void operator_overloading_rules(const symbolt &symbol)
cpp_declarator_convertert(class cpp_typecheckt &_cpp_typecheck)
void combine_types(const source_locationt &source_location, const typet &decl_type, symbolt &symbol)
irep_idt final_identifier
void main_function_rules(const symbolt &symbol)
symbolt & convert(const typet &type, const cpp_storage_spect &storage_spec, const cpp_member_spect &member_spec, cpp_declaratort &declarator)
class cpp_typecheckt & cpp_typecheck
void get_final_identifier()
bool is_template_parameter
void enforce_rules(const symbolt &symbol)
irept & member_initializers()
irept & method_qualifier()
typet merge_type(const typet &declaration_type) const
bool get_is_parameter() const
const source_locationt & source_location() const
cpp_scopet & current_scope()
cpp_idt & put_into_scope(const symbolt &symbol, cpp_scopet &scope, bool is_friend=false)
bool is_global_scope() const
id_sett lookup_identifier(const irep_idt &id, cpp_idt::id_classt identifier_class)
id_sett lookup(const irep_idt &base_name_to_lookup, lookup_kindt kind)
bool is_thread_local() const
cpp_scopet & resolve_scope(const cpp_namet &cpp_name, irep_idt &base_name, cpp_template_args_non_tct &template_args)
void typecheck_type(typet &) override
void full_member_initialization(const struct_union_typet &struct_union_type, irept &initializers)
Build the full initialization list of the constructor.
dynamic_initializationst dynamic_initializations
void convert_initializer(symbolt &symbol)
Initialize an object with a value.
void check_fixed_size_array(typet &type)
check that an array has fixed size
void add_method_body(symbolt *_method_symbol)
void check_member_initializers(const struct_typet::basest &bases, const struct_typet::componentst &components, const irept &initializers)
Check a constructor initialization-list.
static bool has_auto(const typet &type)
irep_idt function_identifier(const typet &type)
for function overloading
void add_this_to_method_type(const symbolt &compound_symbol, code_typet &method_type, const typet &method_qualifier)
void move_member_initializers(irept &initializers, const code_typet &type, exprt &value)
std::string to_string(const typet &) override
exprt resolve(const cpp_namet &cpp_name, const cpp_typecheck_resolvet::wantt want, const cpp_typecheck_fargst &fargs, bool fail_with_exception=true)
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Base class for all expressions.
source_locationt & add_source_location()
const source_locationt & source_location() const
typet & type()
Return the type of the expression.
void set(const irep_namet &name, const irep_idt &value)
bool get_bool(const irep_namet &name) const
const irept & find(const irep_namet &name) const
const irep_idt & id() const
const irep_idt & get(const irep_namet &name) const
source_locationt source_location
bool lookup(const irep_idt &name, const symbolt *&symbol) const override
See documentation for namespace_baset::lookup().
Structure type, corresponds to C style structs.
const basest & bases() const
Get the collection of base classes/structs.
const componentst & components() const
const symbolst & symbols
Read-only field, used to look up symbols given their names.
virtual symbolt * get_writeable(const irep_idt &name) override
Find a symbol in the symbol table for read-write access.
virtual bool move(symbolt &symbol, symbolt *&new_symbol) override
Move a symbol into the symbol table.
irep_idt base_name
Base (non-scoped) name.
const irep_idt & display_name() const
Return language specific display name if present.
irep_idt module
Name of module the symbol belongs to.
source_locationt location
Source code location of definition of symbol.
typet type
Type of symbol.
irep_idt name
The unique identifier.
irep_idt pretty_name
Language-specific display name.
exprt value
Initial value of symbol.
irep_idt mode
Language mode.
The type of an expression, extends irept.
const typet & subtype() const
C++ Language Type Checking.
std::string cpp_type2name(const typet &type)
bool cpp_typecheck(cpp_parse_treet &cpp_parse_tree, symbol_tablet &symbol_table, const std::string &module, message_handlert &message_handler)
C++ Language Type Checking.
C++ Language Type Checking.
const std::string & id2string(const irep_idt &d)
bool is_number(const typet &type)
Returns true if the type is a rational, real, integer, natural, complex, unsignedbv,...
bool is_reference(const typet &type)
Returns true if the type is a reference.
#define UNREACHABLE
This should be used to mark dead code.
const struct_typet & to_struct_type(const typet &type)
Cast a typet to a struct_typet.
const code_typet & to_code_type(const typet &type)
Cast a typet to a code_typet.