From: Bob Duff <duff@adacore.com>
Date: Tue, 20 Aug 2019 09:48:11 +0000 (+0000)
Subject: [Ada] Sem_Ch13: fix uninitialized parameter static analysis warning
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a89a0dd3b7ae2180dbfdc609fc9d7c61f250b32c;p=gcc.git

[Ada] Sem_Ch13: fix uninitialized parameter static analysis warning

No functional change.

2019-08-20  Bob Duff  <duff@adacore.com>

gcc/ada/

	* sem_ch13.adb (Record_Hole_Check): Initialize After_Last.

From-SVN: r274719
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index b1640e2619c..9c226815ad9 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,7 @@
+2019-08-20  Bob Duff  <duff@adacore.com>
+
+	* sem_ch13.adb (Record_Hole_Check): Initialize After_Last.
+
 2019-08-20  Piotr Trojanek  <trojanek@adacore.com>
 
 	* impunit.adb (Get_Kind_Of_Unit): Revert change for adapting
diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb
index a3a7be728f0..4a07478757d 100644
--- a/gcc/ada/sem_ch13.adb
+++ b/gcc/ada/sem_ch13.adb
@@ -10438,6 +10438,8 @@ package body Sem_Ch13 is
             Sbit := Uint_0;
          end if;
 
+         After_Last := Uint_0;
+
          if Nkind (Decl) = N_Full_Type_Declaration then
             Record_Definition := Type_Definition (Decl);