PIPS
abc_instrumentation_context_t Struct Reference

context data structure for array_bound_check_instrumentation newgen recursion More...

+ Collaboration diagram for abc_instrumentation_context_t:

Data Fields

persistant_statement_to_control map
 
stack uns
 

Detailed Description

context data structure for array_bound_check_instrumentation newgen recursion

Definition at line 77 of file array_bound_check_instrumentation.c.

Field Documentation

◆ map

persistant_statement_to_control abc_instrumentation_context_t::map

Definition at line 79 of file array_bound_check_instrumentation.c.

◆ uns

stack abc_instrumentation_context_t::uns

Definition at line 80 of file array_bound_check_instrumentation.c.


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