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 /gcc/tree-vrp.c | |
| 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
Diffstat (limited to 'gcc/tree-vrp.c')
0 files changed, 0 insertions, 0 deletions