In add_if(), B MAY be aliased to A. Also update another comment for consistency.
Signed-off-by: Tom Cosgrove <tom.cosgrove@arm.com>
diff --git a/library/bignum_core.h b/library/bignum_core.h
index 36758e5..84350bc 100644
--- a/library/bignum_core.h
+++ b/library/bignum_core.h
@@ -171,7 +171,8 @@
* representing the bignum to accumulate onto.
* \param[in] B The pointer to the (little-endian) array
* representing the bignum to conditionally add
- * to \p A. This must be disjoint from \p A.
+ * to \p A. This may be aliased to \p A but may not
+ * overlap otherwise.
* \param limbs Number of limbs of \p A and \p B.
* \param cond Condition bit dictating whether addition should
* happen or not. This must be \c 0 or \c 1.
@@ -219,8 +220,8 @@
* at least \p B_limbs.
* \param[in] B The pointer to the (little-endian) array
* representing the bignum to multiply with.
- * This may be the same as \p A. Otherwise,
- * it must be disjoint from \p A.
+ * This may be aliased to \p A but may not overlap
+ * otherwise.
* \param B_limbs The number of limbs of \p B.
* \param c A scalar to multiply with.
*