projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2f26abc) | patch
[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
treecd100061cf23ce28ab0005abcdc5020eed89efb4tree | snapshot
parent2f26abccd0f04f87e348cb0127cc24fc7265f06acommit | diff
[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 diff | blob | history
gcc/ada/exp_ch6.adb diff | blob | history
Domain: System / Toolchain;