PR: 1612

Submitted by: Robert Jackson <robert@rjsweb.net>
Reviewed by: steve

Fix EC_POINT_cmp function for case where b but not a is the point at infinity.

crypto/ec/ec2_smpl.c

@@ -938,6 +938,9 @@ int ec_GF2m_simple_cmp(const EC_GROUP *group, const EC_POINT *a, const EC_POINT
 		return EC_POINT_is_at_infinity(group, b) ? 0 : 1;
 		}
 
+	if (EC_POINT_is_at_infinity(group, b))
+		return 1;
+	
 	if (a->Z_is_one && b->Z_is_one)
 		{
 		return ((BN_cmp(&a->X, &b->X) == 0) && BN_cmp(&a->Y, &b->Y) == 0) ? 0 : 1;

crypto/ec/ecp_smpl.c

@@ -1407,6 +1407,9 @@ int ec_GFp_simple_cmp(const EC_GROUP *group, const EC_POINT *a, const EC_POINT *
 		return EC_POINT_is_at_infinity(group, b) ? 0 : 1;
 		}
 
+	if (EC_POINT_is_at_infinity(group, b))
+		return 1;
+	
 	if (a->Z_is_one && b->Z_is_one)
 		{
 		return ((BN_cmp(&a->X, &b->X) == 0) && BN_cmp(&a->Y, &b->Y) == 0) ? 0 : 1;