diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2018-09-26 09:18:58 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-09-26 09:18:58 +0000 |
| commit | 9d9518668b8b908825b28697bf5e2a866ae00e8e (patch) | |
| tree | 229c2bab17d4ac326e7312526b37a3ffc1be2840 | |
| parent | 6cd1ee98eaf775b062c90cb1ef0dc777c086afc2 (diff) | |
| download | gcc-9d9518668b8b908825b28697bf5e2a866ae00e8e.zip gcc-9d9518668b8b908825b28697bf5e2a866ae00e8e.tar.gz gcc-9d9518668b8b908825b28697bf5e2a866ae00e8e.tar.bz2 | |
[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.
From-SVN: r264627
| -rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ada/sem_ch5.adb | 3 |
2 files changed, 6 insertions, 1 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 9731513..d6ce784 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 8c1f949..1e325ec 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. |