]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d1cb12a) | patch
ada: Untagged incomplete view not detected in ACATS test b3a1a060
authorJavier Miranda <miranda@adacore.com>
Fri, 13 Sep 2024 07:02:02 +0000 (07:02 +0000)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Fri, 25 Oct 2024 09:08:59 +0000 (11:08 +0200)
commit20441f8a30189040df995b1f4800ceed75a8c23c
treeb286be86239892f64ab2c6a4c8d0340b50e37566tree
parentd1cb12a5b870daccfaf2b4d9c91646a00eb01aeecommit | diff
ada: Untagged incomplete view not detected in ACATS test b3a1a060

Adding checks for RM 3.10.1(10): An actual parameter cannot be
of an untagged incomplete view; the result object of a function
call cannot be of an incomplete view.

gcc/ada/ChangeLog:

* sem_res.adb (Resolve_Actuals): Add checks for incomplete
type actuals.
gcc/ada/sem_res.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git