[Ada] Add an annotation for static analysis

Programming / Compilers / GCC - pmderodat [138bc75d-0d04-0410-961f-82ee72b054a4] - 10 July 2019 09:02 EDT

2019-07-10 Arnaud Charlet

gcc/ada/

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

9dda714b000 [Ada] Add an annotation for static analysis
gcc/ada/ChangeLog | 4 ++++
gcc/ada/sfn_scan.adb | 1 +
2 files changed, 5 insertions(+)

Upstream: gcc.gnu.org


  • Share