cprover
|
C++ Language Type Checking. More...
#include "cpp_typecheck.h"
#include <util/arith_tools.h>
#include <util/std_code.h>
#include <util/std_expr.h>
#include <util/c_types.h>
#include "cpp_util.h"
Go to the source code of this file.
Functions | |
static void | copy_parent (const source_locationt &source_location, const irep_idt &parent_base_name, const irep_idt &arg_name, exprt &block) |
static void | copy_member (const source_locationt &source_location, const irep_idt &member_base_name, const irep_idt &arg_name, exprt &block) |
static void | copy_array (const source_locationt &source_location, const irep_idt &member_base_name, mp_integer i, const irep_idt &arg_name, exprt &block) |
C++ Language Type Checking.
Definition in file cpp_typecheck_constructor.cpp.
|
static |
member_base_name | name of array member |
index | index to copy |
block | non-typechecked block |
Definition at line 111 of file cpp_typecheck_constructor.cpp.
References irept::add(), exprt::add_source_location(), exprt::copy_to_operands(), from_integer(), irept::get_sub(), irept::id(), index_type(), exprt::op0(), exprt::op1(), exprt::operands(), and irept::set().
Referenced by cpp_typecheckt::default_assignop_value().
|
static |
member_base_name | name of a member |
block | non-typechecked block |
Definition at line 66 of file cpp_typecheck_constructor.cpp.
References irept::add(), exprt::add_source_location(), irept::get_sub(), irept::id(), exprt::op0(), exprt::op1(), exprt::operands(), and irept::set().
Referenced by cpp_typecheckt::default_assignop_value().
|
static |
parent_base_name | base name of typechecked parent |
block | non-typechecked block |
Definition at line 25 of file cpp_typecheck_constructor.cpp.
References exprt::add_source_location(), irept::get_sub(), exprt::op0(), exprt::op1(), exprt::operands(), pointer_type(), irept::set(), codet::set_statement(), typet::subtype(), to_code(), and exprt::type().
Referenced by cpp_typecheckt::default_assignop_value(), and cpp_typecheckt::default_cpctor().