public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug fortran/27874] New: Bad interaction between bounds checking, forall and derived types
@ 2006-06-02 14:08 fxcoudert at gcc dot gnu dot org
2006-06-02 16:39 ` [Bug fortran/27874] " pinskia at gcc dot gnu dot org
` (6 more replies)
0 siblings, 7 replies; 8+ messages in thread
From: fxcoudert at gcc dot gnu dot org @ 2006-06-02 14:08 UTC (permalink / raw)
To: gcc-bugs
$ cat forall_3.f90
type t
integer :: p(1)
end type
type (t), dimension (1) :: v
integer i
forall (i=1:1,.false.)
v(i)%p = v(i+1)%p
end forall
end
$ gfortran forall_3.f90 -fbounds-check && ./a.out
Fortran runtime error: Array reference out of bounds
--
Summary: Bad interaction between bounds checking, forall and
derived types
Product: gcc
Version: 4.2.0
Status: UNCONFIRMED
Keywords: ice-checking
Severity: normal
Priority: P3
Component: fortran
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: fxcoudert at gcc dot gnu dot org
OtherBugsDependingO 27766
nThis:
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27874
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug fortran/27874] Bad interaction between bounds checking, forall and derived types
2006-06-02 14:08 [Bug fortran/27874] New: Bad interaction between bounds checking, forall and derived types fxcoudert at gcc dot gnu dot org
@ 2006-06-02 16:39 ` pinskia at gcc dot gnu dot org
2006-06-03 11:41 ` fxcoudert at gcc dot gnu dot org
` (5 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2006-06-02 16:39 UTC (permalink / raw)
To: gcc-bugs
------- Comment #1 from pinskia at gcc dot gnu dot org 2006-06-02 16:39 -------
Confirmed.
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |pinskia at gcc dot gnu dot
| |org
Status|UNCONFIRMED |NEW
Ever Confirmed|0 |1
Last reconfirmed|0000-00-00 00:00:00 |2006-06-02 16:39:07
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27874
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug fortran/27874] Bad interaction between bounds checking, forall and derived types
2006-06-02 14:08 [Bug fortran/27874] New: Bad interaction between bounds checking, forall and derived types fxcoudert at gcc dot gnu dot org
2006-06-02 16:39 ` [Bug fortran/27874] " pinskia at gcc dot gnu dot org
@ 2006-06-03 11:41 ` fxcoudert at gcc dot gnu dot org
2006-07-05 13:37 ` fxcoudert at gcc dot gnu dot org
` (4 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: fxcoudert at gcc dot gnu dot org @ 2006-06-03 11:41 UTC (permalink / raw)
To: gcc-bugs
------- Comment #2 from fxcoudert at gcc dot gnu dot org 2006-06-03 11:41 -------
Created an attachment (id=11588)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=11588&action=view)
Code generated for testcase
See the code generated for this testcase (with my recent patch for improved
out-of-bounds messages). In order to create a temporary, we first run the i=1:1
loop once, without the conditionnal mask (which in this case is .false.), to
count the total length needed for the temporary (variable num.5). When doing
this, we perform bounds checking on elements that will not be used in the final
loop.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27874
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug fortran/27874] Bad interaction between bounds checking, forall and derived types
2006-06-02 14:08 [Bug fortran/27874] New: Bad interaction between bounds checking, forall and derived types fxcoudert at gcc dot gnu dot org
2006-06-02 16:39 ` [Bug fortran/27874] " pinskia at gcc dot gnu dot org
2006-06-03 11:41 ` fxcoudert at gcc dot gnu dot org
@ 2006-07-05 13:37 ` fxcoudert at gcc dot gnu dot org
2006-07-06 17:12 ` fxcoudert at gcc dot gnu dot org
` (3 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: fxcoudert at gcc dot gnu dot org @ 2006-07-05 13:37 UTC (permalink / raw)
To: gcc-bugs
--
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
URL| |http://gcc.gnu.org/ml/gcc-
| |patches/2006-
| |07/msg00140.html
Status|NEW |ASSIGNED
Keywords| |patch
Last reconfirmed|2006-06-02 16:39:07 |2006-07-05 13:37:13
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27874
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug fortran/27874] Bad interaction between bounds checking, forall and derived types
2006-06-02 14:08 [Bug fortran/27874] New: Bad interaction between bounds checking, forall and derived types fxcoudert at gcc dot gnu dot org
` (2 preceding siblings ...)
2006-07-05 13:37 ` fxcoudert at gcc dot gnu dot org
@ 2006-07-06 17:12 ` fxcoudert at gcc dot gnu dot org
2006-07-06 20:27 ` [Bug fortran/27874] [4.1 only] " fxcoudert at gcc dot gnu dot org
` (2 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: fxcoudert at gcc dot gnu dot org @ 2006-07-06 17:12 UTC (permalink / raw)
To: gcc-bugs
------- Comment #3 from fxcoudert at gcc dot gnu dot org 2006-07-06 17:12 -------
Subject: Bug 27874
Author: fxcoudert
Date: Thu Jul 6 17:12:25 2006
New Revision: 115224
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=115224
Log:
PR fortran/27874
* trans-stmt.c (compute_inner_temp_size): Don't perform bounds
checking when calculating the bounds of scalarization.
Modified:
trunk/gcc/fortran/ChangeLog
trunk/gcc/fortran/trans-stmt.c
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27874
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug fortran/27874] [4.1 only] Bad interaction between bounds checking, forall and derived types
2006-06-02 14:08 [Bug fortran/27874] New: Bad interaction between bounds checking, forall and derived types fxcoudert at gcc dot gnu dot org
` (3 preceding siblings ...)
2006-07-06 17:12 ` fxcoudert at gcc dot gnu dot org
@ 2006-07-06 20:27 ` fxcoudert at gcc dot gnu dot org
2006-07-24 21:03 ` fxcoudert at gcc dot gnu dot org
2006-07-24 21:04 ` [Bug fortran/27874] " fxcoudert at gcc dot gnu dot org
6 siblings, 0 replies; 8+ messages in thread
From: fxcoudert at gcc dot gnu dot org @ 2006-07-06 20:27 UTC (permalink / raw)
To: gcc-bugs
--
fxcoudert at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Known to fail| |4.1.2
Known to work| |4.2.0
Summary|Bad interaction between |[4.1 only] Bad interaction
|bounds checking, forall and |between bounds checking,
|derived types |forall and derived types
Target Milestone|--- |4.1.2
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27874
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug fortran/27874] [4.1 only] Bad interaction between bounds checking, forall and derived types
2006-06-02 14:08 [Bug fortran/27874] New: Bad interaction between bounds checking, forall and derived types fxcoudert at gcc dot gnu dot org
` (4 preceding siblings ...)
2006-07-06 20:27 ` [Bug fortran/27874] [4.1 only] " fxcoudert at gcc dot gnu dot org
@ 2006-07-24 21:03 ` fxcoudert at gcc dot gnu dot org
2006-07-24 21:04 ` [Bug fortran/27874] " fxcoudert at gcc dot gnu dot org
6 siblings, 0 replies; 8+ messages in thread
From: fxcoudert at gcc dot gnu dot org @ 2006-07-24 21:03 UTC (permalink / raw)
To: gcc-bugs
------- Comment #4 from fxcoudert at gcc dot gnu dot org 2006-07-24 21:02 -------
Subject: Bug 27874
Author: fxcoudert
Date: Mon Jul 24 21:02:39 2006
New Revision: 115722
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=115722
Log:
PR fortran/28129
* trans-array.c (gfc_trans_array_bound_check): Add a locus
argument, and use it in the error messages.
(gfc_conv_array_index_offset): Donc perform bounds checking on
the last dimension of assumed-size arrays.
* gfortran.dg/bounds_check_4.f90: New test.
PR fortran/27874
* trans-stmt.c (compute_inner_temp_size): Don't perform bounds
checking when calculating the bounds of scalarization.
PR fortran/20892
* interface.c (gfc_match_interface): Don't allow dummy procedures
to have a generic interface.
Added:
branches/gcc-4_1-branch/gcc/testsuite/gfortran.dg/bounds_check_4.f90
- copied unchanged from r115231,
trunk/gcc/testsuite/gfortran.dg/bounds_check_4.f90
Modified:
branches/gcc-4_1-branch/gcc/fortran/ChangeLog
branches/gcc-4_1-branch/gcc/fortran/interface.c
branches/gcc-4_1-branch/gcc/fortran/trans-array.c
branches/gcc-4_1-branch/gcc/fortran/trans-stmt.c
branches/gcc-4_1-branch/gcc/testsuite/ChangeLog
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27874
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug fortran/27874] Bad interaction between bounds checking, forall and derived types
2006-06-02 14:08 [Bug fortran/27874] New: Bad interaction between bounds checking, forall and derived types fxcoudert at gcc dot gnu dot org
` (5 preceding siblings ...)
2006-07-24 21:03 ` fxcoudert at gcc dot gnu dot org
@ 2006-07-24 21:04 ` fxcoudert at gcc dot gnu dot org
6 siblings, 0 replies; 8+ messages in thread
From: fxcoudert at gcc dot gnu dot org @ 2006-07-24 21:04 UTC (permalink / raw)
To: gcc-bugs
------- Comment #5 from fxcoudert at gcc dot gnu dot org 2006-07-24 21:04 -------
Fixed.
--
fxcoudert at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Known to fail|4.1.2 |
Known to work|4.2.0 |4.2.0 4.1.2
Resolution| |FIXED
Summary|[4.1 only] Bad interaction |Bad interaction between
|between bounds checking, |bounds checking, forall and
|forall and derived types |derived types
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27874
^ permalink raw reply [flat|nested] 8+ messages in thread
end of thread, other threads:[~2006-07-24 21:04 UTC | newest]
Thread overview: 8+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2006-06-02 14:08 [Bug fortran/27874] New: Bad interaction between bounds checking, forall and derived types fxcoudert at gcc dot gnu dot org
2006-06-02 16:39 ` [Bug fortran/27874] " pinskia at gcc dot gnu dot org
2006-06-03 11:41 ` fxcoudert at gcc dot gnu dot org
2006-07-05 13:37 ` fxcoudert at gcc dot gnu dot org
2006-07-06 17:12 ` fxcoudert at gcc dot gnu dot org
2006-07-06 20:27 ` [Bug fortran/27874] [4.1 only] " fxcoudert at gcc dot gnu dot org
2006-07-24 21:03 ` fxcoudert at gcc dot gnu dot org
2006-07-24 21:04 ` [Bug fortran/27874] " 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).