cprover
|
C++ Language Conversion. More...
#include "convert_integer_literal.h"
#include <cassert>
#include <cctype>
#include <util/arith_tools.h>
#include <util/config.h>
#include <util/std_types.h>
#include <util/std_expr.h>
#include <util/string2int.h>
Go to the source code of this file.
Macros | |
#define | FITS(width, signed) |
Functions | |
exprt | convert_integer_literal (const std::string &src) |
C++ Language Conversion.
Definition in file convert_integer_literal.cpp.
#define FITS | ( | width, | |
signed | |||
) |
Referenced by convert_integer_literal().
exprt convert_integer_literal | ( | const std::string & | src | ) |
Definition at line 23 of file convert_integer_literal.cpp.
References configt::ansi_c, config, FITS, from_integer(), configt::ansi_ct::int_width, is_signed(), is_unsigned(), configt::ansi_ct::long_int_width, configt::ansi_ct::long_long_int_width, exprt::negate(), exprt::op0(), exprt::op1(), exprt::operands(), irept::set(), string2integer(), typet::subtype(), and unsafe_string2int().
Referenced by yyansi_clex(), and yyansi_cparse().