[Bug fortran/57035] New: TS29113's C535b: Wrongly accept DIMENSION(..) to TRANSFER

[Bug fortran/57035] New: TS29113's C535b: Wrongly accept DIMENSION(..) to TRANSFER

[burnus at gcc dot gnu.org]

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

             Bug #: 57035
           Summary: TS29113's C535b: Wrongly accept DIMENSION(..) to
                    TRANSFER
    Classification: Unclassified
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Keywords: accepts-invalid, diagnostic
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: burnus@gcc.gnu.org


>From http://gcc.gnu.org/ml/fortran/2013-04/msg00203.html

The following code is wrongly accepted:

subroutine assumed_rank (a)
  integer, intent(in) :: a(..)
  integer :: c(1:4)
  c = transfer(a,c,4)
end subroutine


>From TS29113:

"C535b An assumed-rank variable name shall not appear in a designator or
expression except as an actual argument corresponding to a dummy argument that
is assumed-rank, the argument of the C_LOC function in the ISO_C_BINDING
intrinsic module, or the first argument in a reference to an intrinsic inquiry
function."

There might be similar issues with TYPE(*) and !GCC$ attributes no_arg_check,
which are similar constraints.


Possibly the simplest would be to use intrinsic.c's do_check which could use
both
  if (!specific->inquiry) 
    ...
and
  for (arg = arg->next; arg; arg = arg->next)
    if (arg->expr ... )
      ...

[Bug fortran/57035] TS29113's C535b: Wrongly accept DIMENSION(..) to TRANSFER

[burnus at gcc dot gnu.org]

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

--- Comment #1 from Tobias Burnus <burnus at gcc dot gnu.org> ---
Should be fixed by the - pending - patch:
http://gcc.gnu.org/ml/fortran/2013-04/msg00206.html

[Bug fortran/57035] TS29113's C535b: Wrongly accept DIMENSION(..) to TRANSFER

[burnus at gcc dot gnu.org]

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

Tobias Burnus <burnus at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |FIXED

--- Comment #3 from Tobias Burnus <burnus at gcc dot gnu.org> ---
FIXED on the trunk (4.9)

[Bug fortran/57035] TS29113's C535b: Wrongly accept DIMENSION(..) to TRANSFER

[burnus at gcc dot gnu.org]

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

--- Comment #2 from Tobias Burnus <burnus at gcc dot gnu.org> ---
Author: burnus
Date: Tue May 21 17:27:04 2013
New Revision: 199158

URL: http://gcc.gnu.org/viewcvs?rev=199158&root=gcc&view=rev
Log:
2013-05-21  Tobias Burnus  <burnus@net-b.de>

        PR fortran/57035
        * intrinsic.c (do_check): Add constraint check for
        NO_ARG_CHECK, assumed rank and assumed type.
        * gfortran.texi (NO_ARG_CHECK): Minor wording change,
        allow PRESENT intrinsic.

2013-05-21  Tobias Burnus  <burnus@net-b.de>

        PR fortran/57035
        * gfortran.dg/assumed_type_5.f90: New.
        * gfortran.dg/assumed_rank_1.f90: Comment invalid statement.
        * gfortran.dg/assumed_rank_2.f90: Ditto.
        * gfortran.dg/assumed_type_3.f90: Update dg-error.
        * gfortran.dg/no_arg_check_3.f90: Ditto.


Added:
    trunk/gcc/testsuite/gfortran.dg/assumed_type_5.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/gfortran.texi
    trunk/gcc/fortran/intrinsic.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gfortran.dg/assumed_rank_1.f90
    trunk/gcc/testsuite/gfortran.dg/assumed_rank_2.f90
    trunk/gcc/testsuite/gfortran.dg/assumed_type_3.f90
    trunk/gcc/testsuite/gfortran.dg/no_arg_check_3.f90
    trunk/gcc/testsuite/gfortran.dg/sizeof_2.f90