interprocedural_abc_context_t Struct Reference

context data structure for interprocedural_abc newgen recursion More...

Collaboration diagram for interprocedural_abc_context_t:

Data Fields
persistant_statement_to_control	map
stack	uns

Detailed Description

context data structure for interprocedural_abc newgen recursion

Definition at line 105 of file array_bound_check_interprocedural.c.

Field Documentation

map

persistant_statement_to_control interprocedural_abc_context_t::map

Definition at line 107 of file array_bound_check_interprocedural.c.

uns

stack interprocedural_abc_context_t::uns

Definition at line 108 of file array_bound_check_interprocedural.c.

---

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

• pips/src/Libs/instrumentation/array_bound_check_interprocedural.c