From dcd1717f5f90abe1116e20b3b0924c700298a5ef Mon Sep 17 00:00:00 2001 From: Gilles Peskine Date: Fri, 14 Oct 2022 17:14:20 +0200 Subject: [PATCH] Forbid aliasing outputs Aliasing between two outputs is hardly ever useful. Signed-off-by: Gilles Peskine --- library/bignum_core.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/library/bignum_core.h b/library/bignum_core.h index c64ce4e866..4426b92386 100644 --- a/library/bignum_core.h +++ b/library/bignum_core.h @@ -43,8 +43,8 @@ * Temporaries come last. * - **Aliasing**: in general, output bignums may be aliased to one or more * inputs. As an exception, parameters that are documented as a modulus value - * may not be aliased to an output. Temporaries may not be aliased to - * any other parameter. + * may not be aliased to an output. Outputs may not be aliased to one another. + * Temporaries may not be aliased to any other parameter. * - **Overlap**: apart from aliasing of limb array pointers (where two * arguments are equal pointers), overlap is not supported and may result * in undefined behavior.