diff options
-rw-r--r-- | gcc/testsuite/ChangeLog | 1 | ||||
-rw-r--r-- | gcc/testsuite/gnat.dg/not_null.adb | 24 |
2 files changed, 25 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 393a8d2..70085b1 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,6 +1,7 @@ 2008-08-04 Arnaud Charlet <charlet@adacore.com> * gnat.dg/access_discr2.adb: New test. + * gnat.dg/not_null.adb: New test. 2008-08-04 Richard Guenther <rguenther@suse.de> diff --git a/gcc/testsuite/gnat.dg/not_null.adb b/gcc/testsuite/gnat.dg/not_null.adb new file mode 100644 index 0000000..7d3c63d --- /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; |