Searched refs:ProofFn (Results 1 – 1 of 1) sorted by relevance
11154 auto ProofFn = [&](ICmpInst::Predicate P) { in isBasicBlockEntryGuardedByCond() local11157 if (SplitAndProve(ProofFn)) in isBasicBlockEntryGuardedByCond()11167 auto ProofFn = [&](ICmpInst::Predicate P) { in isBasicBlockEntryGuardedByCond() local11170 if (SplitAndProve(ProofFn)) in isBasicBlockEntryGuardedByCond()