From 18cb6d78c4c974d02855890c04f65d1f82a51667 Mon Sep 17 00:00:00 2001 From: charlet Date: Fri, 13 Jan 2017 10:01:38 +0000 Subject: 2017-01-13 Tristan Gingold * s-mmap.adb, s-mmap.ads (Open_Read_No_Exception): New function. (Open_Read): Re-implement using Open_Read_No_Exception. (Open_Write): Raise exception in case of error. * s-mmosin-mingw.adb (Open_Common): Do not raise exception. * s-mmosin-unix.adb (Open_Read, Open_Write): Do not reaise exception. * s-mmosin-mingw.ads, s-mmosin-unix.ads (Open_Read): Adjust comment. 2017-01-13 Yannick Moy * checks.adb: Code cleanup. 2017-01-13 Yannick Moy * freeze.adb (Check_Inherited_Conditions): Use analyzed pragma expression instead of unanalyzed aspect expression for checking the validity of inheriting an operation. Also copy the expression being passing it to Build_Class_Wide_Expression, as this call modifies its argument. * sem_util.ads Fix comment to reference correct function name New_Copy_Tree. 2017-01-13 Javier Miranda * sem_res.adb (Resolve_Generalized_Indexing): Compiling in ASIS mode, when we propagate information about the indexes back to the original indexing mode and the prefix of the index is a function call, do not remove any parameter from such call. 2017-01-13 Gary Dismukes * exp_ch6.ads (Needs_BIP_Finalization_Master): Update comment. * exp_ch6.adb (Needs_BIP_Finalization_Master): Return True for a build-in-place function whose result type is tagged. 2017-01-13 Yannick Moy * sem_ch8.adb (Analyze_Subprogram_Renaming.Build_Class_Wide_Wrapper): Do not generate a wrapper when the only candidate is a class-wide subprogram. (Analyze_Subprogram_Renaming): Do not freeze the renaming or renamed inside a generic context. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@244399 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ada/exp_ch6.ads | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'gcc/ada/exp_ch6.ads') diff --git a/gcc/ada/exp_ch6.ads b/gcc/ada/exp_ch6.ads index 5d23e47e743..249bf14a10b 100644 --- a/gcc/ada/exp_ch6.ads +++ b/gcc/ada/exp_ch6.ads @@ -201,7 +201,9 @@ package Exp_Ch6 is function Needs_BIP_Finalization_Master (Func_Id : Entity_Id) return Boolean; -- Ada 2005 (AI-318-02): Return True if the result subtype of function - -- Func_Id needs finalization actions. + -- Func_Id might need finalization actions. This includes build-in-place + -- functions with tagged result types, since they can be invoked via + -- dispatching calls, and descendant types may require finalization. function Needs_Result_Accessibility_Level (Func_Id : Entity_Id) return Boolean; -- cgit v1.2.1