projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6cd1ee9) | patch
[Ada] Add a No_Return annotation to ease static analysis
authorHristian Kirtchev <kirtchev@adacore.com>
Wed, 26 Sep 2018 09:18:58 +0000 (09:18 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Wed, 26 Sep 2018 09:18:58 +0000 (09:18 +0000)
commit9d9518668b8b908825b28697bf5e2a866ae00e8e
tree229c2bab17d4ac326e7312526b37a3ffc1be2840tree
parent6cd1ee98eaf775b062c90cb1ef0dc777c086afc2commit | diff
[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.

From-SVN: r264627
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_ch5.adb diff | blob | history