public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug fortran/32933] New: ICE in simplify_subreg with -fdefault-integer-8
@ 2007-07-30 0:04 tkoenig at gcc dot gnu dot org
2007-07-31 20:55 ` [Bug fortran/32933] " fxcoudert at gcc dot gnu dot org
` (10 more replies)
0 siblings, 11 replies; 12+ messages in thread
From: tkoenig at gcc dot gnu dot org @ 2007-07-30 0:04 UTC (permalink / raw)
To: gcc-bugs
Simplification of the ICE with nan_1.f90:
$ !cat
cat nan_6.f90
program test
real :: a
if (min(a, 3.0, 2.0) /= 2.0) call abort
end program test
$ gfortran -fdefault-integer-8 nan_6.f90
nan_6.f90: In function 'MAIN__':
nan_6.f90:3: internal compiler error: in simplify_subreg, at
simplify-rtx.c:4676
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
This goes away if -ffast-math is specified, so it looks as if
the call to __builtin_isnan is causing the trouble.
--
Summary: ICE in simplify_subreg with -fdefault-integer-8
Product: gcc
Version: 4.3.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: fortran
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: tkoenig at gcc dot gnu dot org
OtherBugsDependingO 32770
nThis:
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32933
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug fortran/32933] ICE in simplify_subreg with -fdefault-integer-8
2007-07-30 0:04 [Bug fortran/32933] New: ICE in simplify_subreg with -fdefault-integer-8 tkoenig at gcc dot gnu dot org
@ 2007-07-31 20:55 ` fxcoudert at gcc dot gnu dot org
2007-07-31 20:58 ` pinskia at gcc dot gnu dot org
` (9 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: fxcoudert at gcc dot gnu dot org @ 2007-07-31 20:55 UTC (permalink / raw)
To: gcc-bugs
------- Comment #1 from fxcoudert at gcc dot gnu dot org 2007-07-31 20:54 -------
(In reply to comment #0)
> $ gfortran -fdefault-integer-8 nan_6.f90
But there's no integer *at all* in the testcase! How come?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32933
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug fortran/32933] ICE in simplify_subreg with -fdefault-integer-8
2007-07-30 0:04 [Bug fortran/32933] New: ICE in simplify_subreg with -fdefault-integer-8 tkoenig at gcc dot gnu dot org
2007-07-31 20:55 ` [Bug fortran/32933] " fxcoudert at gcc dot gnu dot org
@ 2007-07-31 20:58 ` pinskia at gcc dot gnu dot org
2007-07-31 21:20 ` kargl at gcc dot gnu dot org
` (8 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2007-07-31 20:58 UTC (permalink / raw)
To: gcc-bugs
------- Comment #2 from pinskia at gcc dot gnu dot org 2007-07-31 20:58 -------
(In reply to comment #1)
> But there's no integer *at all* in the testcase! How come?
But there is, internally with __builtin_isnan.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32933
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug fortran/32933] ICE in simplify_subreg with -fdefault-integer-8
2007-07-30 0:04 [Bug fortran/32933] New: ICE in simplify_subreg with -fdefault-integer-8 tkoenig at gcc dot gnu dot org
2007-07-31 20:55 ` [Bug fortran/32933] " fxcoudert at gcc dot gnu dot org
2007-07-31 20:58 ` pinskia at gcc dot gnu dot org
@ 2007-07-31 21:20 ` kargl at gcc dot gnu dot org
2007-08-02 20:38 ` tkoenig at gcc dot gnu dot org
` (7 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: kargl at gcc dot gnu dot org @ 2007-07-31 21:20 UTC (permalink / raw)
To: gcc-bugs
------- Comment #3 from kargl at gcc dot gnu dot org 2007-07-31 21:20 -------
The testcase is illegal code because a is never assigned a value.
I also do not see where __builtin_isnan is supposely coming into
play here?
--
kargl at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |kargl at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32933
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug fortran/32933] ICE in simplify_subreg with -fdefault-integer-8
2007-07-30 0:04 [Bug fortran/32933] New: ICE in simplify_subreg with -fdefault-integer-8 tkoenig at gcc dot gnu dot org
` (2 preceding siblings ...)
2007-07-31 21:20 ` kargl at gcc dot gnu dot org
@ 2007-08-02 20:38 ` tkoenig at gcc dot gnu dot org
2007-08-06 17:35 ` pinskia at gcc dot gnu dot org
` (6 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: tkoenig at gcc dot gnu dot org @ 2007-08-02 20:38 UTC (permalink / raw)
To: gcc-bugs
------- Comment #4 from tkoenig at gcc dot gnu dot org 2007-08-02 20:38 -------
Same place to ICE for bounds_check_5.f90.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32933
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug fortran/32933] ICE in simplify_subreg with -fdefault-integer-8
2007-07-30 0:04 [Bug fortran/32933] New: ICE in simplify_subreg with -fdefault-integer-8 tkoenig at gcc dot gnu dot org
` (3 preceding siblings ...)
2007-08-02 20:38 ` tkoenig at gcc dot gnu dot org
@ 2007-08-06 17:35 ` pinskia at gcc dot gnu dot org
2007-08-08 15:24 ` fxcoudert at gcc dot gnu dot org
` (5 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2007-08-06 17:35 UTC (permalink / raw)
To: gcc-bugs
------- Comment #5 from pinskia at gcc dot gnu dot org 2007-08-06 17:35 -------
*** Bug 33006 has been marked as a duplicate of this bug. ***
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |michael dot a dot richmond
| |at nasa dot gov
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32933
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug fortran/32933] ICE in simplify_subreg with -fdefault-integer-8
2007-07-30 0:04 [Bug fortran/32933] New: ICE in simplify_subreg with -fdefault-integer-8 tkoenig at gcc dot gnu dot org
` (4 preceding siblings ...)
2007-08-06 17:35 ` pinskia at gcc dot gnu dot org
@ 2007-08-08 15:24 ` fxcoudert at gcc dot gnu dot org
2007-08-08 17:27 ` fxcoudert at gcc dot gnu dot org
` (4 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: fxcoudert at gcc dot gnu dot org @ 2007-08-08 15:24 UTC (permalink / raw)
To: gcc-bugs
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1046 bytes --]
------- Comment #6 from fxcoudert at gcc dot gnu dot org 2007-08-08 15:24 -------
I reduced bounds_check_5.f90 to the following:
$ cat o2.f90
INTEGER, POINTER :: x(:)
logical :: l
l = associated(x,x)
end
$ gfortran -fdefault-integer-8 -m32 o2.f90
o2.f90: In function MAIN__:
o2.f90:3: internal compiler error: in simplify_subreg, at simplify-rtx.c:4676
The tree dump is very simple:
logical8 l;
struct array1_int8 x;
x.data = 0B;
l = _gfortran_associated (&x, &x) && x.dim[0].stride != 0;
I guess we are generating mismatched types somewhere in the && operator.
--
fxcoudert at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed|0 |1
Last reconfirmed|0000-00-00 00:00:00 |2007-08-08 15:24:37
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32933
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug fortran/32933] ICE in simplify_subreg with -fdefault-integer-8
2007-07-30 0:04 [Bug fortran/32933] New: ICE in simplify_subreg with -fdefault-integer-8 tkoenig at gcc dot gnu dot org
` (5 preceding siblings ...)
2007-08-08 15:24 ` fxcoudert at gcc dot gnu dot org
@ 2007-08-08 17:27 ` fxcoudert at gcc dot gnu dot org
2007-08-08 17:28 ` fxcoudert at gcc dot gnu dot org
` (3 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: fxcoudert at gcc dot gnu dot org @ 2007-08-08 17:27 UTC (permalink / raw)
To: gcc-bugs
------- Comment #7 from fxcoudert at gcc dot gnu dot org 2007-08-08 17:26 -------
*** Bug 32943 has been marked as a duplicate of this bug. ***
--
fxcoudert at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |dominiq at lps dot ens dot
| |fr
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32933
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug fortran/32933] ICE in simplify_subreg with -fdefault-integer-8
2007-07-30 0:04 [Bug fortran/32933] New: ICE in simplify_subreg with -fdefault-integer-8 tkoenig at gcc dot gnu dot org
` (6 preceding siblings ...)
2007-08-08 17:27 ` fxcoudert at gcc dot gnu dot org
@ 2007-08-08 17:28 ` fxcoudert at gcc dot gnu dot org
2007-08-10 10:31 ` fxcoudert at gcc dot gnu dot org
` (2 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: fxcoudert at gcc dot gnu dot org @ 2007-08-08 17:28 UTC (permalink / raw)
To: gcc-bugs
------- Comment #8 from fxcoudert at gcc dot gnu dot org 2007-08-08 17:27 -------
See PR32943 for other examples of testcases that exhibit the same ICE. When
this one is fixed, we should make sure all these have gone.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32933
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug fortran/32933] ICE in simplify_subreg with -fdefault-integer-8
2007-07-30 0:04 [Bug fortran/32933] New: ICE in simplify_subreg with -fdefault-integer-8 tkoenig at gcc dot gnu dot org
` (7 preceding siblings ...)
2007-08-08 17:28 ` fxcoudert at gcc dot gnu dot org
@ 2007-08-10 10:31 ` fxcoudert at gcc dot gnu dot org
2007-08-10 13:21 ` fxcoudert at gcc dot gnu dot org
2007-08-10 13:26 ` fxcoudert at gcc dot gnu dot org
10 siblings, 0 replies; 12+ messages in thread
From: fxcoudert at gcc dot gnu dot org @ 2007-08-10 10:31 UTC (permalink / raw)
To: gcc-bugs
------- Comment #9 from fxcoudert at gcc dot gnu dot org 2007-08-10 10:31 -------
(In reply to comment #2)
> But there is, internally with __builtin_isnan.
And that's where I got it wrong. In the Fortran front-end, boolean_type_node is
an integer of the default logical kind, while I thought it was coming from the
middle-end (as an int) and hence did not depend on Fortran kinds.
I'm testing patches for both this and bounds_check_5.f90, by adding conversions
at the right places.
--
fxcoudert at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |fxcoudert at gcc dot gnu dot
|dot org |org
Status|NEW |ASSIGNED
Last reconfirmed|2007-08-08 15:24:37 |2007-08-10 10:31:34
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32933
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug fortran/32933] ICE in simplify_subreg with -fdefault-integer-8
2007-07-30 0:04 [Bug fortran/32933] New: ICE in simplify_subreg with -fdefault-integer-8 tkoenig at gcc dot gnu dot org
` (8 preceding siblings ...)
2007-08-10 10:31 ` fxcoudert at gcc dot gnu dot org
@ 2007-08-10 13:21 ` fxcoudert at gcc dot gnu dot org
2007-08-10 13:26 ` fxcoudert at gcc dot gnu dot org
10 siblings, 0 replies; 12+ messages in thread
From: fxcoudert at gcc dot gnu dot org @ 2007-08-10 13:21 UTC (permalink / raw)
To: gcc-bugs
------- Comment #10 from fxcoudert at gcc dot gnu dot org 2007-08-10 13:21 -------
Subject: Bug 32933
Author: fxcoudert
Date: Fri Aug 10 13:20:46 2007
New Revision: 127334
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=127334
Log:
PR fortran/32933
* trans-decl.c (gfc_build_builtin_function_decls): Change
prototype for associated.
* trans-intrinsic.c (gfc_conv_intrinsic_minmax): Convert the
result of __builtin_isnan into a boolean.
(gfc_conv_intrinsic_strcmp): Cleanup.
(gfc_conv_associated): Convert the result of the associated
function into a boolean.
* intrinsics/associated.c: Change return type of associated into
a C int.
Modified:
trunk/gcc/fortran/ChangeLog
trunk/gcc/fortran/trans-decl.c
trunk/gcc/fortran/trans-intrinsic.c
trunk/libgfortran/ChangeLog
trunk/libgfortran/intrinsics/associated.c
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32933
^ permalink raw reply [flat|nested] 12+ messages in thread
* [Bug fortran/32933] ICE in simplify_subreg with -fdefault-integer-8
2007-07-30 0:04 [Bug fortran/32933] New: ICE in simplify_subreg with -fdefault-integer-8 tkoenig at gcc dot gnu dot org
` (9 preceding siblings ...)
2007-08-10 13:21 ` fxcoudert at gcc dot gnu dot org
@ 2007-08-10 13:26 ` fxcoudert at gcc dot gnu dot org
10 siblings, 0 replies; 12+ messages in thread
From: fxcoudert at gcc dot gnu dot org @ 2007-08-10 13:26 UTC (permalink / raw)
To: gcc-bugs
------- Comment #11 from fxcoudert at gcc dot gnu dot org 2007-08-10 13:25 -------
Fixed.
--
fxcoudert at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32933
^ permalink raw reply [flat|nested] 12+ messages in thread
end of thread, other threads:[~2007-08-10 13:26 UTC | newest]
Thread overview: 12+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2007-07-30 0:04 [Bug fortran/32933] New: ICE in simplify_subreg with -fdefault-integer-8 tkoenig at gcc dot gnu dot org
2007-07-31 20:55 ` [Bug fortran/32933] " fxcoudert at gcc dot gnu dot org
2007-07-31 20:58 ` pinskia at gcc dot gnu dot org
2007-07-31 21:20 ` kargl at gcc dot gnu dot org
2007-08-02 20:38 ` tkoenig at gcc dot gnu dot org
2007-08-06 17:35 ` pinskia at gcc dot gnu dot org
2007-08-08 15:24 ` fxcoudert at gcc dot gnu dot org
2007-08-08 17:27 ` fxcoudert at gcc dot gnu dot org
2007-08-08 17:28 ` fxcoudert at gcc dot gnu dot org
2007-08-10 10:31 ` fxcoudert at gcc dot gnu dot org
2007-08-10 13:21 ` fxcoudert at gcc dot gnu dot org
2007-08-10 13:26 ` fxcoudert at gcc dot gnu dot 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).