diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-09-01 10:55:34 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-23 04:24:57 -0400 |
| commit | 0edbf7fa1228faabed48586c7f036afe311c1c51 (patch) | |
| tree | 40cacc9df23f7fe4c3912071238adaf1f6ee782b /gcc/ada/gcc-interface/decl.c | |
| parent | f2668d9058fd2f6299d2f4b3d5fff590d819361f (diff) | |
| download | gcc-0edbf7fa1228faabed48586c7f036afe311c1c51.zip gcc-0edbf7fa1228faabed48586c7f036afe311c1c51.tar.gz gcc-0edbf7fa1228faabed48586c7f036afe311c1c51.tar.bz2 | |
[Ada] Fix crash in SPARK on array delta_aggregate with subtype_indication
gcc/ada/
* exp_spark.adb (Expand_SPARK_Delta_Or_Update): Handle
subtype_indication; do not apply range checks for ranges; add
comment saying that others_choices is not allowed.
Diffstat (limited to 'gcc/ada/gcc-interface/decl.c')
0 files changed, 0 insertions, 0 deletions