diff options
| author | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-09-19 09:07:19 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-09-19 09:07:19 +0000 |
| commit | 9412007cea62fe6181dfab389c578a0f0839baf8 (patch) | |
| tree | 07c74f3111f10a96da3b54ed7d44d12db000576d /gcc/tree-vrp.c | |
| parent | 197d2f5b2c2bece593f29ffe1e98c23f62ffbbbb (diff) | |
| download | gcc-9412007cea62fe6181dfab389c578a0f0839baf8.zip gcc-9412007cea62fe6181dfab389c578a0f0839baf8.tar.gz gcc-9412007cea62fe6181dfab389c578a0f0839baf8.tar.bz2 | |
validity_check.adb: Minor dg-options simplification.
gcc/testsuite/
* gnat.dg/validity_check.adb: Minor dg-options simplification.
From-SVN: r252971
Diffstat (limited to 'gcc/tree-vrp.c')
0 files changed, 0 insertions, 0 deletions