diff options
| -rw-r--r-- | gcc/ada/sem_prag.adb | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index 5a2dfff..eda8898 100644 --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -21494,7 +21494,11 @@ package body Sem_Prag is Argx : constant Node_Id := Get_Pragma_Arg (Arg1); begin - if Chars (Argx) = Name_Ravenscar then + if Nkind (Argx) /= N_Identifier then + Error_Msg_N + ("argument of pragma Profile must be an identifier", N); + + elsif Chars (Argx) = Name_Ravenscar then Set_Ravenscar_Profile (Ravenscar, N); elsif Chars (Argx) = Name_Jorvik then |