Searched refs:has_nonempty_rx (Results 1 – 2 of 2) sorted by relevance
1526 Bool has_nonempty_rx = False; in ML_() local1533 has_nonempty_rx = True; in ML_()1541 vg_assert(has_nonempty_rx); in ML_()
495 Bool has_nonempty_rx = False; in check_CFSI_related_invariants() local513 has_nonempty_rx = True; in check_CFSI_related_invariants()545 if (!has_nonempty_rx) { in check_CFSI_related_invariants()