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: https://git.libre-soc.org/?a=commitdiff_plain;h=b5a05dc501aab8cd35122c98a161ddcb15facb9b;p=gcc.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 78a22a44a3f..5f92a779633 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