[Ada] No ABE check needed for an expression function call.
authorSteve Baird <baird@adacore.com>
Thu, 5 Aug 2021 03:23:31 +0000 (20:23 -0700)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 1 Oct 2021 06:13:35 +0000 (06:13 +0000)
commit8e35980ff82ad5a00de3237ad94c1fe942fb0ba4
treefe0d9f88a2a4e7b48d8b195965086556997ed4a9
parent1b482832d5699f3cf248ea5dd7341bba8ca85417
[Ada] No ABE check needed for an expression function call.

gcc/ada/

* sem_elab.adb (Is_Safe_Call): Return True in the case of a
(possibly rewritten) call to an expression function.
gcc/ada/sem_elab.adb