diff options
Diffstat (limited to 'gcc/testsuite/gnat.dg/profile_warning.ads')
| -rw-r--r-- | gcc/testsuite/gnat.dg/profile_warning.ads | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/profile_warning.ads b/gcc/testsuite/gnat.dg/profile_warning.ads new file mode 100644 index 000000000..475d83713 --- /dev/null +++ b/gcc/testsuite/gnat.dg/profile_warning.ads @@ -0,0 +1,6 @@ +pragma Profile_Warnings (Ravenscar); +with profile_warning_p; +package profile_warning is + pragma Elaborate_Body; + procedure I is new profile_warning_p.Proc; +end; |