]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 49665da) | patch
[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
tree482ccdd9331d6d989eccaac0f15ff88192d54d94tree | snapshot
parent49665da2e51e3e455fa1ed700987b081c4c3af6ecommit | diff
[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 diff | blob | blame | history
gcc/ada/sem_util.ads diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git