Searched refs:derive_proof_for_both_operands (Results 1 – 2 of 2) sorted by relevance
| /netbsd-src/external/gpl3/gcc/dist/gcc/cp/ |
| H A D | logic.cc | 670 derive_proof_for_both_operands (clause& c, tree t, rules r) in derive_proof_for_both_operands() function
704 return derive_proof_for_both_operands (c, t, r); in derive_proof()
711 return derive_proof_for_both_operands (c, t, r); in derive_proof()
|
| /netbsd-src/external/gpl3/gcc.old/dist/gcc/cp/ |
| H A D | logic.cc | 714 derive_proof_for_both_operands (clause& c, tree t, rules r) in derive_proof_for_both_operands() function
748 return derive_proof_for_both_operands (c, t, r); in derive_proof()
755 return derive_proof_for_both_operands (c, t, r); in derive_proof()
|