Searched refs:ProofFn (Results 1 – 1 of 1) sorted by relevance
11674 auto ProofFn = [&](CmpPredicate P) { in isBasicBlockEntryGuardedByCond() local11677 if (SplitAndProve(ProofFn)) in isBasicBlockEntryGuardedByCond()11687 auto ProofFn = [&](CmpPredicate P) { in isBasicBlockEntryGuardedByCond() local11690 if (SplitAndProve(ProofFn)) in isBasicBlockEntryGuardedByCond()