cprover
|
C++ Language Conversion. More...
Go to the source code of this file.
Functions | |
exprt | convert_integer_literal (const std::string &src) |
C++ Language Conversion.
Definition in file convert_integer_literal.h.
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::op0(), exprt::op1(), exprt::operands(), irept::set(), string2integer(), typet::subtype(), and unsafe_string2unsigned().
Referenced by yyansi_clex(), and yyansi_cparse().