From f35688c95a8ab5d3d6eeee51623d69705a00b115 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Wed, 10 Jul 2019 09:02:08 +0000 Subject: [PATCH] [Ada] Add an annotation for static analysis 2019-07-10 Arnaud Charlet gcc/ada/ * sfn_scan.adb (Scan_SFN_Pragmas): Add pragma Assert. From-SVN: r273342 --- gcc/ada/ChangeLog | 4 ++++ gcc/ada/sfn_scan.adb | 1 + 2 files changed, 5 insertions(+) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 4db8abc5fa2..f99b6db923c 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2019-07-10 Arnaud Charlet + + * sfn_scan.adb (Scan_SFN_Pragmas): Add pragma Assert. + 2019-07-10 Hristian Kirtchev * sem_ch3.adb (Check_Nonoverridable_Aspects): Correct the diff --git a/gcc/ada/sfn_scan.adb b/gcc/ada/sfn_scan.adb index 66e9a82433b..377ea19fa33 100644 --- a/gcc/ada/sfn_scan.adb +++ b/gcc/ada/sfn_scan.adb @@ -607,6 +607,7 @@ package body SFN_Scan is exception when others => + pragma Assert (P'Valid); Cursor := P - S'First + 1; raise; end Scan_SFN_Pragmas; -- 2.30.2