projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9fdbcec) | patch
[Ada] Fix SPARK expansion of iterated_component_assoc in delta aggregate
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 9 Sep 2020 22:01:44 +0000 (00:01 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 26 Oct 2020 08:58:55 +0000 (04:58 -0400)
commit8cb66f960911050e557629447a0cacfab5fc68b1
treeb8ea2763546e34692ce979cecf33147062629714tree
parent9fdbcec69455b783f6d4d14f9abe2d33d6376be8commit | diff
[Ada] Fix SPARK expansion of iterated_component_assoc in delta aggregate

gcc/ada/

* exp_spark.adb (Expand_SPARK_Delta_Or_Update): Add missing call
to Enter_Name, just like it is called for
iterated_component_association in Expand_SPARK_N_Aggregate.
gcc/ada/exp_spark.adb diff | blob | history