From: Arnaud Charlet <charlet@adacore.com>
Date: Wed, 10 Jul 2019 09:02:08 +0000 (+0000)
Subject: [Ada] Add an annotation for static analysis
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f35688c95a8ab5d3d6eeee51623d69705a00b115;p=gcc.git

[Ada] Add an annotation for static analysis

2019-07-10  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

	* sfn_scan.adb (Scan_SFN_Pragmas): Add pragma Assert.

From-SVN: r273342
---

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  <charlet@adacore.com>
+
+	* sfn_scan.adb (Scan_SFN_Pragmas): Add pragma Assert.
+
 2019-07-10  Hristian Kirtchev  <kirtchev@adacore.com>
 
 	* 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;