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).