https://gcc.gnu.org/g:1feb6d81a3ab587382817cd7a39222b6c83f68ac
commit r15-1315-g1feb6d81a3ab587382817cd7a39222b6c83f68ac
Author: Justin Squirek <squi...@adacore.com>
Date: Fri May 10 11:18:01 2024 +0000
ada: Crash checking accessibility level on private type
This patch fixes an issue in the compiler whereby calculating a static
accessibility level on a private type with an access discriminant resulted
in a compile time crash when No_Dynamic_Accessibility_Checks is enabled.
gcc/ada/
* accessibility.adb:
(Accessibility_Level): Replace call Get_Full_View with call to
Full_View since Get_Full_View only works with incomplete types.
Diff:
---
gcc/ada/accessibility.adb | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/gcc/ada/accessibility.adb b/gcc/ada/accessibility.adb
index 47b3a7af10a5..da4d1d9ce2e2 100644
--- a/gcc/ada/accessibility.adb
+++ b/gcc/ada/accessibility.adb
@@ -2227,7 +2227,11 @@ package body Accessibility is
-- that of the type.
elsif Ekind (Def_Ent) = E_Discriminant then
- return Scope_Depth (Get_Full_View (Scope (Def_Ent)));
+ return Scope_Depth
+ (if Present (Full_View (Scope (Def_Ent))) then
+ Full_View (Scope (Def_Ent))
+ else
+ Scope (Def_Ent));
end if;
end if;
