diff options
Diffstat (limited to 'gcc/testsuite/gnat.dg/addr2.adb')
| -rw-r--r-- | gcc/testsuite/gnat.dg/addr2.adb | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/addr2.adb b/gcc/testsuite/gnat.dg/addr2.adb new file mode 100644 index 000000000..15d51e30d --- /dev/null +++ b/gcc/testsuite/gnat.dg/addr2.adb @@ -0,0 +1,10 @@ +-- { dg-do run } + +with addr2_p; use addr2_p; +procedure addr2 is +begin + Process (B1); + Process (Blk => B1); + Process (B2); + Process (Blk => B2); +end; |