cprover
nondet_volatile.cpp File Reference

Volatile Variables. More...

#include "nondet_volatile.h"
#include <util/std_expr.h>
#include <util/symbol_table.h>
Include dependency graph for nondet_volatile.cpp:

Go to the source code of this file.

Functions

bool is_volatile (const symbol_tablet &symbol_table, const typet &src)
 
void nondet_volatile_rhs (const symbol_tablet &symbol_table, exprt &expr)
 
void nondet_volatile_lhs (const symbol_tablet &symbol_table, exprt &expr)
 
void nondet_volatile (symbol_tablet &symbol_table, goto_programt &goto_program)
 
void nondet_volatile (goto_modelt &goto_model)
 

Detailed Description

Volatile Variables.

Definition in file nondet_volatile.cpp.

Function Documentation

◆ is_volatile()

bool is_volatile ( const symbol_tablet symbol_table,
const typet src 
)

◆ nondet_volatile() [1/2]

◆ nondet_volatile() [2/2]

◆ nondet_volatile_lhs()

void nondet_volatile_lhs ( const symbol_tablet symbol_table,
exprt expr 
)

◆ nondet_volatile_rhs()

void nondet_volatile_rhs ( const symbol_tablet symbol_table,
exprt expr 
)