diff options
| author | Harald Anlauf <anlauf@gmx.de> | 2019-11-25 19:50:38 +0000 |
|---|---|---|
| committer | Harald Anlauf <anlauf@gcc.gnu.org> | 2019-11-25 19:50:38 +0000 |
| commit | c5144966742c1586b10a73fa833a660049d3ea0f (patch) | |
| tree | 1de6d12de7635f0c7afd1e78256de1f9c9f5d7ef /gcc | |
| parent | 7def9bd7cd9637ec31496febc217ca039de11746 (diff) | |
| download | gcc-c5144966742c1586b10a73fa833a660049d3ea0f.zip gcc-c5144966742c1586b10a73fa833a660049d3ea0f.tar.gz gcc-c5144966742c1586b10a73fa833a660049d3ea0f.tar.bz2 | |
re PR fortran/92629 (internal compiler error: in convert_mpz_to_unsigned, at fortran/simplify.c:173)
2019-11-25 Harald Anlauf <anlauf@gmx.de>
PR fortran/92629
* simplify.c (convert_mpz_to_unsigned): Skip assert for argument
range when -fno-range-check is specified.
PR fortran/92629
* gfortran.dg/pr92629.f90: New testcase.
From-SVN: r278699
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/fortran/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/fortran/simplify.c | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gfortran.dg/pr92629.f90 | 11 |
4 files changed, 26 insertions, 2 deletions
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 95e2213..71aacd2 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,9 @@ +2019-11-25 Harald Anlauf <anlauf@gmx.de> + + PR fortran/92629 + * simplify.c (convert_mpz_to_unsigned): Skip assert for argument + range when -fno-range-check is specified. + 2019-11-25 Mark Eggleston <mark.eggleston@codethink.com> Jim MacArthur <jim.macarthur@codethink.co.uk> diff --git a/gcc/fortran/simplify.c b/gcc/fortran/simplify.c index b48bf01..b02c549 100644 --- a/gcc/fortran/simplify.c +++ b/gcc/fortran/simplify.c @@ -169,8 +169,10 @@ convert_mpz_to_unsigned (mpz_t x, int bitsize) } else { - /* Confirm that no bits above the signed range are set. */ - gcc_assert (mpz_scan1 (x, bitsize-1) == ULONG_MAX); + /* Confirm that no bits above the signed range are set if we + are doing range checking. */ + if (flag_range_check != 0) + gcc_assert (mpz_scan1 (x, bitsize-1) == ULONG_MAX); } } diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 0eead3e..fb8fd9d 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2019-11-25 Harald Anlauf <anlauf@gmx.de> + + PR fortran/92629 + * gfortran.dg/pr92629.f90: New testcase. + 2019-11-25 Paolo Carlini <paolo.carlini@oracle.com> * g++.dg/diagnostic/base-operand-non-pointer-1.C: New. diff --git a/gcc/testsuite/gfortran.dg/pr92629.f90 b/gcc/testsuite/gfortran.dg/pr92629.f90 new file mode 100644 index 0000000..5c2267c --- /dev/null +++ b/gcc/testsuite/gfortran.dg/pr92629.f90 @@ -0,0 +1,11 @@ +! { dg-do run } +! { dg-options "-fno-range-check" } +! +! Test the fix for PR92629. +program bge_tests + if (bge (huge (1_1), 128_1)) stop 1 + if (bge ( 128_1 , 255_1)) stop 2 + if (bge (huge (1_2), 32768_2)) stop 3 + if (bge (huge (1_4), 2147483648_4)) stop 4 + if (bge (huge (1_8), 9223372036854775808_8)) stop 5 +end program |