[Ada] Ada2020: AI12-0198 potentially unevaluated array components
authorJavier Miranda <miranda@adacore.com>
Tue, 5 May 2020 17:22:47 +0000 (13:22 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 6 Jul 2020 11:35:21 +0000 (07:35 -0400)
commit0fc1b4ad1d2015fd464f4c843945b1919c666c94
tree482ccdd9331d6d989eccaac0f15ff88192d54d94
parent49665da2e51e3e455fa1ed700987b081c4c3af6e
[Ada] Ada2020: AI12-0198 potentially unevaluated array components

gcc/ada/

* sem_util.ads (Interval_Lists.Aggregate_Intervals): New
subprogram.
* sem_util.adb (Has_Null_Others_Choice,
Non_Static_Or_Null_Range, Interval_Lists.Aggregate_Intervals):
New subprograms.
(Is_Potentially_Unevaluated): Adding support to detect
potentially unevaluated components of array aggregates.
gcc/ada/sem_util.adb
gcc/ada/sem_util.ads