comparison gcc/ada/exp_ch6.ads @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents 84e7813d76e9
children
comparison
equal deleted inserted replaced
131:84e7813d76e9 145:1830386684a0
4 -- -- 4 -- --
5 -- E X P _ C H 6 -- 5 -- E X P _ C H 6 --
6 -- -- 6 -- --
7 -- S p e c -- 7 -- S p e c --
8 -- -- 8 -- --
9 -- Copyright (C) 1992-2018, Free Software Foundation, Inc. -- 9 -- Copyright (C) 1992-2019, Free Software Foundation, Inc. --
10 -- -- 10 -- --
11 -- GNAT is free software; you can redistribute it and/or modify it under -- 11 -- GNAT is free software; you can redistribute it and/or modify it under --
12 -- terms of the GNU General Public License as published by the Free Soft- -- 12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 3, or (at your option) any later ver- -- 13 -- ware Foundation; either version 3, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- 14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
242 -- Ada 2005 (AI-318-02): Return True if the result subtype of function 242 -- Ada 2005 (AI-318-02): Return True if the result subtype of function
243 -- Func_Id might need finalization actions. This includes build-in-place 243 -- Func_Id might need finalization actions. This includes build-in-place
244 -- functions with tagged result types, since they can be invoked via 244 -- functions with tagged result types, since they can be invoked via
245 -- dispatching calls, and descendant types may require finalization. 245 -- dispatching calls, and descendant types may require finalization.
246 246
247 function Needs_BIP_Task_Actuals (Func_Id : Entity_Id) return Boolean;
248 -- Return True if the function returns an object of a type that has tasks.
249
247 function Needs_Result_Accessibility_Level 250 function Needs_Result_Accessibility_Level
248 (Func_Id : Entity_Id) return Boolean; 251 (Func_Id : Entity_Id) return Boolean;
249 -- Ada 2012 (AI05-0234): Return True if the function needs an implicit 252 -- Ada 2012 (AI05-0234): Return True if the function needs an implicit
250 -- parameter to identify the accessibility level of the function result 253 -- parameter to identify the accessibility level of the function result
251 -- "determined by the point of call". 254 -- "determined by the point of call".