[Bug fortran/46794] New: ICE on valid code involving power of small integer kinds

[Bug fortran/46794] New: ICE on valid code involving power of small integer kinds

[domob at gcc dot gnu.org]

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

           Summary: ICE on valid code involving power of small integer
                    kinds
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: domob@gcc.gnu.org


The following reduced code ICEs:

PROGRAM main
  IMPLICIT NONE
  INTEGER(KIND=2) :: j

  j = 1_2 + 1_2**j
END PROGRAM main

I get something like:

[/tmp]# gfortran-dev test.f03 
test.f03: In function 'MAIN__':
test.f03:1:0: error: type mismatch in binary expression
integer(kind=2)

integer(kind=4)

integer(kind=2)

j = D.1476 + 1;

test.f03:1:0: internal compiler error: verify_gimple failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

The problem is that for "small" integer kinds (1 and 2) we still call the
library power routine for kind 4 but the result is not converted back to the
smaller integer kinds properly.

This seems to be a regression, with 4.3 and 4.5 the code compiles cleanly for 
me.

[Bug fortran/46794] ICE on valid code involving power of small integer kinds

[domob at gcc dot gnu.org]

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

Daniel Kraft <domob at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2010.12.03 21:17:50
         AssignedTo|unassigned at gcc dot       |domob at gcc dot gnu.org
                   |gnu.org                     |
     Ever Confirmed|0                           |1

--- Comment #1 from Daniel Kraft <domob at gcc dot gnu.org> 2010-12-03 21:17:50 UTC ---
Taking this on.

[Bug fortran/46794] ICE on valid code involving power of small integer kinds

[domob at gcc dot gnu.org]

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

--- Comment #2 from Daniel Kraft <domob at gcc dot gnu.org> 2010-12-04 09:27:20 UTC ---
Author: domob
Date: Sat Dec  4 09:27:17 2010
New Revision: 167453

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=167453
Log:
2010-12-04  Daniel Kraft  <d@domob.eu>

    PR fortran/46794
    * trans-expr.c (gfc_conv_power_op): Handle kind of result expression
    correctly for integer kind 1 and 2 operands.

2010-12-04  Daniel Kraft  <d@domob.eu>

    PR fortran/46794
    * gfortran.dg/power2.f90: New test.

Added:
    trunk/gcc/testsuite/gfortran.dg/power2.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/trans-expr.c
    trunk/gcc/testsuite/ChangeLog

[Bug fortran/46794] ICE on valid code involving power of small integer kinds

[domob at gcc dot gnu.org]

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

--- Comment #3 from Daniel Kraft <domob at gcc dot gnu.org> 2010-12-04 09:29:31 UTC ---
Fixed on trunk.  Since Tobias sees this problem also with 4.4, I will
investigate further whether we should backport to 4.5 and 4.4.

[Bug fortran/46794] ICE on valid code involving power of small integer kinds

[domob at gcc dot gnu.org]

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

--- Comment #4 from Daniel Kraft <domob at gcc dot gnu.org> 2010-12-04 12:12:40 UTC ---
Author: domob
Date: Sat Dec  4 12:12:35 2010
New Revision: 167454

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=167454
Log:
2010-12-04  Daniel Kraft  <d@domob.eu>

    PR fortran/46794
    * trans-expr.c (gfc_conv_power_op): Handle kind of result expression
    correctly for integer kind 1 and 2 operands.

2010-12-04  Daniel Kraft  <d@domob.eu>

    PR fortran/46794
    * gfortran.dg/power2.f90: New test.

Added:
    branches/gcc-4_5-branch/gcc/testsuite/gfortran.dg/power2.f90
Modified:
    branches/gcc-4_5-branch/gcc/fortran/ChangeLog
    branches/gcc-4_5-branch/gcc/fortran/trans-expr.c
    branches/gcc-4_5-branch/gcc/testsuite/ChangeLog

[Bug fortran/46794] ICE on valid code involving power of small integer kinds

[domob at gcc dot gnu.org]

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

--- Comment #5 from Daniel Kraft <domob at gcc dot gnu.org> 2010-12-05 10:09:29 UTC ---
Author: domob
Date: Sun Dec  5 10:09:25 2010
New Revision: 167471

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=167471
Log:
2010-12-05  Daniel Kraft  <d@domob.eu>

    PR fortran/46794
    * gfortran.dg/power2.f90: Initialize variables.

Modified:
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gfortran.dg/power2.f90

[Bug fortran/46794] ICE on valid code involving power of small integer kinds

[domob at gcc dot gnu.org]

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

--- Comment #6 from Daniel Kraft <domob at gcc dot gnu.org> 2010-12-09 15:55:16 UTC ---
Author: domob
Date: Thu Dec  9 15:55:13 2010
New Revision: 167644

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=167644
Log:
2010-12-09  Daniel Kraft  <d@domob.eu>

    PR fortran/46794
    * trans-expr.c (gfc_conv_power_op): Handle kind of result expression
    correctly for integer kind 1 and 2 operands.

2010-12-09  Daniel Kraft  <d@domob.eu>

    PR fortran/46794
    * gfortran.dg/power2.f90: New test.

Added:
    branches/gcc-4_4-branch/gcc/testsuite/gfortran.dg/power2.f90
Modified:
    branches/gcc-4_4-branch/gcc/fortran/ChangeLog
    branches/gcc-4_4-branch/gcc/fortran/trans-expr.c
    branches/gcc-4_4-branch/gcc/testsuite/ChangeLog

[Bug fortran/46794] ICE on valid code involving power of small integer kinds

[domob at gcc dot gnu.org]

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

--- Comment #7 from Daniel Kraft <domob at gcc dot gnu.org> 2010-12-17 15:30:02 UTC ---
Author: domob
Date: Fri Dec 17 15:29:55 2010
New Revision: 167990

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=167990
Log:
2010-12-17  Daniel Kraft  <d@domob.eu>

    PR fortran/46794
    * gfortran.dg/power2.f90: Initialize variables.

Modified:
    branches/gcc-4_5-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_5-branch/gcc/testsuite/gfortran.dg/power2.f90

[Bug fortran/46794] ICE on valid code involving power of small integer kinds

[domob at gcc dot gnu.org]

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

Daniel Kraft <domob at gcc dot gnu.org> changed:

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

--- Comment #8 from Daniel Kraft <domob at gcc dot gnu.org> 2010-12-17 15:32:32 UTC ---
Fixed on 4.5 and 4.4, also.