PIPS
Data Fields
Bound_test Struct Reference
+ Collaboration diagram for Bound_test:

Data Fields

bool bound
 
expression test
 

Detailed Description

Definition at line 102 of file array_bound_check_top_down.c.

Field Documentation

◆ bound

bool Bound_test::bound

Definition at line 104 of file array_bound_check_top_down.c.

Referenced by top_down_abc_array(), top_down_abc_dimension(), and top_down_abc_not_exact_case().

◆ test

expression Bound_test::test

Definition at line 105 of file array_bound_check_top_down.c.

Referenced by top_down_abc_array(), top_down_abc_dimension(), and top_down_abc_not_exact_case().

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