projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eb73a3a) | patch
[Ada] Do not inline subprograms with deep parameter/result in GNATprove
authorYannick Moy <moy@adacore.com>
Thu, 10 Oct 2019 15:23:47 +0000 (15:23 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Thu, 10 Oct 2019 15:23:47 +0000 (15:23 +0000)
commit9d98b6d8dcaed2b0f5c87418ca2036d1bdc5a881
tree9a76d85d4d881adc82e337253d3d29bcd8e264f9tree
parenteb73a3a91b45bc473705c2f5f82434b2bcbdae3ccommit | diff
[Ada] Do not inline subprograms with deep parameter/result in GNATprove

2019-10-10  Yannick Moy  <moy@adacore.com>

gcc/ada/

* inline.adb (Can_Be_Inlined_In_GNATprove_Mode): Add subprograms
with deep parameter or result type as not candidates for
inlining.

From-SVN: r276821
gcc/ada/ChangeLog diff | blob | history
gcc/ada/inline.adb diff | blob | history