diff options
Diffstat (limited to 'gcc/ada/ghost.adb')
| -rw-r--r-- | gcc/ada/ghost.adb | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/ada/ghost.adb b/gcc/ada/ghost.adb index 3d3d67c..2a640a2 100644 --- a/gcc/ada/ghost.adb +++ b/gcc/ada/ghost.adb @@ -469,6 +469,14 @@ package body Ghost is if Ghost_Mode > None then return True; + -- A Ghost type may be referenced in a use_type clause + -- (SPARK RM 6.9.10). + + elsif Present (Parent (Context)) + and then Nkind (Parent (Context)) = N_Use_Type_Clause + then + return True; + -- Routine Expand_Record_Extension creates a parent subtype without -- inserting it into the tree. There is no good way of recognizing -- this special case as there is no parent. Try to approximate the |