diff options
Diffstat (limited to 'gcc/ada/sem_ch3.adb')
| -rw-r--r-- | gcc/ada/sem_ch3.adb | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb index 1f89f2e..e247e66 100644 --- a/gcc/ada/sem_ch3.adb +++ b/gcc/ada/sem_ch3.adb @@ -3154,7 +3154,7 @@ package body Sem_Ch3 is while Present (X) loop C := Etype (X); - if not Is_Static_Subtype (C) then + if not Is_OK_Static_Subtype (C) then Check_Restriction (Max_Tasks, N); return Uint_0; else @@ -17370,7 +17370,7 @@ package body Sem_Ch3 is -- static, even if its bounds are static. if Nkind (I) = N_Subtype_Indication - and then not Is_Static_Subtype (Entity (Subtype_Mark (I))) + and then not Is_OK_Static_Subtype (Entity (Subtype_Mark (I))) then Set_Is_Non_Static_Subtype (Def_Id); end if; @@ -18984,7 +18984,7 @@ package body Sem_Ch3 is -- discrete type definition of a loop parameter specification. if not In_Iter_Schm - and then not Is_Static_Range (R) + and then not Is_OK_Static_Range (R) then Check_SPARK_Restriction ("range should be static", R); end if; |