]> git.ipfire.org Git - thirdparty/gcc.git/commit
fix: valid compiler optimization may fail the test
authorMarc Poulhiès <poulhies@adacore.com>
Thu, 23 May 2024 09:57:54 +0000 (11:57 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Fri, 31 May 2024 09:58:50 +0000 (11:58 +0200)
commite0ab5ee9bed5cbad9ae344a23ff0d302b8279d32
treea36b7b3db85d77191970819478b830cd3fe6c4c4
parent37fafc63e732c51900d2d998b6df6433d9ca6e2f
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.
gcc/testsuite/ada/acats/tests/cxa/cxa4001.a