convert_real_literal.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module: Statement List Language Conversion
 
Author: Matthias Weiss, matthias.weiss@diffblue.com
 
\*******************************************************************/
 
 
#include "convert_real_literal.h"
#include "statement_list_types.h"
 
#include <util/bitvector_types.h>
#include <util/ieee_float.h>
 
constant_exprt convert_real_literal(const std::string &src)
{
  ieee_floatt real{get_real_type()};
  real.from_float(std::stof(src));
  return real.to_expr();
}