mirror/mbedtls
1
0
Fork 0
mirror of https://github.com/Mbed-TLS/mbedtls.git synced 2025-01-28 18:32:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Forbid aliasing outputs

Browse Source 
Aliasing between two outputs is hardly ever useful.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
This commit is contained in:
Gilles Peskine 2022-10-14 17:14:20 +02:00
parent 01af3ddc82
commit dcd1717f5f
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
library/bignum_core.h
View File

@ -43,8 +43,8 @@
* Temporaries come last. * Temporaries come last.
* - **Aliasing**: in general, output bignums may be aliased to one or more * - **Aliasing**: in general, output bignums may be aliased to one or more
* inputs. As an exception, parameters that are documented as a modulus value * 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 * may not be aliased to an output. Outputs may not be aliased to one another.
* any other parameter. * Temporaries may not be aliased to any other parameter.
* - **Overlap**: apart from aliasing of limb array pointers (where two * - **Overlap**: apart from aliasing of limb array pointers (where two
* arguments are equal pointers), overlap is not supported and may result * arguments are equal pointers), overlap is not supported and may result
* in undefined behavior. * in undefined behavior.