[Ada] Fix run-time segfault with derived access-to-subprogram type
This fixes a segfault at run time for the call to a local subprogram through an access value if the type of this access value is derived from an initial access-to-subprogram type and the access value was originally obtained with the initial type. 2019-09-19 Eric Botcazou <ebotcazou@adacore.com> gcc/ada/ * sem_ch3.adb (Build_Derived_Access_Type): If this is an access- to-subprogram type, copy Can_Use_Internal_Rep from the parent. gcc/testsuite/ * gnat.dg/access9.adb: New testcase. From-SVN: r275945
This commit is contained in:
parent
f5766e3b54
commit
46a500a5cc
|
@ -1,3 +1,8 @@
|
|||
2019-09-19 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* sem_ch3.adb (Build_Derived_Access_Type): If this is an access-
|
||||
to-subprogram type, copy Can_Use_Internal_Rep from the parent.
|
||||
|
||||
2019-09-19 Yannick Moy <moy@adacore.com>
|
||||
|
||||
* gcc-interface/Make-lang.in: Remove references to sem_spark.
|
||||
|
|
|
@ -6723,6 +6723,11 @@ package body Sem_Ch3 is
|
|||
Has_Private_Component (Derived_Type));
|
||||
Conditional_Delay (Derived_Type, Subt);
|
||||
|
||||
if Is_Access_Subprogram_Type (Derived_Type) then
|
||||
Set_Can_Use_Internal_Rep
|
||||
(Derived_Type, Can_Use_Internal_Rep (Parent_Type));
|
||||
end if;
|
||||
|
||||
-- Ada 2005 (AI-231): Set the null-exclusion attribute, and verify
|
||||
-- that it is not redundant.
|
||||
|
||||
|
|
|
@ -1,3 +1,7 @@
|
|||
2019-09-19 Eric Botcazou <ebotcazou@adacore.com>
|
||||
|
||||
* gnat.dg/access9.adb: New testcase.
|
||||
|
||||
2019-09-19 Ed Schonberg <schonberg@adacore.com>
|
||||
|
||||
* gnat.dg/predicate14.adb, gnat.dg/predicate14.ads: New
|
||||
|
|
|
@ -0,0 +1,20 @@
|
|||
-- { dg-do run }
|
||||
|
||||
procedure Access9 is
|
||||
|
||||
type A_Type is access procedure;
|
||||
|
||||
type B_Type is new A_Type;
|
||||
|
||||
procedure Invoke (B : B_Type) is
|
||||
begin
|
||||
B.all;
|
||||
end;
|
||||
|
||||
procedure Nested is begin null; end;
|
||||
|
||||
A : A_Type := Nested'Access;
|
||||
|
||||
begin
|
||||
Invoke (B_Type (A));
|
||||
end;
|
Loading…
Reference in New Issue