| commit | de4f7051af5a00c3127cfd5c77f1a5b6d4000e42 | |
| author | Piotr Trojanek <trojanek@adacore.com> | |
| Mon, 16 Oct 2023 15:14:46 +0000 (16 17:14 +0200) | ||
| committer | Marc Poulhiès <poulhies@adacore.com> | |
| Tue, 7 Nov 2023 09:15:04 +0000 (7 10:15 +0100) | ||
| tree | 71478c7a4853dcf4b905d80f965d76414e61b7e9 | treesnapshot (tar.gz zip) |
| parent | 36fcb4b93003d9eb135564d3eb0d07f27a3e2c47 | commitdiff |
ada: Fix expansion of type aspects with handling of aspects
The new handling of aspects stores the aspect expression as the
Expression_Copy of the aspect and not as the Entity of the aspect
identified. This has been changed for most of the aspects, but not for
Type_Invariant and Default_Initial_Condition, which have custom
expansion. Apparently this change only affects GNATprove and not GNAT.
gcc/ada/
* exp_util.adb (Add_Own_DIC, Add_Own_Invariants): Store the aspect
expression in Expression_Copy.
The new handling of aspects stores the aspect expression as the
Expression_Copy of the aspect and not as the Entity of the aspect
identified. This has been changed for most of the aspects, but not for
Type_Invariant and Default_Initial_Condition, which have custom
expansion. Apparently this change only affects GNATprove and not GNAT.
gcc/ada/
* exp_util.adb (Add_Own_DIC, Add_Own_Invariants): Store the aspect
expression in Expression_Copy.
| gcc/ada/exp_util.adb | diffblobblamehistory |