| commit | af8c97e03a6d0ec3e58eba039dd040c5e9ade5d9 | |
| author | pmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Wed, 26 Sep 2018 09:18:58 +0000 (26 09:18 +0000) | ||
| committer | pmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Wed, 26 Sep 2018 09:18:58 +0000 (26 09:18 +0000) | ||
| tree | 229c2bab17d4ac326e7312526b37a3ffc1be2840 | treesnapshot (tar.gz zip) |
| parent | 9645a29859a7e4a230b9f95790abe6aeb6f27879 | commitdiff |
[Ada] Add a No_Return annotation to ease static analysis
2018-09-26 Hristian Kirtchev <kirtchev@adacore.com>
gcc/ada/
* sem_ch5.adb (Wrap_Loop_Statement): Annotate as No_Return.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@264627 138bc75d-0d04-0410-961f-82ee72b054a4
2018-09-26 Hristian Kirtchev <kirtchev@adacore.com>
gcc/ada/
* sem_ch5.adb (Wrap_Loop_Statement): Annotate as No_Return.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@264627 138bc75d-0d04-0410-961f-82ee72b054a4
| gcc/ada/ChangeLog | diffblobblamehistory | |
| gcc/ada/sem_ch5.adb | diffblobblamehistory |