diff options
| author | Javier Miranda <miranda@adacore.com> | 2020-05-05 13:22:47 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-07-06 07:35:21 -0400 |
| commit | 0fc1b4ad1d2015fd464f4c843945b1919c666c94 (patch) | |
| tree | 482ccdd9331d6d989eccaac0f15ff88192d54d94 /gcc/c | |
| parent | 49665da2e51e3e455fa1ed700987b081c4c3af6e (diff) | |
| download | gcc-0fc1b4ad1d2015fd464f4c843945b1919c666c94.zip gcc-0fc1b4ad1d2015fd464f4c843945b1919c666c94.tar.gz gcc-0fc1b4ad1d2015fd464f4c843945b1919c666c94.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/c')
0 files changed, 0 insertions, 0 deletions