diff options
| author | Javier Miranda <miranda@adacore.com> | 2024-09-13 07:02:02 +0000 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2024-10-25 11:08:59 +0200 |
| commit | 20441f8a30189040df995b1f4800ceed75a8c23c (patch) | |
| tree | b286be86239892f64ab2c6a4c8d0340b50e37566 /gcc/ada/libgnat | |
| parent | d1cb12a5b870daccfaf2b4d9c91646a00eb01aee (diff) | |
| download | gcc-20441f8a30189040df995b1f4800ceed75a8c23c.zip gcc-20441f8a30189040df995b1f4800ceed75a8c23c.tar.gz gcc-20441f8a30189040df995b1f4800ceed75a8c23c.tar.bz2 | |
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.
Diffstat (limited to 'gcc/ada/libgnat')
0 files changed, 0 insertions, 0 deletions