Go to the documentation of this file.
22 cpp_static_assert.
op0() =
34 error() <<
"static assertion failed";
35 if(cpp_static_assert.
op1().
id()==ID_string_constant)
45 error() <<
"static assertion is not constant" <<
eom;
void convert(cpp_linkage_spect &)
static exprt conditional_cast(const exprt &expr, const typet &type)
const string_constantt & to_string_constant(const exprt &expr)
bool is_true() const
Return whether the expression is a constant representing true.
bool is_false() const
Return whether the expression is a constant representing false.
virtual void make_constant(exprt &expr)
source_locationt source_location
const irep_idt & id() const
C++ Language Type Checking.
void typecheck_expr(exprt &) override
const source_locationt & source_location() const
const irep_idt & get_value() const