projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: acdd1bd) | patch
[Ada] Cleanup SPARK expansion of aggregates with iterated_component_assoc
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 9 Sep 2020 21:55:55 +0000 (23:55 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 26 Oct 2020 08:58:54 +0000 (04:58 -0400)
commit9fdbcec69455b783f6d4d14f9abe2d33d6376be8
treebf81c07a3b76c1a8cec09dc7b2b4c4bd4abb5c31tree | snapshot
parentacdd1bd4c6c17ba576891543e716eb040410d929commit | diff
[Ada] Cleanup SPARK expansion of aggregates with iterated_component_assoc

gcc/ada/

* exp_spark.adb (Expand_SPARK_Delta_Or_Update): Reuse local
constant Expr and the Choice_List routine.
(Expand_SPARK_N_Aggregate): Reuse local constant Expr.
gcc/ada/exp_spark.adb diff | blob | history
Domain: System / Toolchain;