diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2019-07-10 09:02:08 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-10 09:02:08 +0000 |
| commit | f35688c95a8ab5d3d6eeee51623d69705a00b115 (patch) | |
| tree | 06d697b49f05b47e26d186cdb40b330f0888cb61 | |
| parent | 9a5245da49541aa21f672b491503230403382b43 (diff) | |
| download | gcc-f35688c95a8ab5d3d6eeee51623d69705a00b115.zip gcc-f35688c95a8ab5d3d6eeee51623d69705a00b115.tar.gz gcc-f35688c95a8ab5d3d6eeee51623d69705a00b115.tar.bz2 | |
[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
| -rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ada/sfn_scan.adb | 1 |
2 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 4db8abc..f99b6db 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 66e9a82..377ea19 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; |