[Bug fortran/25096] New: better diagnostic needed

[Bug fortran/25096] New: better diagnostic needed

[jv244 at cam dot ac dot uk]

using GNU Fortran 95 (GCC) 4.1.0 20051126 (prerelease)  with '-g -pedantic
-std=f95', I get a bad / no diagnostic for the following invalid code:

 TYPE T1
  INTEGER :: I(2)
 END TYPE T1
 TYPE(T1) :: D(4)
 DATA (D(i)%I,i=1,4) /8*0/
 END


-- 
           Summary: better diagnostic needed
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jv244 at cam dot ac dot uk


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

[Bug fortran/25096] Non-conforming shapes of DATA object and data

[fxcoudert at gcc dot gnu dot org]

------- Comment #1 from fxcoudert at gcc dot gnu dot org  2006-06-04 09:38 -------
g95 emits a hard error on this one, while Intel accept it.

$ g95 a.f90
In file a.f90:5

 DATA (D(i)%I,i=1,4) /8*0/
        1
Error: Array section not allowed in DATA statement at (1)


-- 

fxcoudert at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |accepts-invalid, diagnostic
   Last reconfirmed|0000-00-00 00:00:00         |2006-06-04 09:38:57
               date|                            |


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

[Bug fortran/25096] Non-conforming shapes of DATA object and data

[jv244 at cam dot ac dot uk]

------- Comment #2 from jv244 at cam dot ac dot uk  2008-12-05 16:26 -------
still fails with 4.4


-- 

jv244 at cam dot ac dot uk changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|2006-06-04 09:38:57         |2008-12-05 16:26:38
               date|                            |


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

[Bug fortran/25096] Non-conforming shapes of DATA object and data

[bdavis at gcc dot gnu dot org]

------- Comment #3 from bdavis at gcc dot gnu dot org  2010-09-05 18:56 -------
just a question. why is this illegal ?

it takes 8 values to initialize...

--bud


-- 


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

[Bug fortran/25096] Non-conforming shapes of DATA object and data

[jv244 at cam dot ac dot uk]

------- Comment #4 from jv244 at cam dot ac dot uk  2010-09-08 18:22 -------
(In reply to comment #3)
> just a question. why is this illegal ?

it is R528 in the section on the data statement of the F2003 standard that
suggests this has to be a scalar-structure-component. Not so obvious why, if
you ask me.


-- 


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

[Bug fortran/25096] Non-conforming shapes of DATA object and data

[dominiq at lps dot ens.fr]

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

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

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

--- Comment #5 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
(In reply to comment #4)
> > just a question. why is this illegal ?
>
> it is R528 in the section on the data statement of the F2003 standard 
> that suggests this has to be a scalar-structure-component. Not so obvious why, 
> if you ask me.

R528 for F2003 is

> R528 data-i-do-object is array-element
>                       or scalar-structure-component
>                       or data-implied-do

It differs from F95

> R534 data-stmt-object is variable
>                       or data-implied-do

None of them rules out data-implied-do, so I think g95 is wrong (it still
rejects the code if I replace '8*0' with '4*0'.

I have no doubt that

 TYPE T1
  INTEGER :: I(2)
 END TYPE T1
 TYPE(T1) :: D(4)
 DATA (D(i)%I,i=1,4) /4*0/
 END

is valid and I did not find where n*v for n>'number of elements to initialize'
is forbidden by the standards.

Closing as INVALID.