From: Ghjuvan Lacambre <lacambre@adacore.com>
Date: Fri, 3 Apr 2020 14:57:40 +0000 (+0200)
Subject: [Ada] Check if attribute Passed_By_Reference is called on incomplete types
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=29b82c7d55c818bd25b98e0f9469cbe6adec0e34;p=gcc.git

[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.
---

diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb
index a7d07841458..6f9a7451e91 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);
 
       ------------------