|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
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_convertert | protected |
| address_taken_labels | clang_c_convertert | protected |
| annotate_exception_specification(const clang::FunctionDecl &, typet &) | clang_c_convertert | inlineprotectedvirtual |
| anon_symbol | clang_c_convertert | protected |
| AST | clang_c_convertert | protected |
| ASTContext | clang_c_convertert | protected |
| check_alignment_attributes(const clang::FieldDecl *field, struct_typet::componentt &comp) | clang_c_convertert | protected |
| 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_convertert | protected |
| context | clang_c_convertert | protected |
| convert() | clang_c_convertert | |
| convert_builtin_types() | clang_c_convertert | protected |
| convert_character_literal(const clang::CharacterLiteral &char_literal, exprt &dest) | clang_c_convertert | protected |
| convert_expression_to_code(exprt &expr) | clang_c_convertert | protected |
| convert_float_literal(const clang::FloatingLiteral &floating_literal, exprt &dest) | clang_c_convertert | protected |
| convert_integer_literal(const clang::IntegerLiteral &integer_literal, exprt &dest) | clang_c_convertert | protected |
| convert_string_literal(const clang::StringLiteral &string_literal, exprt &dest) | clang_c_convertert | protected |
| convert_top_level_decl() | clang_c_convertert | protectedvirtual |
| current_block | clang_c_convertert | protected |
| current_functionDecl | clang_c_convertert | protected |
| current_scope_var_num | clang_c_convertert | protected |
| gen_typecast_to_union(const namespacet &ns, exprt &dest, const typet &type) | clang_c_convertert | static |
| get_APValue_expr(const clang::APValue &value, exprt &new_expr, const clang::QualType *type=nullptr) | clang_c_convertert | protected |
| get_array_filler(const clang::InitListExpr &init, exprt &filler) | clang_c_convertert | protected |
| get_atomic_expr(const clang::AtomicExpr &atm, exprt &new_expr) | clang_c_convertert | protected |
| get_base_flattened_inits(const clang::InitListExpr &init, std::vector< exprt > &flat) | clang_c_convertert | protected |
| get_binary_operator_expr(const clang::BinaryOperator &binop, exprt &new_expr) | clang_c_convertert | protected |
| get_bitfield_type(const clang::FieldDecl &, const typet &orig_type, typet &new_type) | clang_c_convertert | protected |
| get_builtin_type(const clang::BuiltinType &bt, typet &new_type) | clang_c_convertert | protected |
| get_cast_expr(const clang::CastExpr &cast, exprt &new_expr) | clang_c_convertert | protected |
| get_compound_assign_expr(const clang::CompoundAssignOperator &compop, exprt &new_expr) | clang_c_convertert | protected |
| get_decl_name(const clang::NamedDecl &nd) | clang_c_convertert | static |
| get_decl_name(const clang::NamedDecl &vd, std::string &name, std::string &id) | clang_c_convertert | protectedvirtual |
| get_decl_ref(const clang::Decl &decl, exprt &new_expr) | clang_c_convertert | protectedvirtual |
| get_DeclContext_from_Stmt(const clang::Stmt &stmt) | clang_c_convertert | protected |
| get_default_symbol(symbolt &symbol, irep_idt module_name, typet type, irep_idt base_name, irep_idt unique_name, locationt location) | clang_c_convertert | protected |
| get_enum_value(const clang::EnumConstantDecl *e, exprt &new_expr) | clang_c_convertert | protected |
| get_expr(const clang::Stmt &stmt, exprt &new_expr) | clang_c_convertert | protectedvirtual |
| get_filename_from_path(std::string path) | clang_c_convertert | protected |
| get_final_location_from_stmt(const clang::Stmt &stmt, locationt &location) | clang_c_convertert | protected |
| get_function_param(const clang::ParmVarDecl &pd, exprt ¶m) | clang_c_convertert | protected |
| get_function_params(const clang::FunctionDecl &fd, code_typet::argumentst ¶ms) | clang_c_convertert | protectedvirtual |
| get_location_from_decl(const clang::Decl &decl, locationt &location) | clang_c_convertert | protected |
| get_mangled_id(const clang::NamedDecl &nd, std::string &id) | clang_c_convertert | protected |
| get_member_expr(const clang::MemberExpr &memb, exprt &new_expr) | clang_c_convertert | protectedvirtual |
| get_modulename_from_path(std::string path) | clang_c_convertert | protected |
| get_presumed_location(const clang::SourceLocation &loc, clang::PresumedLoc &PLoc) | clang_c_convertert | protected |
| get_ref_to_struct_type(typet &type) | clang_c_convertert | protected |
| get_start_location_from_stmt(const clang::Stmt &stmt, locationt &location) | clang_c_convertert | protected |
| get_struct_union_class(const clang::RecordDecl &recordd) | clang_c_convertert | protectedvirtual |
| get_struct_union_class_fields(const clang::RecordDecl &recordd, struct_union_typet &type) | clang_c_convertert | protectedvirtual |
| get_struct_union_class_methods_decls(const clang::RecordDecl &recordd, typet &type) | clang_c_convertert | protectedvirtual |
| get_top_FunctionDecl_from_Stmt(const clang::Stmt &stmt) | clang_c_convertert | protected |
| get_type(const clang::QualType &type, typet &new_type) | clang_c_convertert | protectedvirtual |
| get_type(const clang::Type &the_type, typet &new_type) | clang_c_convertert | protectedvirtual |
| get_unary_operator_expr(const clang::UnaryOperator &uniop, exprt &new_expr) | clang_c_convertert | protectedvirtual |
| get_vector_comparison(const clang::BinaryOperator &binop, irep_idt relation, exprt lhs, exprt rhs, const typet &type, exprt &new_expr) | clang_c_convertert | protected |
| get_vft_binding_expr(const clang::MemberExpr &member, exprt &new_expr) | clang_c_convertert | protectedvirtual |
| get_vla_size(const clang::Expr &size, exprt &new_expr) | clang_c_convertert | protected |
| is_aggregate_type(const clang::QualType &q_type) | clang_c_convertert | protectedvirtual |
| is_fd_virtual_or_overriding(const clang::FunctionDecl &fd) | clang_c_convertert | protectedvirtual |
| is_field_global_storage(const clang::FieldDecl *field) | clang_c_convertert | protected |
| is_member_decl_static(const clang::MemberExpr &member) | clang_c_convertert | protected |
| is_unlowered_math_builtin(const std::string &name) const | clang_c_convertert | protected |
| last_loc | clang_c_convertert | protected |
| last_loc_column | clang_c_convertert | protected |
| last_loc_filename | clang_c_convertert | protected |
| last_loc_function | clang_c_convertert | protected |
| last_loc_line | clang_c_convertert | protected |
| last_loc_valid | clang_c_convertert | protected |
| mode | clang_c_convertert | protected |
| name_param_and_continue(const clang::ParmVarDecl &pd, std::string &id, std::string &name, exprt ¶m) | clang_c_convertert | protectedvirtual |
| ns | clang_c_convertert | protected |
| perform_virtual_dispatch(const clang::MemberExpr &member) | clang_c_convertert | protectedvirtual |
| process_aligned_attribute(const clang::AlignedAttr &aattr, typet &t) const | clang_c_convertert | protected |
| process_record_layout_attributes(const clang::RecordDecl &rd, typet &t) const | clang_c_convertert | protected |
| report_unsupported_init_list(const clang::InitListExpr &init_stmt) | clang_c_convertert | protected |
| rewrite_builtin_ref(const clang::Decl &d, std::string &name, std::string &id) const | clang_c_convertert | protected |
| set_location(clang::PresumedLoc &PLoc, std::string &function_name, locationt &location) | clang_c_convertert | protected |
| size_flexible_array_member(const clang::ValueDecl &vd, typet &t) | clang_c_convertert | protected |
| sm | clang_c_convertert | protected |
| snapshot_vla_sizes(const clang::Decl &decl, codet &dest) | clang_c_convertert | protected |
| tag_prefix | clang_c_convertert | protected |
| vla_size_snapshots | clang_c_convertert | protected |
| wrap_bitfield_type_if_needed(const clang::FieldDecl &fd, typet &t) | clang_c_convertert | protected |
| ~clang_c_convertert()=default | clang_c_convertert | virtual |