cprover
|
#include "goto_rw.h"
#include <algorithm>
#include <limits>
#include <memory>
#include <util/expr_util.h>
#include <util/std_code.h>
#include <util/std_expr.h>
#include <util/pointer_offset_size.h>
#include <util/byte_operators.h>
#include <util/endianness_map.h>
#include <util/arith_tools.h>
#include <util/simplify_expr.h>
#include <util/make_unique.h>
#include <langapi/language_util.h>
#include <goto-programs/goto_functions.h>
#include <pointer-analysis/goto_program_dereference.h>
Go to the source code of this file.
Functions | |
static void | goto_rw (const irep_idt &function, goto_programt::const_targett target, const code_assignt &assign, rw_range_sett &rw_set) |
static void | goto_rw (const irep_idt &function, goto_programt::const_targett target, const code_function_callt &function_call, rw_range_sett &rw_set) |
void | goto_rw (const irep_idt &function, goto_programt::const_targett target, rw_range_sett &rw_set) |
void | goto_rw (const irep_idt &function, const goto_programt &goto_program, rw_range_sett &rw_set) |
void | goto_rw (const goto_functionst &goto_functions, const irep_idt &function, rw_range_sett &rw_set) |
void goto_rw | ( | const goto_functionst & | goto_functions, |
const irep_idt & | function, | ||
rw_range_sett & | rw_set | ||
) |
Definition at line 849 of file goto_rw.cpp.
void goto_rw | ( | const irep_idt & | function, |
const goto_programt & | goto_program, | ||
rw_range_sett & | rw_set | ||
) |
Definition at line 840 of file goto_rw.cpp.
|
static |
Definition at line 725 of file goto_rw.cpp.
|
static |
Definition at line 737 of file goto_rw.cpp.
void goto_rw | ( | const irep_idt & | function, |
goto_programt::const_targett | target, | ||
rw_range_sett & | rw_set | ||
) |
Definition at line 755 of file goto_rw.cpp.