public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug fortran/57142] New: SIZE/SHAPE overflow despite kind=8
@ 2013-05-02 11:44 burnus at gcc dot gnu.org
2013-05-02 11:53 ` [Bug fortran/57142] [4.7/4.8/4.9 Regression] " dominiq at lps dot ens.fr
` (5 more replies)
0 siblings, 6 replies; 7+ messages in thread
From: burnus at gcc dot gnu.org @ 2013-05-02 11:44 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57142
Bug #: 57142
Summary: SIZE/SHAPE overflow despite kind=8
Classification: Unclassified
Product: gcc
Version: 4.9.0
Status: UNCONFIRMED
Keywords: diagnostic, wrong-code
Severity: normal
Priority: P3
Component: fortran
AssignedTo: unassigned@gcc.gnu.org
ReportedBy: burnus@gcc.gnu.org
The following program should print:
1 k=8 / 4294967300 k=8
1 k=8 / 2147483650 k=8
However, it prints:
1 k=8 / 4 k=8
1 k=8 / -2147483646 k=8
Expected:
* kind=8 is properly handled
* With kind=4, a warning/error is printed that the value exceeds huge(1_4)
NOTE: shape has the same issue; ubound/lbound are okay (in both regards). The
run-time version is fine.
!integer :: A(huge(1)+2_8), B(2,3)
integer :: A(1), B(huge(1)+3_8,2_8)
print '(4(i0,a))', size(A,kind=8),' k=', kind(size(A,kind=8)),' / ', &
size(B,kind=8),' k=', kind(size(B,kind=8))
print '(4(i0,a))', size(A,dim=1,kind=8),' k=', kind(size(A,dim=1,kind=8)), &
' / ', size(B,dim=1,kind=8),' k=', kind(size(B,dim=1,kind=8))
end
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug fortran/57142] [4.7/4.8/4.9 Regression] SIZE/SHAPE overflow despite kind=8
2013-05-02 11:44 [Bug fortran/57142] New: SIZE/SHAPE overflow despite kind=8 burnus at gcc dot gnu.org
@ 2013-05-02 11:53 ` dominiq at lps dot ens.fr
2013-05-02 12:58 ` dominiq at lps dot ens.fr
` (4 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: dominiq at lps dot ens.fr @ 2013-05-02 11:53 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57142
Dominique d'Humieres <dominiq at lps dot ens.fr> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2013-05-02
Summary|SIZE/SHAPE overflow despite |[4.7/4.8/4.9 Regression]
|kind=8 |SIZE/SHAPE overflow despite
| |kind=8
Ever Confirmed|0 |1
--- Comment #1 from Dominique d'Humieres <dominiq at lps dot ens.fr> 2013-05-02 11:53:45 UTC ---
When compiled with gfortran 4.5.3 or older, the output is the one you expect:
1 k=8 / 4294967300 k=8
1 k=8 / 2147483650 k=8
>From 4.6.4 to trunk the outputs is
1 k=8 / 4 k=8
1 k=8 / -2147483646 k=8
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug fortran/57142] [4.7/4.8/4.9 Regression] SIZE/SHAPE overflow despite kind=8
2013-05-02 11:44 [Bug fortran/57142] New: SIZE/SHAPE overflow despite kind=8 burnus at gcc dot gnu.org
2013-05-02 11:53 ` [Bug fortran/57142] [4.7/4.8/4.9 Regression] " dominiq at lps dot ens.fr
@ 2013-05-02 12:58 ` dominiq at lps dot ens.fr
2013-05-02 16:30 ` burnus at gcc dot gnu.org
` (3 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: dominiq at lps dot ens.fr @ 2013-05-02 12:58 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57142
Dominique d'Humieres <dominiq at lps dot ens.fr> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |franke.daniel at gmail dot
| |com, jvdelisle at gcc dot
| |gnu.org
--- Comment #2 from Dominique d'Humieres <dominiq at lps dot ens.fr> 2013-05-02 12:58:20 UTC ---
The change is due to revision 158253.
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug fortran/57142] [4.7/4.8/4.9 Regression] SIZE/SHAPE overflow despite kind=8
2013-05-02 11:44 [Bug fortran/57142] New: SIZE/SHAPE overflow despite kind=8 burnus at gcc dot gnu.org
2013-05-02 11:53 ` [Bug fortran/57142] [4.7/4.8/4.9 Regression] " dominiq at lps dot ens.fr
2013-05-02 12:58 ` dominiq at lps dot ens.fr
@ 2013-05-02 16:30 ` burnus at gcc dot gnu.org
2013-05-07 17:26 ` burnus at gcc dot gnu.org
` (2 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: burnus at gcc dot gnu.org @ 2013-05-02 16:30 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57142
Tobias Burnus <burnus at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |burnus at gcc dot gnu.org
--- Comment #3 from Tobias Burnus <burnus at gcc dot gnu.org> 2013-05-02 16:29:59 UTC ---
Author: burnus
Date: Thu May 2 16:29:14 2013
New Revision: 198549
URL: http://gcc.gnu.org/viewcvs?rev=198549&root=gcc&view=rev
Log:
2013-05-02 Tobias Burnus <burnus@net-b.de>
PR fortran/57142
* simplify.c (gfc_simplify_size): Renamed from
simplify_size; fix kind=8 handling.
(gfc_simplify_size): New function.
(gfc_simplify_shape): Add range check.
* resolve.c (resolve_function): Fix handling
for ISYM_SIZE.
2013-05-02 Tobias Burnus <burnus@net-b.de>
PR fortran/57142
* gfortran.dg/size_kind_2.f90: New.
* gfortran.dg/size_kind_3.f90: New.
Added:
trunk/gcc/testsuite/gfortran.dg/size_kind_2.f90
trunk/gcc/testsuite/gfortran.dg/size_kind_3.f90
Modified:
trunk/gcc/fortran/ChangeLog
trunk/gcc/fortran/resolve.c
trunk/gcc/fortran/simplify.c
trunk/gcc/testsuite/ChangeLog
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug fortran/57142] [4.7/4.8/4.9 Regression] SIZE/SHAPE overflow despite kind=8
2013-05-02 11:44 [Bug fortran/57142] New: SIZE/SHAPE overflow despite kind=8 burnus at gcc dot gnu.org
` (2 preceding siblings ...)
2013-05-02 16:30 ` burnus at gcc dot gnu.org
@ 2013-05-07 17:26 ` burnus at gcc dot gnu.org
2013-05-07 17:28 ` burnus at gcc dot gnu.org
2013-05-07 17:29 ` burnus at gcc dot gnu.org
5 siblings, 0 replies; 7+ messages in thread
From: burnus at gcc dot gnu.org @ 2013-05-07 17:26 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57142
--- Comment #4 from Tobias Burnus <burnus at gcc dot gnu.org> 2013-05-07 17:26:40 UTC ---
Author: burnus
Date: Tue May 7 16:36:48 2013
New Revision: 198687
URL: http://gcc.gnu.org/viewcvs?rev=198687&root=gcc&view=rev
Log:
2013-05-07 Tobias Burnus <burnus@net-b.de>
Backport from mainline
2013-05-02 Tobias Burnus <burnus@net-b.de>
PR fortran/57142
* simplify.c (gfc_simplify_size): Renamed from
simplify_size; fix kind=8 handling.
(gfc_simplify_size): New function.
(gfc_simplify_shape): Add range check.
2013-05-07 Tobias Burnus <burnus@net-b.de>
Backport from mainline
2013-05-02 Tobias Burnus <burnus@net-b.de>
PR fortran/57142
* gfortran.dg/size_kind_2.f90: New.
* gfortran.dg/size_kind_3.f90: New.
Added:
branches/gcc-4_8-branch/gcc/testsuite/gfortran.dg/size_kind_2.f90
branches/gcc-4_8-branch/gcc/testsuite/gfortran.dg/size_kind_3.f90
Modified:
branches/gcc-4_8-branch/gcc/fortran/ChangeLog
branches/gcc-4_8-branch/gcc/fortran/resolve.c
branches/gcc-4_8-branch/gcc/fortran/simplify.c
branches/gcc-4_8-branch/gcc/testsuite/ChangeLog
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug fortran/57142] [4.7/4.8/4.9 Regression] SIZE/SHAPE overflow despite kind=8
2013-05-02 11:44 [Bug fortran/57142] New: SIZE/SHAPE overflow despite kind=8 burnus at gcc dot gnu.org
` (3 preceding siblings ...)
2013-05-07 17:26 ` burnus at gcc dot gnu.org
@ 2013-05-07 17:28 ` burnus at gcc dot gnu.org
2013-05-07 17:29 ` burnus at gcc dot gnu.org
5 siblings, 0 replies; 7+ messages in thread
From: burnus at gcc dot gnu.org @ 2013-05-07 17:28 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57142
--- Comment #5 from Tobias Burnus <burnus at gcc dot gnu.org> 2013-05-07 17:28:51 UTC ---
Author: burnus
Date: Tue May 7 17:28:12 2013
New Revision: 198690
URL: http://gcc.gnu.org/viewcvs?rev=198690&root=gcc&view=rev
Log:
2013-05-07 Tobias Burnus <burnus@net-b.de>
Backport from mainline
2013-05-02 Tobias Burnus <burnus@net-b.de>
PR fortran/57142
* simplify.c (gfc_simplify_size): Renamed from
simplify_size; fix kind=8 handling.
(gfc_simplify_size): New function.
(gfc_simplify_shape): Add range check.
2013-05-07 Tobias Burnus <burnus@net-b.de>
Backport from mainline
2013-05-02 Tobias Burnus <burnus@net-b.de>
PR fortran/57142
* gfortran.dg/size_kind_2.f90: New.
* gfortran.dg/size_kind_3.f90: New.
Added:
branches/gcc-4_7-branch/gcc/testsuite/gfortran.dg/size_kind_2.f90
branches/gcc-4_7-branch/gcc/testsuite/gfortran.dg/size_kind_3.f90
Modified:
branches/gcc-4_7-branch/gcc/fortran/ChangeLog
branches/gcc-4_7-branch/gcc/fortran/resolve.c
branches/gcc-4_7-branch/gcc/fortran/simplify.c
branches/gcc-4_7-branch/gcc/testsuite/ChangeLog
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug fortran/57142] [4.7/4.8/4.9 Regression] SIZE/SHAPE overflow despite kind=8
2013-05-02 11:44 [Bug fortran/57142] New: SIZE/SHAPE overflow despite kind=8 burnus at gcc dot gnu.org
` (4 preceding siblings ...)
2013-05-07 17:28 ` burnus at gcc dot gnu.org
@ 2013-05-07 17:29 ` burnus at gcc dot gnu.org
5 siblings, 0 replies; 7+ messages in thread
From: burnus at gcc dot gnu.org @ 2013-05-07 17:29 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57142
Tobias Burnus <burnus at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
--- Comment #6 from Tobias Burnus <burnus at gcc dot gnu.org> 2013-05-07 17:29:22 UTC ---
FIXED on the trunk (4.9) and on the 4.7/4.8 branch.
^ permalink raw reply [flat|nested] 7+ messages in thread
end of thread, other threads:[~2013-05-07 17:29 UTC | newest]
Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-05-02 11:44 [Bug fortran/57142] New: SIZE/SHAPE overflow despite kind=8 burnus at gcc dot gnu.org
2013-05-02 11:53 ` [Bug fortran/57142] [4.7/4.8/4.9 Regression] " dominiq at lps dot ens.fr
2013-05-02 12:58 ` dominiq at lps dot ens.fr
2013-05-02 16:30 ` burnus at gcc dot gnu.org
2013-05-07 17:26 ` burnus at gcc dot gnu.org
2013-05-07 17:28 ` burnus at gcc dot gnu.org
2013-05-07 17:29 ` burnus 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).