diff options
| author | Ghjuvan Lacambre <lacambre@adacore.com> | 2020-04-03 16:57:40 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-16 09:07:13 -0400 |
| commit | 29b82c7d55c818bd25b98e0f9469cbe6adec0e34 (patch) | |
| tree | 4e238a504ca1768236d1cc9cf281f2b5f50a81f2 | |
| parent | 93b0021d8c1478a2de07db6ffc7d0cab052b83a1 (diff) | |
| download | gcc-29b82c7d55c818bd25b98e0f9469cbe6adec0e34.zip gcc-29b82c7d55c818bd25b98e0f9469cbe6adec0e34.tar.gz gcc-29b82c7d55c818bd25b98e0f9469cbe6adec0e34.tar.bz2 | |
[Ada] Check if attribute Passed_By_Reference is called on incomplete types
2020-06-16 Ghjuvan Lacambre <lacambre@adacore.com>
gcc/ada/
* sem_attr.adb (Analyze_Attribute): Add
Check_Not_Incomplete_Type call.
| -rw-r--r-- | gcc/ada/sem_attr.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb index a7d0784..6f9a745 100644 --- a/gcc/ada/sem_attr.adb +++ b/gcc/ada/sem_attr.adb @@ -5202,6 +5202,7 @@ package body Sem_Attr is when Attribute_Passed_By_Reference => Check_E0; Check_Type; + Check_Not_Incomplete_Type; Set_Etype (N, Standard_Boolean); ------------------ |