projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9a5245d) | patch
[Ada] Add an annotation for static analysis
authorArnaud Charlet <charlet@adacore.com>
Wed, 10 Jul 2019 09:02:08 +0000 (09:02 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Wed, 10 Jul 2019 09:02:08 +0000 (09:02 +0000)
commitf35688c95a8ab5d3d6eeee51623d69705a00b115
tree06d697b49f05b47e26d186cdb40b330f0888cb61tree
parent9a5245da49541aa21f672b491503230403382b43commit | diff
[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
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sfn_scan.adb diff | blob | history