cprover
|
Volatile Variables. More...
#include <goto-programs/goto_functions.h>
Go to the source code of this file.
Functions | |
bool | is_volatile (const symbol_tablet &symbol_table, const typet &type) |
void | nondet_volatile (symbol_tablet &symbol_table, goto_functionst &goto_functions) |
Volatile Variables.
Definition in file nondet_volatile.h.
bool is_volatile | ( | const symbol_tablet & | symbol_table, |
const typet & | type | ||
) |
Definition at line 19 of file nondet_volatile.cpp.
References irept::get_bool(), irept::id(), is_volatile(), symbol_tablet::symbols, and to_symbol_type().
Referenced by fence_volatilet::compute(), is_volatile(), fence_volatilet::is_volatile(), and nondet_volatile_rhs().
void nondet_volatile | ( | symbol_tablet & | symbol_table, |
goto_functionst & | goto_functions | ||
) |
Definition at line 122 of file nondet_volatile.cpp.
References Forall_goto_functions, nondet_volatile(), and goto_functions_templatet< bodyT >::update().