value_set_fi.cpp File Reference

#include "value_set_fi.h"
#include <util/arith_tools.h>
#include <util/byte_operators.h>
#include <util/c_types.h>
#include <util/expr_util.h>
#include <util/namespace.h>
#include <util/pointer_expr.h>
#include <util/prefix.h>
#include <util/simplify_expr.h>
#include <util/std_code.h>
#include <util/symbol.h>
#include <goto-programs/goto_instruction_code.h>
#include <langapi/language_util.h>
#include <ostream>

Include dependency graph for value_set_fi.cpp:

Go to the source code of this file.

Variables
static const char *	alloc_adapter_prefix ="alloc_adaptor::"

Detailed Description

Value Set (Flow Insensitive, Sharing)

Definition in file value_set_fi.cpp.

Variable Documentation

alloc_adapter_prefix

const char* alloc_adapter_prefix ="alloc_adaptor::"

static

Definition at line 36 of file value_set_fi.cpp.