va_arg.cpp File Reference

#include <goto-symex/engine/goto_symex.h>
#include <string>
#include <util/arith/arith_tools.h>
#include <util/lang/c_types.h>
#include <util/expr/expr_util.h>
#include <irep2/irep2.h>
#include <util/irep/migrate.h>
#include <util/irep/std_types.h>

Include dependency graph for va_arg.cpp:

Functions
static expr2tc	va_list_base (expr2tc e)

Function Documentation

va_list_base()

expr2tc va_list_base ( expr2tc e )

static