[Bug fortran/18315] New: wrong result for lbound with single argument

[Bug fortran/18315] New: wrong result for lbound with single argument

[Thomas dot Koenig at online dot de]

$ gfortran -v
Reading specs from /home/ig25/lib/gcc/i686-pc-linux-gnu/4.0.0/specs
Configured with: ../gcc/configure --prefix=/home/ig25
Thread model: posix
gcc version 4.0.0 20041105 (experimental)
$ cat lbound.f90
program main
  implicit none
  real :: a(0:9)
  integer :: bn(10)
  bn = lbound(a)
  print *,bn(1)
end program main
$ gfortran lbound.f90
$ ./a.out
           1

... it should print 0.

-- 
           Summary: wrong result for lbound with single argument
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: Thomas dot Koenig at online dot de
                CC: gcc-bugs at gcc dot gnu dot org
  GCC host triplet: i686-pc-linux-gnu


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

[Bug fortran/18315] wrong result for lbound with single argument

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-11-06 16:10 -------
Confirmed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |wrong-code
   Last reconfirmed|0000-00-00 00:00:00         |2004-11-06 16:10:42
               date|                            |


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

[Bug fortran/18315] wrong result for lbound with single argument

[fxcoudert at gcc dot gnu dot org]

------- Additional Comments From fxcoudert at gcc dot gnu dot org  2005-09-11 21:51 -------
Are you sure about that, Thomas? Most compilers I have access to (Intel, g95,
g77, Sun, Lahey) says something similar to "The left and right hand sides of
this array syntax assignment must be conformable arrays." or "Array assignment
at (1) has different sizes". I think this code is not standard-conforming.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |WAITING


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

[Bug fortran/18315] missing error for incompatible array assignment involving lbound

[rsandifo at gcc dot gnu dot org]

------- Additional Comments From rsandifo at gcc dot gnu dot org  2005-09-13 08:34 -------
After the patch for 18899, this now works for:

program main
  implicit none
  real :: a(0:9)
  integer :: bn(10)
  bn(1:1) = lbound(a)
  print *, bn(1)
end program main

but like FX says, we probably ought to report an error
for the mismatch in the original testcase.  Reclassifying
as a missing diagnostic bug.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |NEW
           Keywords|wrong-code                  |accepts-invalid
   Last reconfirmed|2005-05-08 17:28:58         |2005-09-13 08:34:24
               date|                            |
            Summary|wrong result for lbound with|missing error for
                   |single argument             |incompatible array
                   |                            |assignment involving lbound


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

[Bug fortran/18315] missing error for incompatible array assignment involving lbound

[pinskia at gcc dot gnu dot org]

------- Comment #4 from pinskia at gcc dot gnu dot org  2006-01-08 05:53 -------
Lahey's says:
  2317-S: "SOURCE.F90", line 5, column 3: Shape of arrays on left and right
sides of assignment do not conform.


I think what is happening is that lbound's type is becoming a scalar and not an
array with size of 1.


-- 


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

[Bug fortran/18315] missing error for incompatible array assignment involving lbound

[paul dot richard dot thomas at cea dot fr]

------- Comment #5 from paul dot richard dot thomas at cea dot fr  2006-05-11 15:54 -------

> I think what is happening is that lbound's type is becoming a scalar and not > an array with size of 1.

I believe that I fixed this with either the bounds scalarization patch or some
of the work on conformance or both.  Will close tonight.

Paul

Note the following:

THOMASP@PC-THOMAS-P /cygdrive/d/svn/prs
$ cat pr18315.f90;rm a.exe;/irun/bin/gfortran pr18315.f90;./a
program main
  implicit none
  real :: a(0:9)
  integer :: bn(10)
  bn(1:1) = lbound(a)
  print *, bn(1)
end program main
           0

THOMASP@PC-THOMAS-P /cygdrive/d/svn/prs
$ cat pr18315.f90;rm a.exe;/irun/bin/gfortran pr18315.f90;./a
program main
  implicit none
  real :: a(0:9)
  integer :: bn(10)
  bn = lbound(a)
  print *, bn(1)
end program main
 In file pr18315.f90:5

  bn = lbound(a)
   1
Error: different shape for Array assignment at (1) on dimension 1 (10/1)
bash: ./a: No such file or directory

THOMASP@PC-THOMAS-P /cygdrive/d/svn/prs
$ cat pr18315.f90;rm a.exe;/irun/bin/gfortran pr18315.f90;./a
program main
  implicit none
  real :: a(0:9)
  integer :: bn(10)
  bn(1) = lbound(a)
  print *, bn(1)
end program main
rm: cannot remove `a.exe': No such file or directory
 In file pr18315.f90:5

  bn(1) = lbound(a)
   1
Error: Incompatible ranks 0 and 1 in assignment at (1)
bash: ./a: No such file or directory


-- 

paul dot richard dot thomas at cea dot fr changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |paul dot richard dot thomas
                   |                            |at cea dot fr


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

[Bug fortran/18315] missing error for incompatible array assignment involving lbound

[pault at gcc dot gnu dot org]

------- Comment #6 from pault at gcc dot gnu dot org  2006-05-13 04:25 -------
Fixed on trunk and 4.1 - see #5

Paul


-- 

pault at gcc dot gnu dot org changed:

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


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