[Bug fortran/31929] New: atan2 accepts non-conforming array shapes

[Bug fortran/31929] New: atan2 accepts non-conforming array shapes

[dfranke at gcc dot gnu dot org]

The following code is invalid as shapes of X and Y are not identical:

$> cat atan2.f90
real :: x(3), y(2)     ! same rank but different shapes
x = atan2(x,y)
end

$> gfortran-svn -fdump-tree-original atan2.f90
$> cat atan2.f90.003t.original
MAIN__ ()
{
  real4 y[2];
  real4 x[3];

  _gfortran_set_std (68, 127, 0, 0, 0);
  {
    int4 S.0;

    S.0 = 1;
    while (1)
      {
        if (S.0 > 3) goto L.1;
        x[S.0 + -1] = __builtin_atan2f (x[S.0 + -1], y[S.0 + -1]);
        S.0 = S.0 + 1;
      }
    L.1:;
  }
}

$> gfortran-svn -v
gcc version 4.3.0 20070502 (experimental)


-- 
           Summary: atan2 accepts non-conforming array shapes
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Keywords: accepts-invalid
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: dfranke at gcc dot gnu dot org
        ReportedBy: dfranke at gcc dot gnu dot org


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

[Bug fortran/31929] atan2 accepts non-conforming array shapes

[dfranke at gcc dot gnu dot org]

------- Comment #1 from dfranke at gcc dot gnu dot org  2007-05-17 13:37 -------
Subject: Bug 31929

Author: dfranke
Date: Thu May 17 12:37:24 2007
New Revision: 124794

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

        PR fortran/31919
        PR fortran/31929
        PR fortran/31930
        * intrinsic.c (check_specific): Check elemental intrinsics for
        rank and shape.
        (add_functions): Fixed dummy argument names of BESJN and BESYN.
        Fixed elemental status of MCLOCK and MCLOCK8.
        * check.c (check_rest): Added check for array conformance.
        (gfc_check_merge): Removed check for array conformance.
        (gfc_check_besn): Removed check for scalarity.
        * intrinsic.texi (CSHIFT, EOSHIFT): Fixed typos.
        (BESJN, BESYN): Clarified documentation.

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

        PR fortran/31919
        * gfortran.dg/min_max_conformance.f90: New test.


Added:
    trunk/gcc/testsuite/gfortran.dg/min_max_conformance.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/check.c
    trunk/gcc/fortran/intrinsic.c
    trunk/gcc/fortran/intrinsic.texi
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug fortran/31929] [4.1/4.2 only] atan2 accepts non-conforming array shapes

[fxcoudert at gcc dot gnu dot org]

------- Comment #2 from fxcoudert at gcc dot gnu dot org  2007-05-31 12:00 -------
I don't think we should backport that to 4.2, as it's not a regression AFAICS.
Can you close it? (or, if you think it's worth backporting, ask for opinions on
the mailing-list?)


-- 

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         |2007-05-31 12:00:09
               date|                            |
   Target Milestone|---                         |4.3.0


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

[Bug fortran/31929] [4.1/4.2 only] atan2 accepts non-conforming array shapes

[dfranke at gcc dot gnu dot org]

------- Comment #3 from dfranke at gcc dot gnu dot org  2007-06-16 22:54 -------
Not a regression, no backport to 4.2. Closing


-- 

dfranke at gcc dot gnu dot org changed:

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


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