* [Bug fortran/20441] -finit-local-zero is missing from gfortran
[not found] <bug-20441-6528@http.gcc.gnu.org/bugzilla/>
@ 2006-02-07 12:48 ` fxcoudert at gcc dot gnu dot org
2006-08-20 20:51 ` tobias dot burnus at physik dot fu-berlin dot de
` (10 subsequent siblings)
11 siblings, 0 replies; 14+ messages in thread
From: fxcoudert at gcc dot gnu dot org @ 2006-02-07 12:48 UTC (permalink / raw)
To: gcc-bugs
------- Comment #2 from fxcoudert at gcc dot gnu dot org 2006-02-07 12:48 -------
*** Bug 26150 has been marked as a duplicate of this bug. ***
--
fxcoudert at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |fxcoudert at gcc dot gnu dot
| |org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20441
^ permalink raw reply [flat|nested] 14+ messages in thread* [Bug fortran/20441] -finit-local-zero is missing from gfortran
[not found] <bug-20441-6528@http.gcc.gnu.org/bugzilla/>
2006-02-07 12:48 ` [Bug fortran/20441] -finit-local-zero is missing from gfortran fxcoudert at gcc dot gnu dot org
@ 2006-08-20 20:51 ` tobias dot burnus at physik dot fu-berlin dot de
2006-08-21 1:38 ` pinskia at gcc dot gnu dot org
` (9 subsequent siblings)
11 siblings, 0 replies; 14+ messages in thread
From: tobias dot burnus at physik dot fu-berlin dot de @ 2006-08-20 20:51 UTC (permalink / raw)
To: gcc-bugs
------- Comment #3 from tobias dot burnus at physik dot fu-berlin dot de 2006-08-20 20:51 -------
Besides zero initialization (of Real, complex, integer, (what about logical?)),
a initialization to a (signaling) NaN (for complex, real) would be also nice to
find uninitialized variables.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20441
^ permalink raw reply [flat|nested] 14+ messages in thread* [Bug fortran/20441] -finit-local-zero is missing from gfortran
[not found] <bug-20441-6528@http.gcc.gnu.org/bugzilla/>
2006-02-07 12:48 ` [Bug fortran/20441] -finit-local-zero is missing from gfortran fxcoudert at gcc dot gnu dot org
2006-08-20 20:51 ` tobias dot burnus at physik dot fu-berlin dot de
@ 2006-08-21 1:38 ` pinskia at gcc dot gnu dot org
2006-11-27 16:03 ` burnus at gcc dot gnu dot org
` (8 subsequent siblings)
11 siblings, 0 replies; 14+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2006-08-21 1:38 UTC (permalink / raw)
To: gcc-bugs
------- Comment #4 from pinskia at gcc dot gnu dot org 2006-08-21 01:38 -------
(In reply to comment #3)
> Besides zero initialization (of Real, complex, integer, (what about logical?)),
> a initialization to a (signaling) NaN (for complex, real) would be also nice to
> find uninitialized variables.
Why use -Wuninitialize will warn about those cases (though it can produce some
false positives).
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20441
^ permalink raw reply [flat|nested] 14+ messages in thread* [Bug fortran/20441] -finit-local-zero is missing from gfortran
[not found] <bug-20441-6528@http.gcc.gnu.org/bugzilla/>
` (2 preceding siblings ...)
2006-08-21 1:38 ` pinskia at gcc dot gnu dot org
@ 2006-11-27 16:03 ` burnus at gcc dot gnu dot org
2006-11-27 16:47 ` pinskia at gcc dot gnu dot org
` (7 subsequent siblings)
11 siblings, 0 replies; 14+ messages in thread
From: burnus at gcc dot gnu dot org @ 2006-11-27 16:03 UTC (permalink / raw)
To: gcc-bugs
------- Comment #5 from burnus at gcc dot gnu dot org 2006-11-27 16:02 -------
> > Besides zero initialization [...] a initialization to a (signaling) NaN (for
> > complex, real) would be also nice to find uninitialized variables.
>
> Why use -Wuninitialize will warn about those cases (though it can produce some
> false positives).
-Wuninitialize does not always work (false negative). Or how do you expect a
compiler to find the problem in such cases:
real :: r
call myFunc(r, .true.)
contains
subroutine myFunc(r,l)
real, intent(inout) :: r
logical :: l
if(l) then
r = r**2
else
r = 5
end if
end subroutine
--
burnus at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |burnus at gcc dot gnu dot
| |org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20441
^ permalink raw reply [flat|nested] 14+ messages in thread* [Bug fortran/20441] -finit-local-zero is missing from gfortran
[not found] <bug-20441-6528@http.gcc.gnu.org/bugzilla/>
` (3 preceding siblings ...)
2006-11-27 16:03 ` burnus at gcc dot gnu dot org
@ 2006-11-27 16:47 ` pinskia at gcc dot gnu dot org
2006-11-30 22:57 ` tkoenig at gcc dot gnu dot org
` (6 subsequent siblings)
11 siblings, 0 replies; 14+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2006-11-27 16:47 UTC (permalink / raw)
To: gcc-bugs
------- Comment #6 from pinskia at gcc dot gnu dot org 2006-11-27 16:47 -------
(In reply to comment #5)
> > > Besides zero initialization [...] a initialization to a (signaling) NaN (for
> > > complex, real) would be also nice to find uninitialized variables.
> >
> > Why use -Wuninitialize will warn about those cases (though it can produce some
> > false positives).
>
> -Wuninitialize does not always work (false negative). Or how do you expect a
> compiler to find the problem in such cases:
Well in that case r is unused so .. but if you made it used by a write(*,*) r
in the program, this becomes another PR with a C example which I cannot find
right now.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20441
^ permalink raw reply [flat|nested] 14+ messages in thread* [Bug fortran/20441] -finit-local-zero is missing from gfortran
[not found] <bug-20441-6528@http.gcc.gnu.org/bugzilla/>
` (4 preceding siblings ...)
2006-11-27 16:47 ` pinskia at gcc dot gnu dot org
@ 2006-11-30 22:57 ` tkoenig at gcc dot gnu dot org
2007-06-18 16:23 ` langton at gcc dot gnu dot org
` (5 subsequent siblings)
11 siblings, 0 replies; 14+ messages in thread
From: tkoenig at gcc dot gnu dot org @ 2006-11-30 22:57 UTC (permalink / raw)
To: gcc-bugs
------- Comment #7 from tkoenig at gcc dot gnu dot org 2006-11-30 22:57 -------
*** Bug 30029 has been marked as a duplicate of this bug. ***
--
tkoenig at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |zig at fi dot infn dot it
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20441
^ permalink raw reply [flat|nested] 14+ messages in thread* [Bug fortran/20441] -finit-local-zero is missing from gfortran
[not found] <bug-20441-6528@http.gcc.gnu.org/bugzilla/>
` (5 preceding siblings ...)
2006-11-30 22:57 ` tkoenig at gcc dot gnu dot org
@ 2007-06-18 16:23 ` langton at gcc dot gnu dot org
2007-08-17 20:15 ` patchapp at dberlin dot org
` (4 subsequent siblings)
11 siblings, 0 replies; 14+ messages in thread
From: langton at gcc dot gnu dot org @ 2007-06-18 16:23 UTC (permalink / raw)
To: gcc-bugs
--
langton at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |langton at gcc dot gnu dot
|dot org |org
Status|NEW |ASSIGNED
Last reconfirmed|2005-12-18 01:54:45 |2007-06-18 16:23:28
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20441
^ permalink raw reply [flat|nested] 14+ messages in thread* [Bug fortran/20441] -finit-local-zero is missing from gfortran
[not found] <bug-20441-6528@http.gcc.gnu.org/bugzilla/>
` (6 preceding siblings ...)
2007-06-18 16:23 ` langton at gcc dot gnu dot org
@ 2007-08-17 20:15 ` patchapp at dberlin dot org
2007-08-20 12:29 ` arnaud02 at users dot sourceforge dot net
` (3 subsequent siblings)
11 siblings, 0 replies; 14+ messages in thread
From: patchapp at dberlin dot org @ 2007-08-17 20:15 UTC (permalink / raw)
To: gcc-bugs
------- Comment #8 from patchapp at dberlin dot org 2007-08-17 20:15 -------
Subject: Bug number PR20441
A patch for this bug has been added to the patch tracker.
The mailing list url for the patch is
http://gcc.gnu.org/ml/gcc-patches/2007-08/msg01151.html
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20441
^ permalink raw reply [flat|nested] 14+ messages in thread* [Bug fortran/20441] -finit-local-zero is missing from gfortran
[not found] <bug-20441-6528@http.gcc.gnu.org/bugzilla/>
` (7 preceding siblings ...)
2007-08-17 20:15 ` patchapp at dberlin dot org
@ 2007-08-20 12:29 ` arnaud02 at users dot sourceforge dot net
2007-08-20 15:07 ` langton at gcc dot gnu dot org
` (2 subsequent siblings)
11 siblings, 0 replies; 14+ messages in thread
From: arnaud02 at users dot sourceforge dot net @ 2007-08-20 12:29 UTC (permalink / raw)
To: gcc-bugs
------- Comment #9 from arnaud02 at users dot sourceforge dot net 2007-08-20 12:28 -------
Adding -finit-real=nan (http://gcc.gnu.org/ml/fortran/2007-08/msg00408.html) is
a real bonus for gfortran.
Any chance to add "-finit-real=snan" to set "Signalling NaN" ?
A SNaN cannot be the result of any arithmetic operations, hence a good choice
for a unset pattern. The NAG compiler uses SNaN when using "-nan".
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20441
^ permalink raw reply [flat|nested] 14+ messages in thread* [Bug fortran/20441] -finit-local-zero is missing from gfortran
[not found] <bug-20441-6528@http.gcc.gnu.org/bugzilla/>
` (8 preceding siblings ...)
2007-08-20 12:29 ` arnaud02 at users dot sourceforge dot net
@ 2007-08-20 15:07 ` langton at gcc dot gnu dot org
2007-09-21 2:34 ` langton at gcc dot gnu dot org
2007-09-21 2:40 ` langton at gcc dot gnu dot org
11 siblings, 0 replies; 14+ messages in thread
From: langton at gcc dot gnu dot org @ 2007-08-20 15:07 UTC (permalink / raw)
To: gcc-bugs
------- Comment #10 from langton at gcc dot gnu dot org 2007-08-20 15:07 -------
(In reply to comment #9)
> Adding -finit-real=nan (http://gcc.gnu.org/ml/fortran/2007-08/msg00408.html) is
> a real bonus for gfortran.
> Any chance to add "-finit-real=snan" to set "Signalling NaN" ?
> A SNaN cannot be the result of any arithmetic operations, hence a good choice
> for a unset pattern. The NAG compiler uses SNaN when using "-nan".
I'd like to add finit-real=snan. Right now, this requires a bit of a hack,
since mpfr (which we use internally for real constants) doesn't distinguish
between signaling and quiet NaNs:
http://gcc.gnu.org/ml/fortran/2007-07/msg00512.html
http://websympa.loria.fr/wwsympa/arc/mpfr/2007-07/msg00118.html
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20441
^ permalink raw reply [flat|nested] 14+ messages in thread* [Bug fortran/20441] -finit-local-zero is missing from gfortran
[not found] <bug-20441-6528@http.gcc.gnu.org/bugzilla/>
` (9 preceding siblings ...)
2007-08-20 15:07 ` langton at gcc dot gnu dot org
@ 2007-09-21 2:34 ` langton at gcc dot gnu dot org
2007-09-21 2:40 ` langton at gcc dot gnu dot org
11 siblings, 0 replies; 14+ messages in thread
From: langton at gcc dot gnu dot org @ 2007-09-21 2:34 UTC (permalink / raw)
To: gcc-bugs
------- Comment #11 from langton at gcc dot gnu dot org 2007-09-21 02:34 -------
Subject: Bug 20441
Author: langton
Date: Fri Sep 21 02:34:14 2007
New Revision: 128643
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=128643
Log:
PR fortran/20441
* gfortran.h : Add init_local_* enums and init_flag_* flags to
gfc_option_t.
* lang.opt: Add -finit-local-zero, -finit-real, -finit-integer,
-finit-character, and -finit-logical flags.
* invoke.texi: Document new options.
* resolve.c (build_init_assign): New function.
(apply_init_assign): Move part of function into build_init_assign.
(build_default_init_expr): Build local initializer (-finit-*).
(apply_default_init_local): Apply local initializer (-finit-*).
(resolve_fl_variable): Try to add local initializer (-finit-*).
* options.c (gfc_init_options, gfc_handle_option,
gfc_post_options): Handle -finit-local-zero, -finit-real,
-finit-integer, -finit-character, and -finit-logical flags.
PR fortran/20441
* gfortran.dg/init_flag_1.f90: New.
* gfortran.dg/init_flag_2.f90: New.
* gfortran.dg/init_flag_3.f90: New.
* gfortran.dg/init_flag_4.f90: New.
* gfortran.dg/init_flag_5.f90: New.
* gfortran.dg/init_flag_6.f90: New.
* gfortran.dg/init_flag_7.f90: New.
Added:
trunk/gcc/testsuite/gfortran.dg/init_flag_1.f90
trunk/gcc/testsuite/gfortran.dg/init_flag_2.f90
trunk/gcc/testsuite/gfortran.dg/init_flag_3.f90
trunk/gcc/testsuite/gfortran.dg/init_flag_4.f90
trunk/gcc/testsuite/gfortran.dg/init_flag_5.f90
trunk/gcc/testsuite/gfortran.dg/init_flag_6.f90
trunk/gcc/testsuite/gfortran.dg/init_flag_7.f90
Modified:
trunk/gcc/fortran/ChangeLog
trunk/gcc/fortran/gfortran.h
trunk/gcc/fortran/invoke.texi
trunk/gcc/fortran/lang.opt
trunk/gcc/fortran/options.c
trunk/gcc/fortran/resolve.c
trunk/gcc/testsuite/ChangeLog
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20441
^ permalink raw reply [flat|nested] 14+ messages in thread* [Bug fortran/20441] -finit-local-zero is missing from gfortran
[not found] <bug-20441-6528@http.gcc.gnu.org/bugzilla/>
` (10 preceding siblings ...)
2007-09-21 2:34 ` langton at gcc dot gnu dot org
@ 2007-09-21 2:40 ` langton at gcc dot gnu dot org
11 siblings, 0 replies; 14+ messages in thread
From: langton at gcc dot gnu dot org @ 2007-09-21 2:40 UTC (permalink / raw)
To: gcc-bugs
------- Comment #12 from langton at gcc dot gnu dot org 2007-09-21 02:40 -------
Fixed on trunk as of revision 128643.
--
langton at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20441
^ permalink raw reply [flat|nested] 14+ messages in thread