Go to the documentation of this file.
32 error() <<
"static assertion failed";
33 if(cpp_static_assert.
op1().
id()==ID_string_constant)
34 error() <<
": " << cpp_static_assert.
op1().
get(ID_value);
42 error() <<
"static assertion is not constant" <<
eom;
void convert(cpp_linkage_spect &)
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
void typecheck_expr(exprt &) override
const irep_idt & get(const irep_namet &name) const
void make_typecast(const typet &_type)
Create a typecast_exprt to the given type.
const source_locationt & source_location() const