Searched refs:OldOutOfOrder (Results 1 – 1 of 1) sorted by relevance
1391 const bool OldOutOfOrder = counterOutOfOrder(T); in merge() local1434 if (RegStrictDom && !OldOutOfOrder) in merge()