https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81956
--- Comment #4 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- Author: ebotcazou Date: Tue Feb 26 08:12:21 2019 New Revision: 269205 URL: https://gcc.gnu.org/viewcvs?rev=269205&root=gcc&view=rev Log: PR ada/81956 Backport from mainline 2017-09-06 Ed Schonberg <schonb...@adacore.com> * exp_ch6.adb (Expand_Call_Helper): Do not optimize calls to null procedures when GNAT coverage is used, so that their (empty) bodies are properly covered. 2017-09-06 Ed Schonberg <schonb...@adacore.com> * exp_ch6.adb (Expand_Call_Helper): Replace call to null procedure by a single null statement, after evaluating the actuals that require it. Modified: branches/gcc-7-branch/gcc/ada/ChangeLog branches/gcc-7-branch/gcc/ada/exp_ch6.adb
