From: Javier Miranda Date: Fri, 27 Jan 2023 13:19:25 +0000 (+0000) Subject: ada: Spurious error on function returning CPP type X-Git-Tag: basepoints/gcc-15~9244 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=b979a474167624bf658fd30a23e99f087d7c6e0a;p=thirdparty%2Fgcc.git ada: Spurious error on function returning CPP type gcc/ada/ * exp_ch6.adb (Needs_BIP_Alloc_Form): Return False for functions with foreign convention since we never use build-in-place for such functions. --- diff --git a/gcc/ada/exp_ch6.adb b/gcc/ada/exp_ch6.adb index af7f75342fa5..b8e5a720a7cd 100644 --- a/gcc/ada/exp_ch6.adb +++ b/gcc/ada/exp_ch6.adb @@ -9435,9 +9435,14 @@ package body Exp_Ch6 is -- types, and those can be used to call primitives, so the formal needs -- to be passed to all such build-in-place functions, primitive or not. + -- We never use build-in-place if the function has foreign convention, + -- but note that it is OK for a build-in-place function to return a + -- type with a foreign convention because the machinery ensures there + -- is no copying. + return not Restriction_Active (No_Secondary_Stack) and then (Needs_Secondary_Stack (Typ) or else Is_Tagged_Type (Typ)) - and then not Has_Foreign_Convention (Typ); + and then not Has_Foreign_Convention (Func_Id); end Needs_BIP_Alloc_Form; -------------------------------------