From 7d8e3f5298608dc21757761bcab3b68365e25d1a Mon Sep 17 00:00:00 2001 From: Yannick Moy Date: Fri, 11 Mar 2022 12:55:16 +0100 Subject: [PATCH] [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 | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/gcc/ada/inline.adb b/gcc/ada/inline.adb index a1d22544874..0cc7171588a 100644 --- a/gcc/ada/inline.adb +++ b/gcc/ada/inline.adb @@ -1893,8 +1893,9 @@ package body Inline is then return False; - -- Subprograms in generic instances are currently not inlined, to avoid - -- problems with inlining of standard library subprograms. + -- Subprograms in generic instances are currently not inlined, as this + -- interacts badly with the expansion of object renamings in GNATprove + -- mode. elsif Instantiation_Location (Sloc (Id)) /= No_Location then return False; -- 2.47.2