diff options
Diffstat (limited to 'gcc/testsuite/gnat.dg/renaming3.adb')
| -rw-r--r-- | gcc/testsuite/gnat.dg/renaming3.adb | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/renaming3.adb b/gcc/testsuite/gnat.dg/renaming3.adb new file mode 100644 index 00000000000..335a2122121 --- /dev/null +++ b/gcc/testsuite/gnat.dg/renaming3.adb @@ -0,0 +1,12 @@ +-- { dg-do run } + +with Renaming4; use Renaming4; + +procedure Renaming3 is + type A is array(1..16) of Integer; + Filler : A := (others => 0); +begin + if B(1) /= 1 then + raise Program_Error; + end if; +end; |