[Bug fortran/49588] New: DATA statement with vector sections rejected (ICE: TODO)

[Bug fortran/49588] New: DATA statement with vector sections rejected (ICE: TODO)

[burnus at gcc dot gnu.org]

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

           Summary: DATA statement with vector sections rejected (ICE:
                    TODO)
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Keywords: rejects-valid
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: burnus@gcc.gnu.org
        Depends on: 49540


Follow up to PR 49540:

The following program never worked in gfortran, but it is valid. NAG and ifort
print:

 1 2 1 3 1 2

while gfortran just has:

END BLOCK DATA
             1
 Internal Error at (1):
 TODO: Vector sections in data statements


BLOCK DATA
  integer :: A(6)
  DATA A(::2)/3*1/
  DATA A([2,6])/2*2/
  DATA A([4])/3/
  COMMON /com/A
END BLOCK DATA

PROGRAM TEST
  integer :: A(6)
  COMMON /com/A
  print *, A
END PROGRAM TEST

[Bug fortran/49588] DATA statement with vector sections rejected (ICE: TODO)

[dominiq at lps dot ens.fr]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-06-26
     Ever confirmed|0                           |1

--- Comment #1 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
Still present at revision 200429.

[Bug fortran/49588] DATA statement with vector sections rejected (ICE: TODO)

[anlauf at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=49588

anlauf at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |anlauf at gcc dot gnu.org

--- Comment #3 from anlauf at gcc dot gnu.org ---
Created attachment 55768
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55768&action=edit
Draft patch (proof of concept)

This otherwise untested patch implements vector sections in DATA statements.

Might profit from some code refactoring by sharing code with regular sections.

[Bug fortran/49588] DATA statement with vector sections rejected (ICE: TODO)

[anlauf at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=49588

anlauf at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |anlauf at gcc dot gnu.org
             Status|NEW                         |ASSIGNED

--- Comment #4 from anlauf at gcc dot gnu.org ---
Submitted: https://gcc.gnu.org/pipermail/fortran/2023-August/059700.html

[Bug fortran/49588] DATA statement with vector sections rejected (ICE: TODO)

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=49588

--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Harald Anlauf <anlauf@gcc.gnu.org>:

https://gcc.gnu.org/g:d3b5a1bccc219680dc19281b6fd6cc798bb679eb

commit r14-3380-gd3b5a1bccc219680dc19281b6fd6cc798bb679eb
Author: Harald Anlauf <anlauf@gmx.de>
Date:   Mon Aug 21 21:23:57 2023 +0200

    Fortran: implement vector sections in DATA statements [PR49588]

    gcc/fortran/ChangeLog:

            PR fortran/49588
            * data.cc (gfc_advance_section): Derive next index set and next
offset
            into DATA variable also for array references using vector sections.
            Use auxiliary array to keep track of offsets into indexing vectors.
            (gfc_get_section_index): Set up initial indices also for DATA
variables
            with array references using vector sections.
            * data.h (gfc_get_section_index): Adjust prototype.
            (gfc_advance_section): Likewise.
            * resolve.cc (check_data_variable): Pass vector offsets.

    gcc/testsuite/ChangeLog:

            PR fortran/49588
            * gfortran.dg/data_vector_section.f90: New test.

[Bug fortran/49588] DATA statement with vector sections rejected (ICE: TODO)

[anlauf at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=49588

anlauf at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |14.0
         Resolution|---                         |FIXED
             Status|ASSIGNED                    |RESOLVED

--- Comment #6 from anlauf at gcc dot gnu.org ---
Fixed more than 12 years after the report.  Yay!