projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f17f564) | patch
[Ada] Do not issue restriction violations on ignored ghost code
authorYannick Moy <moy@adacore.com>
Mon, 16 Dec 2019 10:33:41 +0000 (10:33 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 16 Dec 2019 10:33:41 +0000 (10:33 +0000)
commitbee69f33688293b0c5afdf737d03aca12a8fccb4
treedddd1701bd41a83ab69b05a397ed2a05c3fb6a1btree
parentf17f5647c5ed92a114f23d1f92f6bb3d7815bf87commit | diff
[Ada] Do not issue restriction violations on ignored ghost code

2019-12-16  Yannick Moy  <moy@adacore.com>

gcc/ada/

* exp_ch6.adb: Fix comment.
* sem_res.adb (Resolve_Call): Do not check No_Recursion
restriction or indirectly No_Secondary_Stack restriction, when
inside an ignored ghost subprogram.

From-SVN: r279419
gcc/ada/ChangeLog diff | blob | history
gcc/ada/exp_ch6.adb diff | blob | history
gcc/ada/sem_res.adb diff | blob | history