diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-05-06 22:02:11 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-07-10 05:16:16 -0400 |
| commit | a9d72b1bcfc86f7dbd0e82dd8b44a6eb513cad3b (patch) | |
| tree | 0f2cf2fa09e2bbfc3de7bbd2c42a4c256e700494 /gcc/ada/debug.adb | |
| parent | 964cf38cb37e4766837b284a566cabe0fc737f26 (diff) | |
| download | gcc-a9d72b1bcfc86f7dbd0e82dd8b44a6eb513cad3b.zip gcc-a9d72b1bcfc86f7dbd0e82dd8b44a6eb513cad3b.tar.gz gcc-a9d72b1bcfc86f7dbd0e82dd8b44a6eb513cad3b.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/ada/debug.adb')
0 files changed, 0 insertions, 0 deletions