diff options
| author | tkoenig <tkoenig@138bc75d-0d04-0410-961f-82ee72b054a4> | 2017-01-23 19:43:28 +0000 |
|---|---|---|
| committer | tkoenig <tkoenig@138bc75d-0d04-0410-961f-82ee72b054a4> | 2017-01-23 19:43:28 +0000 |
| commit | c0b3f681f5ea3dcc23755cad18fe2a1c71f00f98 (patch) | |
| tree | 02869f328c1d246803486b6bbb269f001c4407e2 /gcc | |
| parent | 88682cc875de8d323a3d06174449c22a38bc8d8d (diff) | |
| download | gcc-c0b3f681f5ea3dcc23755cad18fe2a1c71f00f98.tar.gz | |
2017-01-23 Thomas Koenig <tkoenig@netcologne.de>
* arith.c (arith_power): If simplifying integer power expression
to zero, warn if -Winteger-division is given.
2017-01-23 Thomas Koenig <tkoenig@netcologne.de>
* gfortran.dg/integer_exponentiation_7.f90: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@244830 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/fortran/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/fortran/arith.c | 4 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gfortran.dg/integer_exponentiation_7.f90 | 5 |
4 files changed, 18 insertions, 0 deletions
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index b3b883fdf43..d6ebd797b8c 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,8 @@ +2017-01-23 Thomas Koenig <tkoenig@netcologne.de> + + * arith.c (arith_power): If simplifying integer power expression + to zero, warn if -Winteger-division is given. + 2017-01-22 Jakub Jelinek <jakub@redhat.com> PR fortran/79154 diff --git a/gcc/fortran/arith.c b/gcc/fortran/arith.c index 9d14487237f..8fa305c6aee 100644 --- a/gcc/fortran/arith.c +++ b/gcc/fortran/arith.c @@ -874,6 +874,10 @@ arith_power (gfc_expr *op1, gfc_expr *op2, gfc_expr **resultp) { /* if op2 < 0, op1**op2 == 0 because abs(op1) > 1. */ mpz_set_si (result->value.integer, 0); + if (warn_integer_division) + gfc_warning_now (OPT_Winteger_division, "Negative " + "exponent of integer has zero " + "result at %L", &result->where); } else if (gfc_extract_int (op2, &power)) { diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 5bdeda87223..10c34ccc6c4 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2017-01-23 Thomas Koenig <tkoenig@netcologne.de> + + * gfortran.dg/integer_exponentiation_7.f90: New test. + 2017-01-23 Bernd Schmidt <bschmidt@redhat.com> PR rtl-optimization/78634 diff --git a/gcc/testsuite/gfortran.dg/integer_exponentiation_7.f90 b/gcc/testsuite/gfortran.dg/integer_exponentiation_7.f90 new file mode 100644 index 00000000000..fde221938ff --- /dev/null +++ b/gcc/testsuite/gfortran.dg/integer_exponentiation_7.f90 @@ -0,0 +1,5 @@ +! { dg-do compile } +! { dg-options "-Winteger-division" } +program main + print *,10**(-3) ! { dg-warning "Negative exponent of integer has zero result" } +end program main |