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;
virtual void make_constant(exprt &expr)
static mstreamt & eom(mstreamt &m)
virtual void typecheck_expr(exprt &expr)
void convert(cpp_linkage_spect &)
const irep_idt & id() const
source_locationt source_location
const irep_idt & get(const irep_namet &name) const
C++ Language Type Checking.
const source_locationt & source_location() const
void make_typecast(const typet &_type)