projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 964cf38) | patch
[Ada] Reuse SPARK expansion of attribute Update for delta_aggregate
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 6 May 2020 20:02:11 +0000 (22:02 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 10 Jul 2020 09:16:16 +0000 (05:16 -0400)
commita9d72b1bcfc86f7dbd0e82dd8b44a6eb513cad3b
tree0f2cf2fa09e2bbfc3de7bbd2c42a4c256e700494tree | snapshot
parent964cf38cb37e4766837b284a566cabe0fc737f26commit | diff
[Ada] Reuse SPARK expansion of attribute Update for delta_aggregate

gcc/ada/

* exp_spark.adb (Expand_SPARK_Delta_Or_Update): Refactored from
Expand_SPARK_N_Attribute_Reference; rewrite into N_Aggregate or
N_Delta_Aggregate depending on what is being rewritten.
(Expand_SPARK_N_Delta_Aggregate): New routine to expand
delta_aggregate.
(Expand_SPARK_N_Attribute_Reference): Call the refactored
routine.
gcc/ada/exp_spark.adb diff | blob | history
Domain: System / Toolchain;