[Ada] Crash when specifying an abstract subprogram with Stream_Convert

gcc/ada/

	* sem_prag.adb (Check_OK_Stream_Convert_Function): Check for
	abstract subprograms.

diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index b3fa7344dacfaf2af8529e91a77316833cb68989..38761983508ad072ac4769572631006c2524ce8f 100644 (file)
--- a/gcc/ada/sem_prag.adb
+++ b/gcc/ada/sem_prag.adb
@@ -23719,6 +23719,9 @@ package body Sem_Prag is
                   Error_Pragma_Arg
                     ("argument for pragma% must be function of one argument",
                      Arg);
+               elsif Is_Abstract_Subprogram (Ent) then
+                  Error_Pragma_Arg
+                    ("argument for pragma% cannot be abstract", Arg);
                end if;
             end Check_OK_Stream_Convert_Function;