28 error() <<
"static assertion failed";
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
virtual void make_constant(exprt &expr)
virtual void implicit_typecast_bool(exprt &expr)
void convert(cpp_linkage_spect &)
void typecheck_expr(exprt &) override
source_locationt source_location
C++ Language Type Checking.
const string_constantt & to_string_constant(const exprt &expr)