[Ada] Mark extended return of unconstrained type as never inlined
authorYannick Moy <moy@adacore.com>
Mon, 11 Jun 2018 09:18:07 +0000 (09:18 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 11 Jun 2018 09:18:07 +0000 (09:18 +0000)
commitd42dc0ade04ceb5b186fec9cdbc2554251753583
tree5a2b796ed08da66e41ee1774040e60cea304e044
parentd05bdd90e646234d08ceb855f9b4ae06896f4337
[Ada] Mark extended return of unconstrained type as never inlined

Calls to subprograms whose body was an extended return of an unconstrained
type were marked as not inlined, while the subprogram itself was marked as
always inlined. This was inconsistent and could lead to crash in GNATprove.
Now such subprograms are marked as not candidates for inlining.

This mostly impacts GNATprove, as it relates to frontend inlining which is
not used anymore in normal compilation.

2018-06-11  Yannick Moy  <moy@adacore.com>

gcc/ada/

* inline.adb (Build_Body_To_Inline): Consider case of extended return
of unconstrained type as one case where inlining is not supported.
(Expand_Inlined_Call): Remove special case for body as extended return
of unconstrained type.

From-SVN: r261413
gcc/ada/ChangeLog
gcc/ada/inline.adb