diff options
Diffstat (limited to 'gcc/testsuite/gnat.dg/addr2_p.adb')
| -rw-r--r-- | gcc/testsuite/gnat.dg/addr2_p.adb | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/addr2_p.adb b/gcc/testsuite/gnat.dg/addr2_p.adb new file mode 100644 index 000000000..82e151cd7 --- /dev/null +++ b/gcc/testsuite/gnat.dg/addr2_p.adb @@ -0,0 +1,11 @@ + +with System; +package body addr2_p is + procedure Process (Blk : Block) is + use type System.Address; + begin + if Blk'Address /= B1'Address and then Blk'Address /= B2'Address then + raise Program_Error; + end if; + end; +end; |