PIPS
|
Data Fields | |
bool | bound |
expression | test |
Definition at line 102 of file array_bound_check_top_down.c.
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().
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().