public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug fortran/46794] New: ICE on valid code involving power of small integer kinds
@ 2010-12-03 21:17 domob at gcc dot gnu.org
2010-12-03 21:17 ` [Bug fortran/46794] " domob at gcc dot gnu.org
` (7 more replies)
0 siblings, 8 replies; 9+ messages in thread
From: domob at gcc dot gnu.org @ 2010-12-03 21:17 UTC (permalink / raw)
To: gcc-bugs
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.
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug fortran/46794] ICE on valid code involving power of small integer kinds
2010-12-03 21:17 [Bug fortran/46794] New: ICE on valid code involving power of small integer kinds domob at gcc dot gnu.org
@ 2010-12-03 21:17 ` domob at gcc dot gnu.org
2010-12-04 9:27 ` domob at gcc dot gnu.org
` (6 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: domob at gcc dot gnu.org @ 2010-12-03 21:17 UTC (permalink / raw)
To: gcc-bugs
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.
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug fortran/46794] ICE on valid code involving power of small integer kinds
2010-12-03 21:17 [Bug fortran/46794] New: ICE on valid code involving power of small integer kinds domob at gcc dot gnu.org
2010-12-03 21:17 ` [Bug fortran/46794] " domob at gcc dot gnu.org
@ 2010-12-04 9:27 ` domob at gcc dot gnu.org
2010-12-04 9:29 ` domob at gcc dot gnu.org
` (5 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: domob at gcc dot gnu.org @ 2010-12-04 9:27 UTC (permalink / raw)
To: gcc-bugs
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
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug fortran/46794] ICE on valid code involving power of small integer kinds
2010-12-03 21:17 [Bug fortran/46794] New: ICE on valid code involving power of small integer kinds domob at gcc dot gnu.org
2010-12-03 21:17 ` [Bug fortran/46794] " domob at gcc dot gnu.org
2010-12-04 9:27 ` domob at gcc dot gnu.org
@ 2010-12-04 9:29 ` domob at gcc dot gnu.org
2010-12-04 12:12 ` domob at gcc dot gnu.org
` (4 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: domob at gcc dot gnu.org @ 2010-12-04 9:29 UTC (permalink / raw)
To: gcc-bugs
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.
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug fortran/46794] ICE on valid code involving power of small integer kinds
2010-12-03 21:17 [Bug fortran/46794] New: ICE on valid code involving power of small integer kinds domob at gcc dot gnu.org
` (2 preceding siblings ...)
2010-12-04 9:29 ` domob at gcc dot gnu.org
@ 2010-12-04 12:12 ` domob at gcc dot gnu.org
2010-12-05 10:09 ` domob at gcc dot gnu.org
` (3 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: domob at gcc dot gnu.org @ 2010-12-04 12:12 UTC (permalink / raw)
To: gcc-bugs
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
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug fortran/46794] ICE on valid code involving power of small integer kinds
2010-12-03 21:17 [Bug fortran/46794] New: ICE on valid code involving power of small integer kinds domob at gcc dot gnu.org
` (3 preceding siblings ...)
2010-12-04 12:12 ` domob at gcc dot gnu.org
@ 2010-12-05 10:09 ` domob at gcc dot gnu.org
2010-12-09 15:55 ` domob at gcc dot gnu.org
` (2 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: domob at gcc dot gnu.org @ 2010-12-05 10:09 UTC (permalink / raw)
To: gcc-bugs
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
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug fortran/46794] ICE on valid code involving power of small integer kinds
2010-12-03 21:17 [Bug fortran/46794] New: ICE on valid code involving power of small integer kinds domob at gcc dot gnu.org
` (4 preceding siblings ...)
2010-12-05 10:09 ` domob at gcc dot gnu.org
@ 2010-12-09 15:55 ` domob at gcc dot gnu.org
2010-12-17 15:30 ` domob at gcc dot gnu.org
2010-12-17 15:32 ` domob at gcc dot gnu.org
7 siblings, 0 replies; 9+ messages in thread
From: domob at gcc dot gnu.org @ 2010-12-09 15:55 UTC (permalink / raw)
To: gcc-bugs
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
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug fortran/46794] ICE on valid code involving power of small integer kinds
2010-12-03 21:17 [Bug fortran/46794] New: ICE on valid code involving power of small integer kinds domob at gcc dot gnu.org
` (5 preceding siblings ...)
2010-12-09 15:55 ` domob at gcc dot gnu.org
@ 2010-12-17 15:30 ` domob at gcc dot gnu.org
2010-12-17 15:32 ` domob at gcc dot gnu.org
7 siblings, 0 replies; 9+ messages in thread
From: domob at gcc dot gnu.org @ 2010-12-17 15:30 UTC (permalink / raw)
To: gcc-bugs
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
^ permalink raw reply [flat|nested] 9+ messages in thread
* [Bug fortran/46794] ICE on valid code involving power of small integer kinds
2010-12-03 21:17 [Bug fortran/46794] New: ICE on valid code involving power of small integer kinds domob at gcc dot gnu.org
` (6 preceding siblings ...)
2010-12-17 15:30 ` domob at gcc dot gnu.org
@ 2010-12-17 15:32 ` domob at gcc dot gnu.org
7 siblings, 0 replies; 9+ messages in thread
From: domob at gcc dot gnu.org @ 2010-12-17 15:32 UTC (permalink / raw)
To: gcc-bugs
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.
^ permalink raw reply [flat|nested] 9+ messages in thread
end of thread, other threads:[~2010-12-17 15:32 UTC | newest]
Thread overview: 9+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-12-03 21:17 [Bug fortran/46794] New: ICE on valid code involving power of small integer kinds domob at gcc dot gnu.org
2010-12-03 21:17 ` [Bug fortran/46794] " domob at gcc dot gnu.org
2010-12-04 9:27 ` domob at gcc dot gnu.org
2010-12-04 9:29 ` domob at gcc dot gnu.org
2010-12-04 12:12 ` domob at gcc dot gnu.org
2010-12-05 10:09 ` domob at gcc dot gnu.org
2010-12-09 15:55 ` domob at gcc dot gnu.org
2010-12-17 15:30 ` domob at gcc dot gnu.org
2010-12-17 15:32 ` domob at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).