PIPS
|
#include <effects-util-local.h>
Data Fields | |
statement | current_stmt |
entity | current_module |
list | enclosing_flow |
Definition at line 198 of file effects-util-local.h.
entity sensitivity_information::current_module |
Definition at line 201 of file effects-util-local.h.
Referenced by make_sensitivity_information(), and malloc_type_to_abstract_location().
statement sensitivity_information::current_stmt |
Definition at line 200 of file effects-util-local.h.
Referenced by make_sensitivity_information(), and malloc_type_to_abstract_location().
list sensitivity_information::enclosing_flow |
Definition at line 202 of file effects-util-local.h.
Referenced by make_sensitivity_information().