Searched defs:ProofFn (Results 1 – 1 of 1) sorted by relevance
11538 auto ProofFn = [&](ICmpInst::Predicate P) { isBasicBlockEntryGuardedByCond() local 11551 auto ProofFn = [&](ICmpInst::Predicate P) { isBasicBlockEntryGuardedByCond() local