[Ada] Spurious restriction violation on Ghost code
authorEd Schonberg <schonberg@adacore.com>
Thu, 10 Oct 2019 15:23:14 +0000 (15:23 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Thu, 10 Oct 2019 15:23:14 +0000 (15:23 +0000)
commit95a7982243dd1e589ed59007d36f36027a3412ef
treecd100061cf23ce28ab0005abcdc5020eed89efb4
parent2f26abccd0f04f87e348cb0127cc24fc7265f06a
[Ada] Spurious restriction violation on Ghost code

2019-10-10  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

* exp_ch6.adb (Expand_Simple_Function_Return_Statement): If the
function to which the return statement applies is an
Ignored_Ghost_Function, do not indicate that it uses the
secondary stack when the return type is unconstrained.

From-SVN: r276814
gcc/ada/ChangeLog
gcc/ada/exp_ch6.adb