CBMC
cpp_typecheck_expr.cpp File Reference

C++ Language Type Checking. More...

+ 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 833 of file cpp_typecheck_expr.cpp.

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 }
}
dstringt irep_idt