diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2008-05-28 13:20:22 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-05-28 15:20:22 +0200 |
| commit | aa94ab941251a643ab8e4a765b721acebecadd44 (patch) | |
| tree | a82db15a25c1dd625fe5c4ac91e8091cbb855aa6 /gcc | |
| parent | 5840819afaad7655de99201bfb1706ee2f1ea9b2 (diff) | |
| download | gcc-aa94ab941251a643ab8e4a765b721acebecadd44.zip gcc-aa94ab941251a643ab8e4a765b721acebecadd44.tar.gz gcc-aa94ab941251a643ab8e4a765b721acebecadd44.tar.bz2 | |
old_errors.adb, [...]: Adjust.
* gnat.dg/old_errors.adb, gnat.dg/deep_old.adb: Adjust.
* gnat.dg/fixce.adb: New test.
* gnat.dg/frunaligned*.ad[sb]: New test.
From-SVN: r136082
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/deep_old.adb | 2 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/fixce.adb | 13 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/frunaligned.adb | 8 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/frunaligned1.ads | 12 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/old_errors.adb | 2 |
6 files changed, 40 insertions, 1 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 1bfa4d2..7533e37 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,8 +1,12 @@ 2008-05-28 Arnaud Charlet <charlet@adacore.com> + * gnat.dg/old_errors.adb, gnat.dg/deep_old.adb: Adjust. + * gnat.dg/specs/iface_eq_test.ads, gnat.dg/specs/iface_eq_test-child.ads: New test. * gnat.dg/specs/self_class.ads: New test. + * gnat.dg/fixce.adb: New test. + * gnat.dg/frunaligned*.ad[sb]: New test. 2008-05-27 Andy Hutchinson <hutchinsonandy@aim.com> diff --git a/gcc/testsuite/gnat.dg/deep_old.adb b/gcc/testsuite/gnat.dg/deep_old.adb index 6aca027..d7818ff 100644 --- a/gcc/testsuite/gnat.dg/deep_old.adb +++ b/gcc/testsuite/gnat.dg/deep_old.adb @@ -1,3 +1,5 @@ +-- { dg-options "-gnatws" } + procedure Deep_Old (X : Integer) is begin begin diff --git a/gcc/testsuite/gnat.dg/fixce.adb b/gcc/testsuite/gnat.dg/fixce.adb new file mode 100644 index 0000000..91e02e7 --- /dev/null +++ b/gcc/testsuite/gnat.dg/fixce.adb @@ -0,0 +1,13 @@ +-- { dg-do run } + +procedure fixce is + type D is delta 128.0 / (2 ** 15) range 0.0 .. 256.0; + type R is range 0 .. 200; + dd : D; + RA : constant array (1 .. 3) of R := (127, 128, 200); +begin + dd := D (RA (2)); + for i in RA'range loop + dd := D (RA (i)); + end loop; +end fixce; diff --git a/gcc/testsuite/gnat.dg/frunaligned.adb b/gcc/testsuite/gnat.dg/frunaligned.adb new file mode 100644 index 0000000..a57e872 --- /dev/null +++ b/gcc/testsuite/gnat.dg/frunaligned.adb @@ -0,0 +1,8 @@ +-- { dg-do compile } +-- { dg-options "-gnatws" } +with FRUnaligned1; use FRUnaligned1; +function FRUnaligned return r is + ss : s; +begin + return ss.y; +end; diff --git a/gcc/testsuite/gnat.dg/frunaligned1.ads b/gcc/testsuite/gnat.dg/frunaligned1.ads new file mode 100644 index 0000000..4a8db36 --- /dev/null +++ b/gcc/testsuite/gnat.dg/frunaligned1.ads @@ -0,0 +1,12 @@ +package FRUnaligned1 is + type r is array (1 .. 72) of Boolean; + pragma Pack (r); + type s is record + x : Boolean; + y : r; + end record; + for s use record + x at 0 range 0 .. 0; + y at 0 range 1 .. 72; + end record; +end FRUnaligned1; diff --git a/gcc/testsuite/gnat.dg/old_errors.adb b/gcc/testsuite/gnat.dg/old_errors.adb index 846c6c6..a5e4d42 100644 --- a/gcc/testsuite/gnat.dg/old_errors.adb +++ b/gcc/testsuite/gnat.dg/old_errors.adb @@ -37,7 +37,7 @@ package body Old_Errors is begin Y := Z'Old; -- { dg-error "cannot refer to local variable" } end; - Y := I'Old; -- OK + Y := I'Old; -- { dg-warning "Old applied to constant has no effect" } Y := O'Old; -- OK Y := IO'Old; -- OK Y := G; -- OK, error has been signalled at G declaration |