Searched refs:SplitAndProve (Results 1 – 1 of 1) sorted by relevance
11663 auto SplitAndProve = [&](std::function<bool(CmpPredicate)> Fn) -> bool { in isBasicBlockEntryGuardedByCond() local11677 if (SplitAndProve(ProofFn)) in isBasicBlockEntryGuardedByCond()11690 if (SplitAndProve(ProofFn)) in isBasicBlockEntryGuardedByCond()