Searched refs:ProvingStrictComparison (Results 1 – 1 of 1) sorted by relevance
11658 const bool ProvingStrictComparison = in isBasicBlockEntryGuardedByCond() local11673 if (ProvingStrictComparison) { in isBasicBlockEntryGuardedByCond()11686 if (ProvingStrictComparison) { in isBasicBlockEntryGuardedByCond()