]> gcc.gnu.org Git - gcc.git/commit
git://gcc.gnu.org / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 748976c) | patch
ada: Cleanup comment about mapping parameters when inlining
authorPiotr Trojanek <trojanek@adacore.com>
Fri, 12 Aug 2022 09:51:30 +0000 (11:51 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 7 Nov 2022 08:36:31 +0000 (09:36 +0100)
commit76b35e7227f34e2ce18e50ca637c86d7a1c3ef49
treec03aca26fa02d18be4c547bf42868dc56e34e5detree
parent748976cfc867cb387f0f8180c48233e883223f93commit | diff
ada: Cleanup comment about mapping parameters when inlining

Improve location of the comment about a special case for GNATprove mode.

gcc/ada/

* inline.adb (Establish_Actual_Mapping_For_Inlined_Call): Move
comment next to a condition that it describes.
gcc/ada/inline.adb diff | blob | blame | history
GNU Compiler Collection
This page took 0.067082 seconds and 6 git commands to generate.