]> git.ipfire.org Git - thirdparty/gcc.git/commit
[Ada] Create internal type for null array aggregate as an itype
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 27 Jul 2022 07:37:05 +0000 (09:37 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 5 Sep 2022 07:21:06 +0000 (09:21 +0200)
commit66d4ff2658fc2d5115092da29249191feac75308
treeed9b8b6b263a6dd31b4f9d58f7fdbb4d650e5b19
parent47a03f3e45f78ea1837b07468bb03348137e0df2
[Ada] Create internal type for null array aggregate as an itype

Internal type created for the null array aggregate of Ada 2022 was
created as a temporary entity and then flagged as internal, but it is
better to create this type directly as an itype.

In particular, when the null array aggregate appears in a spec
expression, its type declaration will not be attached to the AST.
An itype will have Associated_Node_For_Itype, so that the context of
the type can be recovered, which is what GNATprove does.

gcc/ada/

* sem_aggr.adb (Resolve_Null_Array_Aggregate): Create internal
type for the aggregate as an itype.
gcc/ada/sem_aggr.adb