[Bug fortran/34505] New: -std=f*: FLOAT accepts non-integers and SNGL non-double precision reals

[Bug fortran/34505] New: -std=f*: FLOAT accepts non-integers and SNGL non-double precision reals

[burnus at gcc dot gnu dot org]

Per "13.6 Specific names for standard intrinsic functions" (Fortran 2003)

FLOAT is a specific function of REAL which takes as argument
      only a default-kind integer.
SNGL  is a specific function of REAL which takes as argument
      only a double precision real.

Current implementation is that it takes any kind of int/real/complex as REAL
does.


-- 
           Summary: -std=f*:  FLOAT accepts non-integers and SNGL non-double
                    precision reals
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Keywords: accepts-invalid, diagnostic
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: burnus at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34505

[Bug fortran/34505] FLOAT/SNGL: Not accepted as actual argument; diagnostics problems

[burnus at gcc dot gnu dot org]

------- Comment #1 from burnus at gcc dot gnu dot org  2007-12-17 09:43 -------
Similarly for the GNU Extension DFLOAT: One should also allow only a default
integer. Similarly to FLOAT is I expect it to be a specific function.

[As FLOAT and SNGL may not be used as actual argument (they are marked with a
dot (*) in the list), one can allow other data types or other kinds as
extension. However, for SNGL only a double precision real is allowed per
g77/gfortran standard, while for FLOAT any kind of integer is allowed according
to the documentation.]


-- 

burnus at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|-std=f*:  FLOAT accepts non-|FLOAT/SNGL: Not accepted as
                   |integers and SNGL non-double|actual argument; diagnostics
                   |precision reals             |problems


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34505

[Bug fortran/34505] FLOAT/SNGL: Not accepted as actual argument; diagnostics problems

[fxcoudert at gcc dot gnu dot org]

-- 

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         |2009-03-29 08:18:53
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34505

[Bug fortran/34505] FLOAT/SNGL: Not accepted as actual argument; diagnostics problems

[dfranke at gcc dot gnu dot org]

------- Comment #2 from dfranke at gcc dot gnu dot org  2010-05-13 16:45 -------
Patch:
    http://gcc.gnu.org/ml/fortran/2010-05/msg00135.html


-- 

dfranke at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |dfranke at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2009-03-29 08:18:53         |2010-05-13 16:45:46
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34505

[Bug fortran/34505] FLOAT/SNGL: Not accepted as actual argument; diagnostics problems

[dfranke at gcc dot gnu dot org]

------- Comment #3 from dfranke at gcc dot gnu dot org  2010-05-19 11:44 -------
Subject: Bug 34505

Author: dfranke
Date: Wed May 19 11:43:53 2010
New Revision: 159558

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=159558
Log:
gcc/fortran/:
2010-05-19  Daniel Franke  <franke.daniel@gmail.com>

        PR fortran/34505
        * intrinsic.h (gfc_check_float): New prototype.
        (gfc_check_sngl): New prototype.
        * check.c (gfc_check_float): New.
        (gfc_check_sngl): New.
        * intrinsic.c (add_functions): Moved DFLOAT from aliasing DBLE
        to be a specific for REAL. Added check routines for FLOAT, DFLOAT
        and SNGL.
        * intrinsic.texi: Removed individual nodes of FLOAT, DFLOAT and SNGL,
        added them to the list of specifics of REAL instead.

gcc/testsuite/:
2010-05-19  Daniel Franke  <franke.daniel@gmail.com>

        PR fortran/34505
        * gfortran.dg/dfloat_1.f90: Add warnings for non-default kind
        arguments; add check for return value kind.
        * gfortran.dg/float_1.f90: Likewise.


Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/check.c
    trunk/gcc/fortran/intrinsic.c
    trunk/gcc/fortran/intrinsic.h
    trunk/gcc/fortran/intrinsic.texi
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gfortran.dg/dfloat_1.f90
    trunk/gcc/testsuite/gfortran.dg/float_1.f90


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34505

[Bug fortran/34505] FLOAT/SNGL: Not accepted as actual argument; diagnostics problems

[dfranke at gcc dot gnu dot org]

------- Comment #4 from dfranke at gcc dot gnu dot org  2010-05-19 11:46 -------
Fixed in trunk. Closing


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34505

[Bug fortran/34505] FLOAT/SNGL: Not accepted as actual argument; diagnostics problems

[dfranke at gcc dot gnu dot org]

------- Comment #5 from dfranke at gcc dot gnu dot org  2010-05-19 12:57 -------
(In reply to comment #4)
> Fixed in trunk. Closing

Second try.


-- 

dfranke at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.6.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34505