sfn_scan.adb
20.4 KB
-
[Ada] Add an annotation for static analysis · f35688c92019-07-10 Arnaud Charlet <charlet@adacore.com> gcc/ada/ * sfn_scan.adb (Scan_SFN_Pragmas): Add pragma Assert. From-SVN: r273342
Arnaud Charlet committed
2019-07-10 Arnaud Charlet <charlet@adacore.com> gcc/ada/ * sfn_scan.adb (Scan_SFN_Pragmas): Add pragma Assert. From-SVN: r273342