]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c10c3c8) | patch
[Ada] Mark parameters as coming from source for GNATprove
authorpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 11 Jun 2018 09:19:07 +0000 (09:19 +0000)
committerpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 11 Jun 2018 09:19:07 +0000 (09:19 +0000)
commit178ba9a26d32bd7ed0f17b79eefc3e31c8d465bc
tree33f359ba485dfff0dde9f51313237e535578b90atree
parentc10c3c8831f7e51ad60a0e61470214d170a5587fcommit | 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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@261423 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog diff | blob | blame | history
gcc/ada/sem_ch6.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git