projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 20643f5) | patch
[Ada] Mark parameters as coming from source for GNATprove
authorYannick Moy <moy@adacore.com>
Mon, 11 Jun 2018 09:19:07 +0000 (09:19 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 11 Jun 2018 09:19:07 +0000 (09:19 +0000)
commit90265b93430c82d817deae512208a76f5241ea1c
tree33f359ba485dfff0dde9f51313237e535578b90atree
parent20643f5032f7f3c11a233861e05f8efb4059e9ddcommit | diff
[Ada] Mark parameters as coming from source for GNATprove

When building a separate subprogram declaration for possible inlining of
local subprograms in GNATprove mode, correctly mark subprogram parameters
as coming from source.

This has no impact on compilation.

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

gcc/ada/

* sem_ch6.adb (Build_Subprogram_Declaration): Mark parameters as coming
from source.

From-SVN: r261423
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_ch6.adb diff | blob | history