PIPS
Data Fields
bottom_up_abc_context_t Struct Reference

context data structure for bottom_up_abc newgen recursion More...

+ Collaboration diagram for bottom_up_abc_context_t:

Data Fields

persistant_statement_to_control map
 
stack uns
 

Detailed Description

context data structure for bottom_up_abc newgen recursion

Definition at line 111 of file array_bound_check_bottom_up.c.

Field Documentation

◆ map

persistant_statement_to_control bottom_up_abc_context_t::map

Definition at line 113 of file array_bound_check_bottom_up.c.

◆ uns

stack bottom_up_abc_context_t::uns

Definition at line 114 of file array_bound_check_bottom_up.c.

The documentation for this struct was generated from the following file: