C++ (Cpp) constant_exprt::get_value Beispiele

Beispiel #1

Datei: fixedbv.cpp Projekt: Dthird/CBMC

void fixedbvt::from_expr(const constant_exprt &expr)
{
  spec=to_fixedbv_type(expr.type());
  v=binary2integer(id2string(expr.get_value()), true);
}

Beispiel #2

Datei: ieee_float.cpp Projekt: eigold/cbmc

void ieee_floatt::from_expr(const constant_exprt &expr)
{
  spec=ieee_float_spect(to_floatbv_type(expr.type()));
  unpack(binary2integer(id2string(expr.get_value()), false));
}