- switch (get_Confirm_cmp(n)) {
- case pn_Cmp_Eq: /* n == C /\ C != 0 ==> n != 0 */
- RET_ON(pnc != pn_Cmp_Eq && pnc != pn_Cmp_Uo);
- case pn_Cmp_Lg: /* n != C /\ C == 0 ==> n != 0 */
- RET_ON(pnc == pn_Cmp_Eq);
- case pn_Cmp_Lt: /* n < C /\ C <= 0 ==> n != 0 */
- RET_ON(pnc == pn_Cmp_Lt || pnc == pn_Cmp_Eq);
- case pn_Cmp_Le: /* n <= C /\ C < 0 ==> n != 0 */
- RET_ON(pnc == pn_Cmp_Lt);
- case pn_Cmp_Ge: /* n >= C /\ C > 0 ==> n != 0 */
- RET_ON(pnc == pn_Cmp_Gt);
- case pn_Cmp_Gt: /* n > C /\ C >= 0 ==> n != 0 */
- RET_ON(pnc == pn_Cmp_Gt || pnc == pn_Cmp_Eq);
+ switch (get_Confirm_relation(n)) {
+ case ir_relation_equal: /* n == C /\ C != 0 ==> n != 0 */
+ RET_ON(relation != ir_relation_equal && relation != ir_relation_unordered);
+ case ir_relation_less_greater: /* n != C /\ C == 0 ==> n != 0 */
+ RET_ON(relation == ir_relation_equal);
+ case ir_relation_less: /* n < C /\ C <= 0 ==> n != 0 */
+ RET_ON(relation == ir_relation_less || relation == ir_relation_equal);
+ case ir_relation_less_equal: /* n <= C /\ C < 0 ==> n != 0 */
+ RET_ON(relation == ir_relation_less);
+ case ir_relation_greater_equal: /* n >= C /\ C > 0 ==> n != 0 */
+ RET_ON(relation == ir_relation_greater);
+ case ir_relation_greater: /* n > C /\ C >= 0 ==> n != 0 */
+ RET_ON(relation == ir_relation_greater || relation == ir_relation_equal);