From af8c97e03a6d0ec3e58eba039dd040c5e9ade5d9 Mon Sep 17 00:00:00 2001 From: pmderodat Date: Wed, 26 Sep 2018 09:18:58 +0000 Subject: [PATCH] [Ada] Add a No_Return annotation to ease static analysis 2018-09-26 Hristian Kirtchev 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 --- gcc/ada/ChangeLog | 4 ++++ gcc/ada/sem_ch5.adb | 3 ++- 2 files changed, 6 insertions(+), 1 deletion(-) 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 + + * sem_ch5.adb (Wrap_Loop_Statement): Annotate as No_Return. + 2018-09-26 Ed Schonberg * 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. -- 2.47.2