diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2023-07-28 12:13:28 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-08-07 13:14:36 +0200 |
| commit | 41d7d32c04d431a74cfe030c4a1d8c07ec6c6813 (patch) | |
| tree | 1ce154ba6a5d4ca120ae427025d2f172bc6d5b21 /gcc/tree-inline.h | |
| parent | 43057533fe24b3bbcc08f7e094af6fcaf58f279e (diff) | |
| download | gcc-41d7d32c04d431a74cfe030c4a1d8c07ec6c6813.zip gcc-41d7d32c04d431a74cfe030c4a1d8c07ec6c6813.tar.gz gcc-41d7d32c04d431a74cfe030c4a1d8c07ec6c6813.tar.bz2 | |
ada: Extend precondition of Interfaces.C.String.Value with Length
The existing precondition guarded against exception Dereference_Error,
but not against Constraint_Error.
The RM rule B.3.1(36/3) only mentions Constraint_Error for the Value
function which returns char_array, but the one which returns String
has the same restriction, because it is equivalent to calling the
variant which returns char_array and then converted.
gcc/ada/
* libgnat/i-cstrin.ads (Value): Extend preconditions; adapt comment for
the package.
Diffstat (limited to 'gcc/tree-inline.h')
0 files changed, 0 insertions, 0 deletions