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 /gcc/ada/init.c | |
| 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
Diffstat (limited to 'gcc/ada/init.c')
0 files changed, 0 insertions, 0 deletions