]> gcc.gnu.org Git - gcc.git/commit
git://gcc.gnu.org / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aacbf37) | patch
[Ada] Update comment justifying non-inlining for proof inside generics
authorYannick Moy <moy@adacore.com>
Fri, 11 Mar 2022 11:55:16 +0000 (12:55 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 16 May 2022 08:42:04 +0000 (08:42 +0000)
commit7d8e3f5298608dc21757761bcab3b68365e25d1a
treefe7959f0dc84cc1517e4fca5a33bc34c6de6a527tree
parentaacbf3761cdd1048d22dc392216a36599da697e6commit | diff
[Ada] Update comment justifying non-inlining for proof inside generics

gcc/ada/

* inline.adb (Can_Be_Inlined_In_GNATprove_Mode): Update comment.
gcc/ada/inline.adb diff | blob | blame | history
GNU Compiler Collection
This page took 0.055989 seconds and 5 git commands to generate.