printf_formatter.cpp File Reference

#include <goto-symex/trace/printf_formatter.h>
#include <map>
#include <optional>
#include <sstream>
#include <util/lang/c_types.h>
#include <util/config/config.h>
#include <irep2/irep2_utils.h>
#include <util/arith/format_constant.h>
#include <util/expr/type_byte_size.h>

Include dependency graph for printf_formatter.cpp:

Functions
type2tc	printf_int_type (bool is_signed, const std::string &mod)
	The type a d or i (is_signed) or u conversion converts its argument to under the length modifier mod: one of "", "hh", "h", "l", "ll", "j", "z" or "t".

Function Documentation

printf_int_type()

type2tc printf_int_type	(	bool	is_signed,
		const std::string &	mod )

The type a d or i (is_signed) or u conversion converts its argument to under the length modifier mod: one of "", "hh", "h", "l", "ll", "j", "z" or "t".

Nil for any other modifier.