ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
jimple_expr.cpp File Reference
Include dependency graph for jimple_expr.cpp:

Functions

static expr2tc jimple_typed_binop (const std::string &op, const type2tc &t, const expr2tc &l, const expr2tc &r)
static expr2tc jimple_relational_binop (const std::string &op, const expr2tc &l, const expr2tc &r)
static locationt no_location ()
static expr2tc skip2t_without_location ()

Function Documentation

◆ jimple_relational_binop()

expr2tc jimple_relational_binop ( const std::string & op,
const expr2tc & l,
const expr2tc & r )
static

◆ jimple_typed_binop()

expr2tc jimple_typed_binop ( const std::string & op,
const type2tc & t,
const expr2tc & l,
const expr2tc & r )
static

◆ no_location()

locationt no_location ( )
static

◆ skip2t_without_location()

expr2tc skip2t_without_location ( )
static