diff options
author | Yannick Moy <moy@adacore.com> | 2019-07-09 07:53:45 +0000 |
---|---|---|
committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-09 07:53:45 +0000 |
commit | 995d28c7551ce6a65bd34355169106aab9ee65b6 (patch) | |
tree | aad0e457523bfb411fb26a2edf8c00da9765613e /gcc/ada/erroutc.adb | |
parent | 578d5941ee23743c28959d84fd5f6eec09c7734d (diff) | |
download | gcc-995d28c7551ce6a65bd34355169106aab9ee65b6.zip gcc-995d28c7551ce6a65bd34355169106aab9ee65b6.tar.gz gcc-995d28c7551ce6a65bd34355169106aab9ee65b6.tar.bz2 |
[Ada] Handle implicit moves in SPARK ownership pointer support
Allocator expressions and sub-expressions of (extension) aggregates are
implicitly the source of assignments in Ada. Thus, they should be moved
when of a deep type when checking ownership rules in SPARK.
There is no impact on compilation.
2019-07-09 Yannick Moy <moy@adacore.com>
gcc/ada/
* sem_spark.adb (Check_Expression): Handle correctly implicit
assignments as part of allocators and (extension) aggregates.
(Get_Root_Object): Adapt for new path expressions.
(Is_Path_Expression): Return True for (extension) aggregate.
From-SVN: r273271
Diffstat (limited to 'gcc/ada/erroutc.adb')
0 files changed, 0 insertions, 0 deletions