[Ada] Spurious error -- "allocation from empty storage pool"
authorBob Duff <duff@adacore.com>
Tue, 31 Jul 2018 09:55:11 +0000 (09:55 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Tue, 31 Jul 2018 09:55:11 +0000 (09:55 +0000)
commite78c79ff53c9370b5438d7f8b9f7096103ee0d44
tree75802caed9b5edc54cd98f45ed61025710a597b2
parent1102fd64dbb76784ed46ff81bf905f6c52d296fc
[Ada] Spurious error -- "allocation from empty storage pool"

This patch fixes a bug in which if "pragma Default_Storage_Pool (null);"
is given, then a build-in-place function will get an incorrect error
message "allocation from empty storage pool" even though there is no
such allocation in the source program.

2018-07-31  Bob Duff  <duff@adacore.com>

gcc/ada/

* sem_res.adb (Resolve_Allocator): Do not complain about the
implicit allocator that occurs in the expansion of a return
statement for a build-in-place function.

From-SVN: r263088
gcc/ada/ChangeLog
gcc/ada/sem_res.adb