[Bug fortran/58003] New: internal compiler error: in convert_mpz_to_unsigned, at fortran/simplify.c:165

[Bug fortran/58003] New: internal compiler error: in convert_mpz_to_unsigned, at fortran/simplify.c:165

[cngilbreth at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58003

            Bug ID: 58003
           Summary: internal compiler error: in convert_mpz_to_unsigned,
                    at fortran/simplify.c:165
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: cngilbreth at gmail dot com

The following program triggers an internal compiler error when compiled with
-fno-range-check:

program test
  use iso_fortran_env
  implicit none

  integer, parameter :: wt = int32

  write (*,'(a)') "Testing popcnt ..."
  if (bit_size(1_wt) >= 64) then
     write (*,*) popcnt(int(z'0F00F00080000001',wt)) == 10
  end if
  if (bit_size(1_wt) >= 32) then
     write (*,*) popcnt(int(z'800F0001',wt)) == 6
  end if

end program test


(Is this valid Fortran?)


$ gfortran -fno-range-check test.f90
f951: internal compiler error: in convert_mpz_to_unsigned, at
fortran/simplify.c:165

f951: internal compiler error: Abort trap: 6
gfortran: internal compiler error: Abort trap: 6 (program f951)
Abort trap: 6


$ gfortran --version
GNU Fortran (GCC) 4.8.0
Copyright (C) 2013 Free Software Foundation, Inc.

[Bug fortran/58003] internal compiler error: in convert_mpz_to_unsigned, at fortran/simplify.c:165

[burnus at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58003

Tobias Burnus <burnus at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-07-27
                 CC|                            |burnus at gcc dot gnu.org
     Ever confirmed|0                           |1
      Known to fail|                            |4.8.0, 4.9.0

--- Comment #1 from Tobias Burnus <burnus at gcc dot gnu.org> ---
Confirmed

[Bug fortran/58003] internal compiler error: in convert_mpz_to_unsigned, at fortran/simplify.c:165

[cngilbreth at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58003

--- Comment #3 from Chris Gilbreth <cngilbreth at gmail dot com> ---
Thanks

[Bug fortran/58003] internal compiler error: in convert_mpz_to_unsigned, at fortran/simplify.c:165

[tkoenig at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58003

Thomas Koenig <tkoenig at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
                 CC|                            |tkoenig at gcc dot gnu.org
           Assignee|unassigned at gcc dot gnu.org      |tkoenig at gcc dot gnu.org

--- Comment #4 from Thomas Koenig <tkoenig at gcc dot gnu.org> ---
I have a patch.

[Bug fortran/58003] internal compiler error: in convert_mpz_to_unsigned, at fortran/simplify.c:165

[tkoenig at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58003

--- Comment #5 from Thomas Koenig <tkoenig at gcc dot gnu.org> ---
Author: tkoenig
Date: Sun Apr 27 10:48:56 2014
New Revision: 209836

URL: http://gcc.gnu.org/viewcvs?rev=209836&root=gcc&view=rev
Log:
2014-03-27  Thomas Koenig  <tkoenig@gcc.gnu.org>

    PR fortran/59604
    PR fortran/58003
    * gfortran.h (gfc_convert_mpz_to_signed):  Add prototype.
    * arith.c (gfc_int2int):  Convert number to signed if
    arithmetic overflow is not checked.
    * simplify.c (convert_mpz_to_unsigned): Only trigger assert for
    size if range checking is in force.
    (convert_mpz_to_signed):  Make non-static, rename to
    (gfc_convert_mpz_to_signed).
    (simplify_dshift): Use gfc_convert_mpz_to_signed.
    (gfc_simplify_ibclr):  Likewise.
    (gfc_simplify_ibits):  Likewise.
    (gfc_simplify_ibset):  Likewise.
    (simplify_shift):  Likewise.
    (gfc_simplify_ishiftc):  Likewise.
    (gfc_simplify_maskr):  Likewise.
    (gfc_simplify_maskl):  Likewise.

2014-03-27  Thomas Koenig  <tkoenig@gcc.gnu.org>

    PR fortran/59604
    PR fortran/58003
    * gfortran.dg/no_range_check_3.f90:  New test.


Added:
    trunk/gcc/testsuite/gfortran.dg/no_range_check_3.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/arith.c
    trunk/gcc/fortran/gfortran.h
    trunk/gcc/fortran/simplify.c
    trunk/gcc/testsuite/ChangeLog

[Bug fortran/58003] internal compiler error: in convert_mpz_to_unsigned, at fortran/simplify.c:165

[tkoenig at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58003
Bug 58003 depends on bug 59604, which changed state.

Bug 59604 Summary: Constant comparisons with -fno-range-check and int(z'...')
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59604

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

[Bug fortran/58003] internal compiler error: in convert_mpz_to_unsigned, at fortran/simplify.c:165

[tkoenig at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58003

Thomas Koenig <tkoenig at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #6 from Thomas Koenig <tkoenig at gcc dot gnu.org> ---
Fixed on trunk, closing.  Not a regression,
therefore no backport.  (A workaround would
be to use TRANSFER).