sem_ch5.adb
160 KB
-
[Ada] Add a No_Return annotation to ease static analysis · 9d9518662018-09-26 Hristian Kirtchev <kirtchev@adacore.com> gcc/ada/ * sem_ch5.adb (Wrap_Loop_Statement): Annotate as No_Return. From-SVN: r264627
Hristian Kirtchev committed