[Bug fortran/27765] New: -fbounds-check gives undue warning with

[Bug fortran/27765] New: -fbounds-check gives undue warning with

[fxcoudert at gcc dot gnu dot org]

I ran the gfortran testsuite with -fbounds-check and found a few failures (on
i686-linux), among which was gfortran.dg/aliasing_dummy_1.f90. Here is a
reduced testcase:

program test_lex
  type :: dtype
    character*5 :: word
  end type dtype

  type :: list
    type(dtype) :: list(1)
  end type list

  type(list) :: table

  call foo1 (table%list(1)%word)

contains

  subroutine foo1 (slist)
    character(*), dimension(*) :: slist
    write (slist(1), '(i5)') 0
  end subroutine foo1

end program test_lex

$ gfortran -fbounds-check bug.f90 && ./a.out 
Fortran runtime error: Array reference out of bounds


-- 
           Summary: -fbounds-check gives undue warning with
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Keywords: wrong-code
          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=27765

[Bug fortran/27765] -fbounds-check gives undue warning with

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2006-05-24 21:44 -------
I bet $ 100 (or a beer at the GCC summit if you come) that the problem is with
dimension(*)

Which means this is a dup of bug 19777.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|-fbounds-check gives undue  |-fbounds-check gives undue
                   |warning with                |warning with


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

[Bug fortran/27765] -fbounds-check gives undue warning with

[fxcoudert at gcc dot gnu dot org]

------- Comment #2 from fxcoudert at gcc dot gnu dot org  2006-05-27 08:30 -------
Right you are. Closed as duplicate.

*** This bug has been marked as a duplicate of 19777 ***


-- 

fxcoudert at gcc dot gnu dot org changed:

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


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

[Bug fortran/27765] -fbounds-check gives undue warning with

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2006-05-27 17:32 -------
(In reply to comment #2)
> Right you are. Closed as duplicate.

FX, Are you comming to the GCC summit?


-- 


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

[Bug fortran/27765] -fbounds-check gives undue warning with

[fxcoudert at gcc dot gnu dot org]

------- Comment #4 from fxcoudert at gcc dot gnu dot org  2006-05-28 12:07 -------
(In reply to comment #3)
> FX, Are you comming to the GCC summit?

Well, my employer has nothing to do with gfortra, so I won't be coming. But if
you ever come to Paris, I'll offer you a beer!


-- 


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