Searched refs:label1 (Results 1 – 3 of 3) sorted by relevance
286 int label1 = succ1.get(i); in catchesEqual() local289 if (label1 == primary1) { in catchesEqual()301 if (label1 != label2) { in catchesEqual()
288 int label1 = succ1.get(i); in catchesEqual() local291 if (label1 == primary1) { in catchesEqual()303 if (label1 != label2) { in catchesEqual()
999 int label1 = b1.ropLabel; in compare() local1002 if (label1 < label2) { in compare()1004 } else if (label1 > label2) { in compare()