From 29b82c7d55c818bd25b98e0f9469cbe6adec0e34 Mon Sep 17 00:00:00 2001
From: Ghjuvan Lacambre <lacambre@adacore.com>
Date: Fri, 3 Apr 2020 16:57:40 +0200
Subject: [PATCH] [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.
---
 gcc/ada/sem_attr.adb | 1 +
 1 file changed, 1 insertion(+)

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);
 
       ------------------
-- 
2.30.2