diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2008-08-20 15:02:41 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-08-20 17:02:41 +0200 |
| commit | c92d77212d70d505cb1641e3ea8eb72d0f310fdd (patch) | |
| tree | 0e1665229c880e2a86c1ffebc2f6f002f506d78e | |
| parent | fe5dbc2c7605364416e62116d81617f14e492092 (diff) | |
| download | gcc-c92d77212d70d505cb1641e3ea8eb72d0f310fdd.zip gcc-c92d77212d70d505cb1641e3ea8eb72d0f310fdd.tar.gz gcc-c92d77212d70d505cb1641e3ea8eb72d0f310fdd.tar.bz2 | |
* gnat.dg/div_no_warning.adb: New test.
From-SVN: r139311
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/div_no_warning.adb | 15 |
2 files changed, 19 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index ac215eb..6144a4c 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2008-08-20 Arnaud Charlet <charlet@adacore.com> + + * gnat.dg/div_no_warning.adb: New test. + 2008-08-20 H.J. Lu <hongjiu.lu@intel.com> PR target/37169 diff --git a/gcc/testsuite/gnat.dg/div_no_warning.adb b/gcc/testsuite/gnat.dg/div_no_warning.adb new file mode 100644 index 0000000..5b65263 --- /dev/null +++ b/gcc/testsuite/gnat.dg/div_no_warning.adb @@ -0,0 +1,15 @@ +-- { dg-do compile } + +procedure div_no_warning is + Flag : constant Boolean := False; + Var : Boolean := True; + function F return Boolean is + begin + return Var; + end F; + Int : Integer := 0; +begin + if Flag and then F then + Int := Int / 0; + end if; +end div_no_warning; |