cprover
|
#include <require_goto_statements.h>
Public Attributes | |
optionalt< code_assignt > | null_assignment |
std::vector< code_assignt > | non_null_assignments |
Definition at line 27 of file require_goto_statements.h.
std::vector<code_assignt> require_goto_statements::pointer_assignment_locationt::non_null_assignments |
Definition at line 30 of file require_goto_statements.h.
Referenced by require_goto_statements::find_pointer_assignments(), require_goto_statements::find_struct_component_assignments(), require_goto_statements::find_this_component_assignment(), require_goto_statements::require_entry_point_argument_assignment(), and require_goto_statements::require_struct_component_assignment().
optionalt<code_assignt> require_goto_statements::pointer_assignment_locationt::null_assignment |
Definition at line 29 of file require_goto_statements.h.
Referenced by require_goto_statements::find_pointer_assignments(), require_goto_statements::find_struct_component_assignments(), and require_goto_statements::find_this_component_assignment().