Searched refs:ProofFn (Results 1 – 1 of 1) sorted by relevance
10151 auto ProofFn = [&](ICmpInst::Predicate P) { in isBasicBlockEntryGuardedByCond() local10154 if (SplitAndProve(ProofFn)) in isBasicBlockEntryGuardedByCond()10163 auto ProofFn = [&](ICmpInst::Predicate P) { in isBasicBlockEntryGuardedByCond() local10166 if (SplitAndProve(ProofFn)) in isBasicBlockEntryGuardedByCond()10178 auto ProofFn = [&](ICmpInst::Predicate P) { in isBasicBlockEntryGuardedByCond() local10181 if (SplitAndProve(ProofFn)) in isBasicBlockEntryGuardedByCond()