diff options
| author | Ghjuvan Lacambre <lacambre@adacore.com> | 2020-06-05 09:46:15 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-07-16 05:18:00 -0400 |
| commit | b5a05dc501aab8cd35122c98a161ddcb15facb9b (patch) | |
| tree | 75ea13b6ac513d3443d8ff770bba04eafaab7549 /gcc | |
| parent | aab8cf8ba42686aa9dee8a2bd61281c921784893 (diff) | |
| download | gcc-b5a05dc501aab8cd35122c98a161ddcb15facb9b.zip gcc-b5a05dc501aab8cd35122c98a161ddcb15facb9b.tar.gz gcc-b5a05dc501aab8cd35122c98a161ddcb15facb9b.tar.bz2 | |
[Ada] Do not perform null exclusion static checks on generated entities
gcc/ada/
* sem_ch3.adb (Analyze_Object_Declaration): Add
Comes_From_Source call.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/sem_ch3.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb index 78a22a4..5f92a77 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 |