23 while(*it ==
'#' || *it ==
'0' || *it ==
'-' || *it ==
' ' || *it ==
'+')
44 std::string(
"unsupported format specifier flag: '") + *it +
"'");
86 std::string::const_iterator &it,
121 const std::string &arg_string,
122 std::string::const_iterator &it,
189 for(; it != arg_string.end() && *it !=
']'; it++)
197 std::string(
"unsupported format conversion specifier: '") + *it +
"'");
206 std::string::const_iterator it = arg_string.begin();
208 while(it != arg_string.end())
225 token_list.empty() ||
230 for(; it != arg_string.end() && *it !=
'%'; it++)
234 !token_list.empty() &&
236 "must already have a TEXT token at the back of the token list");
238 token_list.back().value = tmp;
floatbv_typet float_type()
signedbv_typet signed_long_int_type()
signedbv_typet signed_char_type()
unsignedbv_typet unsigned_int_type()
unsignedbv_typet unsigned_long_long_int_type()
unsignedbv_typet unsigned_long_int_type()
signedbv_typet signed_int_type()
pointer_typet pointer_type(const typet &subtype)
unsignedbv_typet unsigned_char_type()
bitvector_typet char_type()
signedbv_typet signed_long_long_int_type()
bitvector_typet wchar_t_type()
floatbv_typet long_double_type()
floatbv_typet double_type()
signedbv_typet signed_short_int_type()
unsignedbv_typet unsigned_short_int_type()
Thrown when we encounter an instruction, parameters to an instruction etc.
const mp_integer string2integer(const std::string &n, unsigned base)
#define UNREACHABLE
This should be used to mark dead code.
#define INVARIANT(CONDITION, REASON)
This macro uses the wrapper function 'invariant_violated_string'.
API to expression classes.