PIPS
|
context data structure for interprocedural_abc newgen recursion More...
Data Fields | |
persistant_statement_to_control | map |
stack | uns |
context data structure for interprocedural_abc newgen recursion
Definition at line 105 of file array_bound_check_interprocedural.c.
persistant_statement_to_control interprocedural_abc_context_t::map |
Definition at line 107 of file array_bound_check_interprocedural.c.
stack interprocedural_abc_context_t::uns |
Definition at line 108 of file array_bound_check_interprocedural.c.