exp_ch6.adb
380 KB
-
[Ada] Do not issue restriction violations on ignored ghost code · bee69f33
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
Yannick Moy committed