Searched refs:bound_invalid (Results 1 – 2 of 2) sorted by relevance
246 bound_invalid, enumerator
913 if( d_bound_kind[tn1]!=bound_strict && d_bound_kind[tn1]!=bound_invalid ){ in processAssertion()918 d_bound_kind[tn1] = bound_invalid; in processAssertion()1089 d_bound_kind[tn] = bound_invalid; in initializeBounds()1094 if( d_bound_kind[tn] != bound_invalid ){ in initializeBounds()1167 if( d_bound_kind[tn]!=bound_invalid ){ in getBaseLabel()