cpp_typecheck_expr.cpp File Reference

C++ Language Type Checking. More...

#include "cpp_typecheck.h"
#include <cstdlib>
#include <util/std_types.h>
#include <util/arith_tools.h>
#include <util/std_expr.h>
#include <util/config.h>
#include <util/simplify_expr.h>
#include <util/base_type.h>
#include <util/c_types.h>
#include <ansi-c/c_qualifiers.h>
#include <ansi-c/c_sizeof.h>
#include <linking/zero_initializer.h>
#include "cpp_type2name.h"
#include "cpp_convert_type.h"
#include "cpp_exception_id.h"
#include "expr2cpp.h"

Include dependency graph for cpp_typecheck_expr.cpp:

Go to the source code of this file.

Classes
struct	operator_entryt

Functions
static exprt	collect_comma_expression (const exprt &src)

Variables
struct operator_entryt	operators []

Detailed Description

C++ Language Type Checking.

Definition in file cpp_typecheck_expr.cpp.

Function Documentation

collect_comma_expression()

static exprt collect_comma_expression ( const exprt &  src )

static

Definition at line 863 of file cpp_typecheck_expr.cpp.

References exprt::copy_to_operands(), irept::id(), exprt::op0(), exprt::op1(), and exprt::operands().

Referenced by cpp_typecheckt::typecheck_expr_explicit_typecast().

Variable Documentation

operators

struct operator_entryt operators[]

Initial value:

=
{
  { ID_plus, "+" },
  { ID_minus, "-" },
  { ID_mult, "*" },
  { ID_div, "/" },
  { ID_bitnot, "~" },
  { ID_bitand, "&" },
  { ID_bitor, "|" },
  { ID_bitxor, "^" },
  { ID_not, "!" },
  { ID_unary_minus, "-" },
  { ID_and, "&&" },
  { ID_or, "||" },
  { ID_not, "!" },
  { ID_index, "[]" },
  { ID_equal, "==" },
  { ID_lt, "<"},
  { ID_le, "<="},
  { ID_gt, ">"},
  { ID_ge, ">="},
  { ID_shl, "<<"},
  { ID_shr, ">>"},
  { ID_notequal, "!=" },
  { ID_dereference, "*" },
  { ID_ptrmember, "->" },
  { irep_idt(), nullptr }
}

Referenced by cpp_typecheckt::operator_is_overloaded().