diff options
Diffstat (limited to 'gcc/ada/sem_cat.adb')
| -rw-r--r-- | gcc/ada/sem_cat.adb | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/gcc/ada/sem_cat.adb b/gcc/ada/sem_cat.adb index d5d38235f36..c8d06e8cfec 100644 --- a/gcc/ada/sem_cat.adb +++ b/gcc/ada/sem_cat.adb @@ -2191,10 +2191,8 @@ package body Sem_Cat is Flag_Non_Static_Expr ("non-static object name in preelaborated unit", N); - -- We take the view that a constant defined in another preelaborated - -- unit is preelaborable, even though it may have a private type and - -- thus appear non-static in a client. This must be the intent of - -- the language, but currently is an RM gap ??? + -- Give an error for a reference to a nonstatic constant, unless the + -- constant is in another GNAT library unit that is preelaborable. elsif Ekind (Entity (N)) = E_Constant and then not Is_Static_Expression (N) |