public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug fortran/29712]  New: UBOUND of non-last dimensions of assumed-size array
@ 2006-11-04 16:32 fxcoudert at gcc dot gnu dot org
  2006-11-04 16:32 ` [Bug fortran/29712] " fxcoudert at gcc dot gnu dot org
                   ` (7 more replies)
  0 siblings, 8 replies; 9+ messages in thread
From: fxcoudert at gcc dot gnu dot org @ 2006-11-04 16:32 UTC (permalink / raw)
  To: gcc-bugs

Coming from PR 29489, but I think it's better to keep a separate PR about it:

$ cat a.f90 
subroutine foo (x,n)
  integer x(7,n,2,*)

  print *, ubound(x,1)
  print *, ubound(x,2)
  print *, ubound(x,3)
!  print *, ubound(x,4)
!  print *, ubound(x)
end

  integer i(7,4,2,9)

  call foo(i,4)
end
$ ifort a.f90 && ./a.out
           7
           4
           2
$ gfortran a.f90 && ./a.out
 In file a.f90:5

  print *, ubound(x,2)
                 1
Error: The upper bound in the last dimension must appear in the reference to
the assumed size array 'x' at (1).


-- 
           Summary: UBOUND of non-last dimensions of assumed-size array
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Keywords: rejects-valid
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: fxcoudert at gcc dot gnu dot org


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


^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug fortran/29712] UBOUND of non-last dimensions of assumed-size array
  2006-11-04 16:32 [Bug fortran/29712] New: UBOUND of non-last dimensions of assumed-size array fxcoudert at gcc dot gnu dot org
@ 2006-11-04 16:32 ` fxcoudert at gcc dot gnu dot org
  2006-11-04 16:46 ` fxcoudert at gcc dot gnu dot org
                   ` (6 subsequent siblings)
  7 siblings, 0 replies; 9+ messages in thread
From: fxcoudert at gcc dot gnu dot org @ 2006-11-04 16:32 UTC (permalink / raw)
  To: gcc-bugs



-- 

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-11-04 16:32:42
               date|                            |


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


^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug fortran/29712] UBOUND of non-last dimensions of assumed-size array
  2006-11-04 16:32 [Bug fortran/29712] New: UBOUND of non-last dimensions of assumed-size array fxcoudert at gcc dot gnu dot org
  2006-11-04 16:32 ` [Bug fortran/29712] " fxcoudert at gcc dot gnu dot org
@ 2006-11-04 16:46 ` fxcoudert at gcc dot gnu dot org
  2006-11-06 20:37 ` pinskia at gcc dot gnu dot org
                   ` (5 subsequent siblings)
  7 siblings, 0 replies; 9+ messages in thread
From: fxcoudert at gcc dot gnu dot org @ 2006-11-04 16:46 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #1 from fxcoudert at gcc dot gnu dot org  2006-11-04 16:46 -------
Line 197 of testcase gfortran.dg/bound_2.f90 will have to be uncommented when
that bug is fixed.


-- 


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


^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug fortran/29712] UBOUND of non-last dimensions of assumed-size array
  2006-11-04 16:32 [Bug fortran/29712] New: UBOUND of non-last dimensions of assumed-size array fxcoudert at gcc dot gnu dot org
  2006-11-04 16:32 ` [Bug fortran/29712] " fxcoudert at gcc dot gnu dot org
  2006-11-04 16:46 ` fxcoudert at gcc dot gnu dot org
@ 2006-11-06 20:37 ` pinskia at gcc dot gnu dot org
  2006-12-31 17:59 ` pault at gcc dot gnu dot org
                   ` (4 subsequent siblings)
  7 siblings, 0 replies; 9+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2006-11-06 20:37 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #2 from pinskia at gcc dot gnu dot org  2006-11-06 20:37 -------
This is my fault I think.  There was a PR about ubound and assumed-size arrays
where we crashed and I changed the code to reject all ubound on them IIRC.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org


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


^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug fortran/29712] UBOUND of non-last dimensions of assumed-size array
  2006-11-04 16:32 [Bug fortran/29712] New: UBOUND of non-last dimensions of assumed-size array fxcoudert at gcc dot gnu dot org
                   ` (2 preceding siblings ...)
  2006-11-06 20:37 ` pinskia at gcc dot gnu dot org
@ 2006-12-31 17:59 ` pault at gcc dot gnu dot org
  2007-01-15  8:17 ` pault at gcc dot gnu dot org
                   ` (3 subsequent siblings)
  7 siblings, 0 replies; 9+ messages in thread
From: pault at gcc dot gnu dot org @ 2006-12-31 17:59 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #3 from pault at gcc dot gnu dot org  2006-12-31 17:59 -------
This, at resolve.c:1578 sems to provide a fix (not regtested)-

      for (arg = expr->value.function.actual; arg; arg = arg->next)
        {
          if (inquiry && arg->next != NULL && arg->next->expr
                && arg->next->expr->expr_type != EXPR_CONSTANT)
            break;
          else if (inquiry && arg->next != NULL && arg->next->expr)
            if ((int)mpz_get_si (arg->next->expr->value.integer)
                        < arg->expr->rank)
            break;

Paul


-- 

pault at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |pault at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2006-11-04 16:32:42         |2006-12-31 17:59:40
               date|                            |


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


^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug fortran/29712] UBOUND of non-last dimensions of assumed-size array
  2006-11-04 16:32 [Bug fortran/29712] New: UBOUND of non-last dimensions of assumed-size array fxcoudert at gcc dot gnu dot org
                   ` (3 preceding siblings ...)
  2006-12-31 17:59 ` pault at gcc dot gnu dot org
@ 2007-01-15  8:17 ` pault at gcc dot gnu dot org
  2007-01-23  5:53 ` [Bug fortran/29712] [4.2 and 4.1 only] " pault at gcc dot gnu dot org
                   ` (2 subsequent siblings)
  7 siblings, 0 replies; 9+ messages in thread
From: pault at gcc dot gnu dot org @ 2007-01-15  8:17 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #4 from pault at gcc dot gnu dot org  2007-01-15 08:16 -------
Subject: Bug 29712

Author: pault
Date: Mon Jan 15 08:16:17 2007
New Revision: 120790

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=120790
Log:
2007-01-15  Paul Thomas  <pault@gcc.gnu.org>

        PR fortran/28172
        * trans-stmt.c (gfc_trans_call): If it does not have one, get
        a backend_decl for an alternate return.

        PR fortran/29389
        * resolve.c (pure_function): Statement functions are pure. Note
        that this will have to recurse to comply fully with F95.

        PR fortran/29712
        * resolve.c (resolve_function): Only a reference to the final
        dimension of an assumed size array is an error in an inquiry
        function.

        PR fortran/30283
        * resolve.c (resolve_function): Make sure that the function
        expression has a type.

2007-01-15  Paul Thomas  <pault@gcc.gnu.org>

        PR fortran/28172
        * gfortran.dg/altreturn_4.f90: New test.

        PR fortran/29389
        * gfortran.dg/stfunc_4.f90: New test.

        PR fortran/29712
        * gfortran.dg/bound_2.f90: Reinstate commented out line.
        * gfortran.dg/initialization_1.f90: Change warning.

        PR fortran/30283
        * gfortran.dg/specification_type_resolution_2.f90: New test.


Added:
    trunk/gcc/testsuite/gfortran.dg/altreturn_4.f90
    trunk/gcc/testsuite/gfortran.dg/specification_type_resolution_2.f90
    trunk/gcc/testsuite/gfortran.dg/stfunc_4.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/resolve.c
    trunk/gcc/fortran/trans-stmt.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gfortran.dg/bound_2.f90
    trunk/gcc/testsuite/gfortran.dg/initialization_1.f90


-- 


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


^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug fortran/29712] [4.2 and 4.1 only] UBOUND of non-last dimensions of assumed-size array
  2006-11-04 16:32 [Bug fortran/29712] New: UBOUND of non-last dimensions of assumed-size array fxcoudert at gcc dot gnu dot org
                   ` (4 preceding siblings ...)
  2007-01-15  8:17 ` pault at gcc dot gnu dot org
@ 2007-01-23  5:53 ` pault at gcc dot gnu dot org
  2007-01-23  5:54 ` pault at gcc dot gnu dot org
  2007-01-23  5:57 ` pault at gcc dot gnu dot org
  7 siblings, 0 replies; 9+ messages in thread
From: pault at gcc dot gnu dot org @ 2007-01-23  5:53 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #5 from pault at gcc dot gnu dot org  2007-01-23 05:53 -------
Subject: Bug 29712

Author: pault
Date: Tue Jan 23 05:53:14 2007
New Revision: 121077

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=121077
Log:
2007-01-23  Paul Thomas  <pault@gcc.gnu.org>

        Backports from trunk

        PR fortran/28172
        * trans-stmt.c (gfc_trans_call): If it does not have one, get
        a backend_decl for an alternate return.

        PR fortran/29389
        * resolve.c (pure_function): Statement functions are pure. Note
        that this will have to recurse to comply fully with F95.

        PR fortran/29712
        * resolve.c (resolve_function): Only a reference to the final
        dimension of an assumed size array is an error in an inquiry
        function.

        PR fortran/30283
        * resolve.c (resolve_function): Make sure that the function
        expression has a type.

2007-01-23  Paul Thomas  <pault@gcc.gnu.org>

        PR fortran/28172
        * gfortran.dg/altreturn_4.f90: New test.

        PR fortran/29389
        * gfortran.dg/stfunc_4.f90: New test.

        PR fortran/29712
        * gfortran.dg/bound_2.f90: Reinstate commented out line.
        * gfortran.dg/initialization_1.f90: Change warning.

        PR fortran/30283
        * gfortran.dg/specification_type_resolution_2.f90: New test.

Added:
    branches/gcc-4_2-branch/gcc/testsuite/gfortran.dg/altreturn_4.f90
   
branches/gcc-4_2-branch/gcc/testsuite/gfortran.dg/specification_type_resolution_2.f90
    branches/gcc-4_2-branch/gcc/testsuite/gfortran.dg/stfunc_4.f90
Modified:
    branches/gcc-4_2-branch/gcc/fortran/ChangeLog
    branches/gcc-4_2-branch/gcc/fortran/resolve.c
    branches/gcc-4_2-branch/gcc/fortran/trans-stmt.c
    branches/gcc-4_2-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_2-branch/gcc/testsuite/gfortran.dg/bound_2.f90
    branches/gcc-4_2-branch/gcc/testsuite/gfortran.dg/initialization_1.f90


-- 


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


^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug fortran/29712] [4.2 and 4.1 only] UBOUND of non-last dimensions of assumed-size array
  2006-11-04 16:32 [Bug fortran/29712] New: UBOUND of non-last dimensions of assumed-size array fxcoudert at gcc dot gnu dot org
                   ` (5 preceding siblings ...)
  2007-01-23  5:53 ` [Bug fortran/29712] [4.2 and 4.1 only] " pault at gcc dot gnu dot org
@ 2007-01-23  5:54 ` pault at gcc dot gnu dot org
  2007-01-23  5:57 ` pault at gcc dot gnu dot org
  7 siblings, 0 replies; 9+ messages in thread
From: pault at gcc dot gnu dot org @ 2007-01-23  5:54 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #6 from pault at gcc dot gnu dot org  2007-01-23 05:54 -------
Fixed on trunk and 4.2

Paul


-- 


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


^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug fortran/29712] [4.2 and 4.1 only] UBOUND of non-last dimensions of assumed-size array
  2006-11-04 16:32 [Bug fortran/29712] New: UBOUND of non-last dimensions of assumed-size array fxcoudert at gcc dot gnu dot org
                   ` (6 preceding siblings ...)
  2007-01-23  5:54 ` pault at gcc dot gnu dot org
@ 2007-01-23  5:57 ` pault at gcc dot gnu dot org
  7 siblings, 0 replies; 9+ messages in thread
From: pault at gcc dot gnu dot org @ 2007-01-23  5:57 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #7 from pault at gcc dot gnu dot org  2007-01-23 05:57 -------
It would help to mark it as fixed!


-- 

pault at gcc dot gnu dot org changed:

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


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


^ permalink raw reply	[flat|nested] 9+ messages in thread

end of thread, other threads:[~2007-01-23  5:57 UTC | newest]

Thread overview: 9+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2006-11-04 16:32 [Bug fortran/29712] New: UBOUND of non-last dimensions of assumed-size array fxcoudert at gcc dot gnu dot org
2006-11-04 16:32 ` [Bug fortran/29712] " fxcoudert at gcc dot gnu dot org
2006-11-04 16:46 ` fxcoudert at gcc dot gnu dot org
2006-11-06 20:37 ` pinskia at gcc dot gnu dot org
2006-12-31 17:59 ` pault at gcc dot gnu dot org
2007-01-15  8:17 ` pault at gcc dot gnu dot org
2007-01-23  5:53 ` [Bug fortran/29712] [4.2 and 4.1 only] " pault at gcc dot gnu dot org
2007-01-23  5:54 ` pault at gcc dot gnu dot org
2007-01-23  5:57 ` pault at gcc dot gnu dot org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).