diff options
| author | Marc Poulhiès <poulhies@adacore.com> | 2024-05-23 11:57:54 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-05-31 11:58:50 +0200 |
| commit | e0ab5ee9bed5cbad9ae344a23ff0d302b8279d32 (patch) | |
| tree | a36b7b3db85d77191970819478b830cd3fe6c4c4 /gcc/c | |
| parent | 37fafc63e732c51900d2d998b6df6433d9ca6e2f (diff) | |
| download | gcc-e0ab5ee9bed5cbad9ae344a23ff0d302b8279d32.zip gcc-e0ab5ee9bed5cbad9ae344a23ff0d302b8279d32.tar.gz gcc-e0ab5ee9bed5cbad9ae344a23ff0d302b8279d32.tar.bz2 | |
fix: valid compiler optimization may fail the test
cxa4001 may fail with "Exception not raised" when the compiler omits the
calls to To_Mapping, in accordance with 10.2.1(18/3):
"If a library unit is declared pure, then the implementation is
permitted to omit a call on a library-level subprogram of the library
unit if the results are not needed after the call"
Using the result of both To_Mapping calls prevents the compiler from
omitting them.
"The corrected test will be available on the ACAA web site
(http://www.ada-auth.org/), and will be issued with the Modified Tests List
version 2.6K, 3.1DD, and 4.1GG."
gcc/testsuite/ChangeLog:
* ada/acats/tests/cxa/cxa4001.a: Use function result.
Diffstat (limited to 'gcc/c')
0 files changed, 0 insertions, 0 deletions