[Bug ada/81956] [7/8/9 regression] calling a null procedure is not skipped

[ebotcazou at gcc dot gnu.org]

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  <schonberg@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  <schonberg@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