diff options
Diffstat (limited to 'gcc/testsuite/gnat.dg/not_null.adb')
-rw-r--r-- | gcc/testsuite/gnat.dg/not_null.adb | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/not_null.adb b/gcc/testsuite/gnat.dg/not_null.adb new file mode 100644 index 00000000000..7d3c63dc9cd --- /dev/null +++ b/gcc/testsuite/gnat.dg/not_null.adb @@ -0,0 +1,24 @@ +-- { dg-do run } + +procedure not_null is + type Not_Null_Int_Ptr is not null access all Integer; + + generic + F : Not_Null_Int_Ptr := null; + package GPack is + end GPack; + +begin + declare + pragma Warnings (Off, "*null not allowed in null-excluding objects"); + pragma Warnings (Off, """Constraint_Error"" will be raised at run time"); + package Inst_2 is new GPack (null); + pragma Warnings (On, "*null not allowed in null-excluding objects"); + pragma Warnings (On, """Constraint_Error"" will be raised at run time"); + begin + null; + end; +exception + when Constraint_Error => + null; +end not_null; |