diff options
author | Eric Botcazou <ebotcazou@adacore.com> | 2018-10-22 10:29:57 +0000 |
---|---|---|
committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2018-10-22 10:29:57 +0000 |
commit | bbc960279d3176051db9d134f74997ae9f0b01a7 (patch) | |
tree | 062f8bccf5436eceae1b3ea4733befb3fe645741 | |
parent | 2c2f86741646b349e2dfc6e477c24fa8fbd84b71 (diff) | |
download | gcc-bbc960279d3176051db9d134f74997ae9f0b01a7.zip gcc-bbc960279d3176051db9d134f74997ae9f0b01a7.tar.gz gcc-bbc960279d3176051db9d134f74997ae9f0b01a7.tar.bz2 |
warn19.ad[sb]: New test.
* gnat.dg/warn19.ad[sb]: New test.
* gnat.dg/warn19_pkg.ads: New helper.
From-SVN: r265377
-rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/testsuite/gnat.dg/warn19.adb | 20 | ||||
-rw-r--r-- | gcc/testsuite/gnat.dg/warn19.ads | 6 | ||||
-rw-r--r-- | gcc/testsuite/gnat.dg/warn19_pkg.ads | 6 |
4 files changed, 37 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 1ca5481..42a33ae 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2018-10-22 Eric Botcazou <ebotcazou@adacore.com> + + * gnat.dg/warn19.ad[sb]: New test. + * gnat.dg/warn19_pkg.ads: New helper. + 2018-10-22 Richard Biener <rguenther@suse.de> PR tree-optimization/87640 diff --git a/gcc/testsuite/gnat.dg/warn19.adb b/gcc/testsuite/gnat.dg/warn19.adb new file mode 100644 index 0000000..593344b --- /dev/null +++ b/gcc/testsuite/gnat.dg/warn19.adb @@ -0,0 +1,20 @@ +-- { dg-do compile } +-- { dg-options "-O2 -Wuninitialized" } + +package body Warn19 is + + procedure P_Init (X : out Bits) is + begin + Init (X); + end; + + procedure Setup is + Data : Bits; + begin + P_Init (Data); + for I in Data'Range loop + P_Data (I) := Data (I); + end loop; + end; + +end Warn19; diff --git a/gcc/testsuite/gnat.dg/warn19.ads b/gcc/testsuite/gnat.dg/warn19.ads new file mode 100644 index 0000000..e1bd482 --- /dev/null +++ b/gcc/testsuite/gnat.dg/warn19.ads @@ -0,0 +1,6 @@ +with Warn19_Pkg; use Warn19_Pkg; + +package Warn19 is + P_Data : Bits; + procedure Setup; +end Warn19; diff --git a/gcc/testsuite/gnat.dg/warn19_pkg.ads b/gcc/testsuite/gnat.dg/warn19_pkg.ads new file mode 100644 index 0000000..7cce224 --- /dev/null +++ b/gcc/testsuite/gnat.dg/warn19_pkg.ads @@ -0,0 +1,6 @@ +package Warn19_Pkg is + + type Bits is array (1 .. 4) of Boolean; + procedure Init (X : out Bits); + +end Warn19_Pkg; |