Lines Matching full:sibling
1234 // easily prove NSW/NUW for its preincrement or postincrement sibling. This3858 // recurrence on a sibling dominating loop is also available at BB.
