ld_converter.cpp File Reference

#include <ld-frontend/ir_gen/ld_converter.h>
#include <ld-frontend/ir_gen/st_fb_translator.h>
#include <cctype>
#include <algorithm>
#include <util/arith/arith_tools.h>
#include <util/arith/ieee_float.h>
#include <util/arith/mp_arith.h>
#include <util/config/config.h>
#include <util/lang/c_types.h>
#include <util/expr/expr_util.h>
#include <util/message/message.h>
#include <util/symtab/symbol.h>
#include <map>
#include <set>
#include <stdexcept>

Include dependency graph for ld_converter.cpp:

Functions
static typet	common_int_type (const typet &a, const typet &b)
static exprt	cast_to (const exprt &e, const typet &type)
static std::string	ld_name (const std::string &var)
static exprt	make_arith (const irep_idt &op, const exprt &lhs, const exprt &rhs, const typet &type)
static const std::string &	shadow_key (const std::string &instance, const std::string &q)
static void	report_shared (const std::vector< VarDecl > &variables, bool closed_world)
static void	warn_set_and_reset (const LdIR &ir)

Function Documentation

cast_to()

exprt cast_to ( const exprt & e, const typet & type )

static

common_int_type()

typet common_int_type ( const typet & a, const typet & b )

static

ld_name()

std::string ld_name ( const std::string & var )

static

make_arith()

exprt make_arith ( const irep_idt & op, const exprt & lhs, const exprt & rhs, const typet & type )

static

report_shared()

void report_shared ( const std::vector< VarDecl > & variables, bool closed_world )

static

shadow_key()

const std::string & shadow_key ( const std::string & instance, const std::string & q )

static

warn_set_and_reset()

void warn_set_and_reset ( const LdIR & ir )

static