3 Commits

Author	SHA1	Message	Date
Gilles Peskine	70a7dcda3f	Fix multiplication producing a negative zero ... Fix mbedtls_mpi_mul_mpi() when one of the operands is zero and the other is negative. The sign of the result must be 1, since some library functions do not treat {-1, 0, NULL} or {-1, n, {0}} as representing the value 0. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>	2021-06-22 12:39:17 +02:00
Gilles Peskine	8f28c24b4a	Explain the problem in more concrete terms ... Don't try to make the reader guess what a “negative zero” might mean. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>	2021-04-09 20:20:26 +02:00
Gilles Peskine	fd4fab0b24	mbedtls_mpi_read_string("-0") no longer produces a "negative zero" ... Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>	2021-04-09 17:13:15 +02:00