ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
clang_c_convertert Member List

This is the complete list of members for clang_c_convertert, including all inherited members.

add_template_param_object(const clang::TemplateParamObjectDecl &tpo, const std::string &name, const std::string &id)clang_c_convertertprotected
address_taken_labelsclang_c_convertertprotected
annotate_exception_specification(const clang::FunctionDecl &, typet &)clang_c_convertertinlineprotectedvirtual
anon_symbolclang_c_convertertprotected
ASTclang_c_convertertprotected
ASTContextclang_c_convertertprotected
check_alignment_attributes(const clang::FieldDecl *field, struct_typet::componentt &comp)clang_c_convertertprotected
clang_c_convertert(contextt &_context, std::unique_ptr< clang::ASTUnit > &_AST, irep_idt _mode)clang_c_convertert
collect_address_taken_labels(const clang::Stmt &body)clang_c_convertertprotected
contextclang_c_convertertprotected
convert()clang_c_convertert
convert_builtin_types()clang_c_convertertprotected
convert_character_literal(const clang::CharacterLiteral &char_literal, exprt &dest)clang_c_convertertprotected
convert_expression_to_code(exprt &expr)clang_c_convertertprotected
convert_float_literal(const clang::FloatingLiteral &floating_literal, exprt &dest)clang_c_convertertprotected
convert_integer_literal(const clang::IntegerLiteral &integer_literal, exprt &dest)clang_c_convertertprotected
convert_string_literal(const clang::StringLiteral &string_literal, exprt &dest)clang_c_convertertprotected
convert_top_level_decl()clang_c_convertertprotectedvirtual
current_blockclang_c_convertertprotected
current_functionDeclclang_c_convertertprotected
current_scope_var_numclang_c_convertertprotected
gen_typecast_to_union(const namespacet &ns, exprt &dest, const typet &type)clang_c_convertertstatic
get_APValue_expr(const clang::APValue &value, exprt &new_expr, const clang::QualType *type=nullptr)clang_c_convertertprotected
get_array_filler(const clang::InitListExpr &init, exprt &filler)clang_c_convertertprotected
get_atomic_expr(const clang::AtomicExpr &atm, exprt &new_expr)clang_c_convertertprotected
get_base_flattened_inits(const clang::InitListExpr &init, std::vector< exprt > &flat)clang_c_convertertprotected
get_binary_operator_expr(const clang::BinaryOperator &binop, exprt &new_expr)clang_c_convertertprotected
get_bitfield_type(const clang::FieldDecl &, const typet &orig_type, typet &new_type)clang_c_convertertprotected
get_builtin_type(const clang::BuiltinType &bt, typet &new_type)clang_c_convertertprotected
get_cast_expr(const clang::CastExpr &cast, exprt &new_expr)clang_c_convertertprotected
get_compound_assign_expr(const clang::CompoundAssignOperator &compop, exprt &new_expr)clang_c_convertertprotected
get_decl_name(const clang::NamedDecl &nd)clang_c_convertertstatic
get_decl_name(const clang::NamedDecl &vd, std::string &name, std::string &id)clang_c_convertertprotectedvirtual
get_decl_ref(const clang::Decl &decl, exprt &new_expr)clang_c_convertertprotectedvirtual
get_DeclContext_from_Stmt(const clang::Stmt &stmt)clang_c_convertertprotected
get_default_symbol(symbolt &symbol, irep_idt module_name, typet type, irep_idt base_name, irep_idt unique_name, locationt location)clang_c_convertertprotected
get_enum_value(const clang::EnumConstantDecl *e, exprt &new_expr)clang_c_convertertprotected
get_expr(const clang::Stmt &stmt, exprt &new_expr)clang_c_convertertprotectedvirtual
get_filename_from_path(std::string path)clang_c_convertertprotected
get_final_location_from_stmt(const clang::Stmt &stmt, locationt &location)clang_c_convertertprotected
get_function_param(const clang::ParmVarDecl &pd, exprt &param)clang_c_convertertprotected
get_function_params(const clang::FunctionDecl &fd, code_typet::argumentst &params)clang_c_convertertprotectedvirtual
get_location_from_decl(const clang::Decl &decl, locationt &location)clang_c_convertertprotected
get_mangled_id(const clang::NamedDecl &nd, std::string &id)clang_c_convertertprotected
get_member_expr(const clang::MemberExpr &memb, exprt &new_expr)clang_c_convertertprotectedvirtual
get_modulename_from_path(std::string path)clang_c_convertertprotected
get_presumed_location(const clang::SourceLocation &loc, clang::PresumedLoc &PLoc)clang_c_convertertprotected
get_ref_to_struct_type(typet &type)clang_c_convertertprotected
get_start_location_from_stmt(const clang::Stmt &stmt, locationt &location)clang_c_convertertprotected
get_struct_union_class(const clang::RecordDecl &recordd)clang_c_convertertprotectedvirtual
get_struct_union_class_fields(const clang::RecordDecl &recordd, struct_union_typet &type)clang_c_convertertprotectedvirtual
get_struct_union_class_methods_decls(const clang::RecordDecl &recordd, typet &type)clang_c_convertertprotectedvirtual
get_top_FunctionDecl_from_Stmt(const clang::Stmt &stmt)clang_c_convertertprotected
get_type(const clang::QualType &type, typet &new_type)clang_c_convertertprotectedvirtual
get_type(const clang::Type &the_type, typet &new_type)clang_c_convertertprotectedvirtual
get_unary_operator_expr(const clang::UnaryOperator &uniop, exprt &new_expr)clang_c_convertertprotectedvirtual
get_vector_comparison(const clang::BinaryOperator &binop, irep_idt relation, exprt lhs, exprt rhs, const typet &type, exprt &new_expr)clang_c_convertertprotected
get_vft_binding_expr(const clang::MemberExpr &member, exprt &new_expr)clang_c_convertertprotectedvirtual
get_vla_size(const clang::Expr &size, exprt &new_expr)clang_c_convertertprotected
is_aggregate_type(const clang::QualType &q_type)clang_c_convertertprotectedvirtual
is_fd_virtual_or_overriding(const clang::FunctionDecl &fd)clang_c_convertertprotectedvirtual
is_field_global_storage(const clang::FieldDecl *field)clang_c_convertertprotected
is_member_decl_static(const clang::MemberExpr &member)clang_c_convertertprotected
is_unlowered_math_builtin(const std::string &name) constclang_c_convertertprotected
last_locclang_c_convertertprotected
last_loc_columnclang_c_convertertprotected
last_loc_filenameclang_c_convertertprotected
last_loc_functionclang_c_convertertprotected
last_loc_lineclang_c_convertertprotected
last_loc_validclang_c_convertertprotected
modeclang_c_convertertprotected
name_param_and_continue(const clang::ParmVarDecl &pd, std::string &id, std::string &name, exprt &param)clang_c_convertertprotectedvirtual
nsclang_c_convertertprotected
perform_virtual_dispatch(const clang::MemberExpr &member)clang_c_convertertprotectedvirtual
process_aligned_attribute(const clang::AlignedAttr &aattr, typet &t) constclang_c_convertertprotected
process_record_layout_attributes(const clang::RecordDecl &rd, typet &t) constclang_c_convertertprotected
report_unsupported_init_list(const clang::InitListExpr &init_stmt)clang_c_convertertprotected
rewrite_builtin_ref(const clang::Decl &d, std::string &name, std::string &id) constclang_c_convertertprotected
set_location(clang::PresumedLoc &PLoc, std::string &function_name, locationt &location)clang_c_convertertprotected
size_flexible_array_member(const clang::ValueDecl &vd, typet &t)clang_c_convertertprotected
smclang_c_convertertprotected
snapshot_vla_sizes(const clang::Decl &decl, codet &dest)clang_c_convertertprotected
tag_prefixclang_c_convertertprotected
vla_size_snapshotsclang_c_convertertprotected
wrap_bitfield_type_if_needed(const clang::FieldDecl &fd, typet &t)clang_c_convertertprotected
~clang_c_convertert()=defaultclang_c_convertertvirtual