From: Ghjuvan Lacambre <lacambre@adacore.com>
Date: Fri, 5 Jun 2020 07:46:15 +0000 (+0200)
Subject: [Ada] Do not perform null exclusion static checks on generated entities
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6b7e44c3a4ee6b4328d6dfc76cdc15266d499690;p=thirdparty%2Fgcc.git

[Ada] Do not perform null exclusion static checks on generated entities

gcc/ada/

	* sem_ch3.adb (Analyze_Object_Declaration): Add
	Comes_From_Source call.
---

diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index 78a22a44a3f0..5f92a779633b 100644
--- a/gcc/ada/sem_ch3.adb
+++ b/gcc/ada/sem_ch3.adb
@@ -4055,7 +4055,7 @@ package body Sem_Ch3 is
             then
                null;
 
-            else
+            elsif Comes_From_Source (Id) then
                declare
                   Save_Typ : constant Entity_Id := Etype (Id);
                begin