[Bug fortran/29600] New: F2003 intrinsics with an optional KIND argument

[Bug fortran/29600] New: F2003 intrinsics with an optional KIND argument

[fxcoudert at gcc dot gnu dot org]

The following intrinsics were given an additional (optional) KIND argument by
F2003: ACHAR, COUNT, IACHAR, ICHAR, INDEX, LBOUND, LEN, LEN_TRIM, MAXLOC,
MINLOC, SCAN, SHAPE, SIZE, UBOUND, VERIFY


-- 
           Summary: F2003 intrinsics with an optional KIND argument
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: enhancement
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: fxcoudert at gcc dot gnu dot org
OtherBugsDependingO 20585
             nThis:


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

[Bug fortran/29600] F2003 intrinsics with an optional KIND argument

[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         |2006-10-26 08:22:12
               date|                            |


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

[Bug fortran/29600] F2003 intrinsics with an optional KIND argument

[fxcoudert at gcc dot gnu dot org]

-- 

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
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2006-10-26 08:22:12         |2007-08-08 12:48:49
               date|                            |


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

[Bug fortran/29600] F2003 intrinsics with an optional KIND argument

[fxcoudert at gcc dot gnu dot org]

------- Comment #1 from fxcoudert at gcc dot gnu dot org  2007-08-08 17:37 -------
The following are easy to fix (I have a patch that just needs writing doc, I'll
submit later today): COUNT, IACHAR, ICHAR, INDEX, LBOUND, LEN, LEN_TRIM, SCAN,
SIZE, UBOUND, VERIFY.

This will leave: ACHAR (not so hard), MAXLOC, MINLOC and SHAPE. The last three
are a bit more tricky if we want to avoid combinatorial explosion of the
library routines ;-)


-- 


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

[Bug fortran/29600] F2003 intrinsics with an optional KIND argument

[fxcoudert at gcc dot gnu dot org]

------- Comment #2 from fxcoudert at gcc dot gnu dot org  2007-08-12 19:57 -------
Subject: Bug 29600

Author: fxcoudert
Date: Sun Aug 12 19:57:01 2007
New Revision: 127380

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=127380
Log:
        PR fortran/29600

        * intrinsic.c (add_functions): Add KIND arguments to COUNT,
        IACHAR, ICHAR, INDEX, LBOUND, LEN, LEN_TRIM, SCAN, SIZE, UBOUND
        and VERIFY.
        * iresolve.c (gfc_resolve_count): Add kind argument.
        (gfc_resolve_iachar): New function.
        (gfc_resolve_ichar): Add kind argument.
        (gfc_resolve_index_func): Likewise.
        (gfc_resolve_lbound): Likewise.
        (gfc_resolve_len): Likewise.
        (gfc_resolve_len_trim): Likewise.
        (gfc_resolve_scan): Likewise.
        (gfc_resolve_size): New function.
        (gfc_resolve_ubound): Add kind argument.
        (gfc_resolve_verify): Likewise.
        * trans-decl.c (gfc_get_extern_function_decl): Allow specific
        intrinsics to have 4 arguments.
        * check.c (gfc_check_count): Add kind argument.
        (gfc_check_ichar_iachar): Likewise.
        (gfc_check_index): Likewise.
        (gfc_check_lbound): Likewise.
        (gfc_check_len_lentrim): New function.
        (gfc_check_scan): Add kind argument.
        (gfc_check_size): Likewise.
        (gfc_check_ubound): Likewise.
        (gfc_check_verify): Likewise.
        * intrinsic.texi: Update documentation for COUNT, IACHAR, ICHAR,
        INDEX, LBOUND, LEN, LEN_TRIM, SCAN, SIZE, UBOUND and VERIFY.
        * simplify.c (get_kind): Whitespace fix.
        (int_expr_with_kind): New function.
        (gfc_simplify_iachar): Add kind argument.
        (gfc_simplify_iachar): Likewise.
        (gfc_simplify_ichar): Likewise.
        (gfc_simplify_index): Likewise.
        (simplify_bound_dim): Likewise.
        (simplify_bound): Likewise.
        (gfc_simplify_lbound): Likewise.
        (gfc_simplify_len): Likewise.
        (gfc_simplify_len_trim): Likewise.
        (gfc_simplify_scan): Likewise.
        (gfc_simplify_shape): Pass NULL as kind argument to gfc_simplify_size.
        (gfc_simplify_size): Add kind argument.
        (gfc_simplify_ubound): Likewise.
        (gfc_simplify_verify): Likewise.
        * intrinsic.h: Update prototypes and add new ones.
        * trans-intrinsic.c (gfc_conv_intrinsic_index): Rename into
        gfc_conv_intrinsic_index_scan_verify.
        (gfc_conv_intrinsic_scan, gfc_conv_intrinsic_verify): Remove.
        (gfc_conv_intrinsic_function): Call
        gfc_conv_intrinsic_index_scan_verify to translate the INDEX,
        SCAN and VERIFY intrinsics.

        * gfortran.dg/intrinsics_kind_argument_1.f90: New test.
        * gfortran.dg/pure_dummy_length_1.f90: Adapt to new error wording.

Added:
    trunk/gcc/testsuite/gfortran.dg/intrinsics_kind_argument_1.f90
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/fortran/iresolve.c
    trunk/gcc/fortran/simplify.c
    trunk/gcc/fortran/trans-decl.c
    trunk/gcc/fortran/trans-intrinsic.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gfortran.dg/pure_dummy_length_1.f90


-- 


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

[Bug fortran/29600] F2003 intrinsics with an optional KIND argument

[fxcoudert at gcc dot gnu dot org]

------- Comment #3 from fxcoudert at gcc dot gnu dot org  2007-08-12 21:21 -------
Subject: Bug 29600

Author: fxcoudert
Date: Sun Aug 12 21:21:08 2007
New Revision: 127385

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=127385
Log:
        PR fortran/29600

        * intrinsic.c (add_functions): Add optional KIND argument to ACHAR.
        * iresolve.c (gfc_resolve_achar): Handle the KIND argument.
        * check.c (gfc_check_achar): Check for the optional KIND argument.
        * simplify.c (gfc_simplify_achar): Use KIND argument.
        * intrinsic.h (gfc_check_achar, gfc_simplify_achar,
        gfc_resolve_achar): Adjust prototypes.

        * gfortran.dg/intrinsics_kind_argument_1.f90: Add test for ACHAR
        intrinsic.

Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/check.c
    trunk/gcc/fortran/intrinsic.c
    trunk/gcc/fortran/intrinsic.h
    trunk/gcc/fortran/iresolve.c
    trunk/gcc/fortran/simplify.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gfortran.dg/intrinsics_kind_argument_1.f90


-- 


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

[Bug fortran/29600] MINLOC, MAXLOC and SHAPE take an optional KIND argument

[fxcoudert at gcc dot gnu dot org]

------- Comment #4 from fxcoudert at gcc dot gnu dot org  2007-08-12 21:26 -------
Updated summary to reflect current state: only MINLOC, MAXLOC and SHAPE needs
to be done. I'm not working on it any more.


-- 

fxcoudert at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|fxcoudert at gcc dot gnu dot|unassigned at gcc dot gnu
                   |org                         |dot org
                URL|http://gcc.gnu.org/ml/gcc-  |
                   |patches/2007-               |
                   |08/msg00554.html            |
             Status|ASSIGNED                    |NEW
           Keywords|patch                       |
            Summary|F2003 intrinsics with an    |MINLOC, MAXLOC and SHAPE
                   |optional KIND argument      |take an optional KIND
                   |                            |argument


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

[Bug fortran/29600] MINLOC, MAXLOC and SHAPE take an optional KIND argument

[tkoenig at gcc dot gnu dot org]

------- Comment #5 from tkoenig at gcc dot gnu dot org  2008-01-20 09:50 -------
I'll take a shot at this.


-- 

tkoenig at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |tkoenig at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2007-08-08 12:48:49         |2008-01-20 09:50:52
               date|                            |


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

[Bug fortran/29600] MINLOC, MAXLOC and SHAPE take an optional KIND argument

[jb at gcc dot gnu dot org]

------- Comment #6 from jb at gcc dot gnu dot org  2008-05-22 18:13 -------
The "proper" solution, which as a side effect would take care of the
combinatorial explosion issue as well, would be to inline these intrinsics. See
also PR 31067.


-- 


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

[Bug fortran/29600] MINLOC, MAXLOC and SHAPE take an optional KIND argument

[tkoenig at gcc dot gnu dot org]

------- Comment #7 from tkoenig at gcc dot gnu dot org  2008-06-04 19:06 -------
No time for now (Real Time is catching up with me big time).

Unassigning (for now).


-- 

tkoenig at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|tkoenig at gcc dot gnu dot  |unassigned at gcc dot gnu
                   |org                         |dot org
             Status|ASSIGNED                    |NEW


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

[Bug fortran/29600] MINLOC, MAXLOC and SHAPE take an optional KIND argument

[dfranke at gcc dot gnu dot org]

------- Comment #8 from dfranke at gcc dot gnu dot org  2009-01-04 00:10 -------
See also: PR36462.


-- 


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

[Bug fortran/29600] MINLOC, MAXLOC and SHAPE take an optional KIND argument

[dfranke at gcc dot gnu dot org]

-- 

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|2008-01-20 09:50:52         |2009-01-13 19:24:06
               date|                            |


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

[Bug fortran/29600] MINLOC, MAXLOC and SHAPE take an optional KIND argument

[dfranke at gcc dot gnu dot org]

------- Comment #9 from dfranke at gcc dot gnu dot org  2009-03-31 19:44 -------
Patch:
  http://gcc.gnu.org/ml/fortran/2009-03/msg00142.html

Rejected due to concerns about additional bloat of the library (see also #6).
The frontend-changes are (probably) ok.

Unassigning myself.


-- 

dfranke at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dfranke at gcc dot gnu dot
                   |                            |org
         AssignedTo|dfranke at gcc dot gnu dot  |unassigned at gcc dot gnu
                   |org                         |dot org
             Status|ASSIGNED                    |NEW


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