projects / gcc.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: aab8cf8)
[Ada] Do not perform null exclusion static checks on generated entities
authorGhjuvan Lacambre <lacambre@adacore.com>
Fri, 5 Jun 2020 07:46:15 +0000 (09:46 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 16 Jul 2020 09:18:00 +0000 (05:18 -0400)
gcc/ada/

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

gcc/ada/sem_ch3.adb patch | blob | history

diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index 78a22a44a3f0d31309455d3514e95b68466de097..5f92a779633b996fa19291910864b9d78dbd4022 100644 (file)
--- 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