From: pmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Wed, 26 Sep 2018 09:18:58 +0000 (+0000)
Subject: [Ada] Add a No_Return annotation to ease static analysis
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=af8c97e03a6d0ec3e58eba039dd040c5e9ade5d9;p=thirdparty%2Fgcc.git

[Ada] Add a No_Return annotation to ease static analysis

2018-09-26  Hristian Kirtchev  <kirtchev@adacore.com>

gcc/ada/

	* sem_ch5.adb (Wrap_Loop_Statement): Annotate as No_Return.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@264627 138bc75d-0d04-0410-961f-82ee72b054a4
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 9731513188fb..d6ce7847c368 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,7 @@
+2018-09-26  Hristian Kirtchev  <kirtchev@adacore.com>
+
+	* sem_ch5.adb (Wrap_Loop_Statement): Annotate as No_Return.
+
 2018-09-26  Ed Schonberg  <schonberg@adacore.com>
 
 	* exp_util.adb (Make_Predicate_Call): Use OK_Convert_To when
diff --git a/gcc/ada/sem_ch5.adb b/gcc/ada/sem_ch5.adb
index 8c1f94989dcd..1e325ecade18 100644
--- a/gcc/ada/sem_ch5.adb
+++ b/gcc/ada/sem_ch5.adb
@@ -3429,7 +3429,8 @@ package body Sem_Ch5 is
          --  for transformation if needed.
 
          procedure Wrap_Loop_Statement (Manage_Sec_Stack : Boolean);
-         pragma Inline (Wrap_Loop_Statement);
+         pragma Inline    (Wrap_Loop_Statement);
+         pragma No_Return (Wrap_Loop_Statement);
          --  Wrap loop statement N within a block. Flag Manage_Sec_Stack must
          --  be set when the block must mark and release the secondary stack.