]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Fix limited_with in Check_Scil; allow for <> in pp of aggregate
authorTucker Taft <taft@adacore.com>
Tue, 12 Dec 2023 20:28:37 +0000 (20:28 +0000)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 9 Jan 2024 13:13:31 +0000 (14:13 +0100)
commit1e964635b64a8e65492751082b39c677f95f39e3
tree1eaa2f4be3dd91d39df26e44ead1586e655c2627
parentfc48e3b206039b4bc7e636f13a8f65d80d93b2d4
ada: Fix limited_with in Check_Scil; allow for <> in pp of aggregate

Check_Scil failed due to not handling a type that came from a package that was
mentioned in a limited-with clause.  Also, an aggregate with an uninitialized
component was not being pretty-printed properly.

gcc/ada/

* pprint.adb (List_Name): Check for "Box_Present" when displaying
a list, and emit "<>" if returns True.
* sem_scil.adb (Check_SCIL_Node): Handle case when the type of a
parameter is from a package that was mentioned in a limited with
clause, and make no further checks, since this check routine does
not have all the logic to check such a usage.
gcc/ada/pprint.adb
gcc/ada/sem_scil.adb