[Ada] Spurious overlap error on zero-sized arrays with -gnateV
authorJustin Squirek <squirek@adacore.com>
Fri, 28 Feb 2020 21:21:59 +0000 (16:21 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 9 Jun 2020 08:09:03 +0000 (04:09 -0400)
commitd4fd46371a6fd708c4c16ccd7b56410d9cfc72e6
tree8dc46e1ad7b2695f07de4f532125936315a3b69e
parent7bf5f4d985c59e4c5a64e8d7b263af92c9ec6339
[Ada] Spurious overlap error on zero-sized arrays with -gnateV

2020-06-09  Justin Squirek  <squirek@adacore.com>

gcc/ada/

* exp_attr.adb (Expand_N_Attribute_Reference): Modify expansion
of 'Overlaps_Storage to take into account zero sized arrays.
gcc/ada/exp_attr.adb