12 #ifdef REPORT_UNIMPLEMENTED_EXPRESSION_CHECKS 22 #define CALL_ON_EXPR(expr_type) \ 23 C<exprt, expr_type>()(expr, std::forward<Args>(args)...) 25 template <
template <
typename,
typename>
class C,
typename... Args>
28 if(expr.
id() == ID_equal)
32 else if(expr.
id() == ID_plus)
36 else if(expr.
get_bool(ID_C_SSA_symbol))
42 #ifdef REPORT_UNIMPLEMENTED_EXPRESSION_CHECKS 43 std::cerr <<
"Unimplemented well-formedness check for expression with id: " 61 call_on_expr<call_checkt>(expr, vm);
77 call_on_expr<call_validatet>(expr, ns, vm);
93 call_on_expr<call_validate_fullt>(expr, ns, vm);
void call_on_expr(const exprt &expr, Args &&... args)
void check_expr(const exprt &expr, const validation_modet vm)
Check that the given expression is well-formed (shallow checks only, i.e., subexpressions and its typ...
bool get_bool(const irep_namet &name) const
const irep_idt & id() const
void validate_expr(const exprt &expr, const namespacet &ns, const validation_modet vm)
Check that the given expression is well-formed, assuming that its subexpression and type have already...
void validate_full_expr(const exprt &expr, const namespacet &ns, const validation_modet vm)
Check that the given expression is well-formed (full check, including checks of all subexpressions an...
API to expression classes.
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
The plus expression Associativity is not specified.
#define CALL_ON_EXPR(expr_type)
Base class for all expressions.
const std::string & id_string() const
Expression providing an SSA-renamed symbol of expressions.