cprover
goto_rw.cpp File Reference
#include "goto_rw.h"
#include <limits>
#include <algorithm>
#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 <goto-programs/goto_functions.h>
#include <pointer-analysis/goto_program_dereference.h>
Include dependency graph for goto_rw.cpp:

Go to the source code of this file.

Functions

void goto_rw (goto_programt::const_targett target, const code_assignt &assign, rw_range_sett &rw_set)
 
void goto_rw (goto_programt::const_targett target, const code_function_callt &function_call, rw_range_sett &rw_set)
 
void goto_rw (goto_programt::const_targett target, rw_range_sett &rw_set)
 
void goto_rw (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)
 

Function Documentation

§ goto_rw() [1/5]

§ goto_rw() [2/5]

§ goto_rw() [3/5]

§ goto_rw() [4/5]

void goto_rw ( const goto_programt goto_program,
rw_range_sett rw_set 
)

Definition at line 782 of file goto_rw.cpp.

References forall_goto_program_instructions, and goto_rw().

§ goto_rw() [5/5]

void goto_rw ( const goto_functionst goto_functions,
const irep_idt function,
rw_range_sett rw_set 
)

Definition at line 788 of file goto_rw.cpp.

References goto_functions_templatet< bodyT >::function_map, and goto_rw().