[Bug fortran/45143] New: [F2008,corrig1] Endless loop with unlimited edit descriptor

[Bug fortran/45143] New: [F2008,corrig1] Endless loop with unlimited edit descriptor

[burnus at gcc dot gnu dot org]

The following is valid according to the F2008 FDIS, but it does not make sense
and is invalid according the the first rounds of interpretation for F08/0030.

gfortran currently ends in an endless loop for the example:

    print 20
 20 format ( *('a') )
end

As it is a constraint, one needs to diagnose it during compilation, but should
also add it to libgfortran if the string is not checkable.

Cf. http://j3-fortran.org/doc/meeting/193/10-199.txt has for F08/0030

EDITS to 10-007:

[246:15] After C1002 in 10.3.1, add a new constraint:

  "C1002A (R1005) An <unlimited-format-item> shall contain at least
                  one data edit descriptor."

The rest of the request seems to be already covered by gfortran's
implementation.


-- 
           Summary: [F2008,corrig1] Endless loop with unlimited edit
                    descriptor
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: burnus at gcc dot gnu dot org


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

[Bug fortran/45143] [F2008,corrig1] Endless loop with unlimited edit descriptor

[jvdelisle at gcc dot gnu dot org]

------- Comment #1 from jvdelisle at gcc dot gnu dot org  2010-07-30 14:10 -------
Mine


-- 

jvdelisle at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |jvdelisle at gcc dot gnu dot
                   |dot org                     |org
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2010-07-30 14:10:14
               date|                            |


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

[Bug fortran/45143] [F2008,corrig1] Endless loop with unlimited edit descriptor

[jvdelisle at gcc dot gnu dot org]

------- Comment #2 from jvdelisle at gcc dot gnu dot org  2010-08-07 12:03 -------
Subject: Bug 45143

Author: jvdelisle
Date: Sat Aug  7 12:03:23 2010
New Revision: 162978

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=162978
Log:
2010-08-07  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

        PR libfortran/45143
        * io/format.c: Remove fnode storage structure definitions, moving these
        to format.h. (parse_format_list): Add check for data descriptors,
        taking care of nested formats. Adjust calling parameters to pass a
        check flag. (parse_format): Likewise.
        * io/format.h: Add structures moved from format.c.

Modified:
    trunk/libgfortran/ChangeLog
    trunk/libgfortran/io/format.c
    trunk/libgfortran/io/format.h


-- 


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

[Bug fortran/45143] [F2008,corrig1] Endless loop with unlimited edit descriptor

[jvdelisle at gcc dot gnu dot org]

------- Comment #3 from jvdelisle at gcc dot gnu dot org  2010-08-07 12:10 -------
Subject: Bug 45143

Author: jvdelisle
Date: Sat Aug  7 12:10:25 2010
New Revision: 162979

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=162979
Log:
2010-08-07  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

        PR libfortran/45143
        * gfortran.dg/fmt_error_11.f03: New test.

Added:
    trunk/gcc/testsuite/gfortran.dg/fmt_error_11.f03
Modified:
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug fortran/45143] [F2008,corrig1] Endless loop with unlimited edit descriptor

[burnus at gcc dot gnu dot org]

------- Comment #4 from burnus at gcc dot gnu dot org  2010-08-19 20:54 -------
Do you want to backport it to 4.5? Or can the PR be closed?


-- 


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

[Bug fortran/45143] [F2008,corrig1] Endless loop with unlimited edit descriptor

[jvdelisle at gcc dot gnu dot org]

------- Comment #5 from jvdelisle at gcc dot gnu dot org  2010-08-19 22:56 -------
This is not currently diagnosed during compilation.  My original plan is to see
if I can do that with the front end and then close it.


-- 


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

[Bug fortran/45143] [F2008,corrig1] Endless loop with unlimited edit descriptor

[burnus at gcc dot gnu.org]

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

--- Comment #6 from Tobias Burnus <burnus at gcc dot gnu.org> 2010-09-24 11:36:29 UTC ---
When adding the compilation check, also a gfc_notify_std(GFC_STD_F2008,
"Fortran 2008:...." should be added.

-- 
Configure bugmail: http://gcc.gnu.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.

[Bug fortran/45143] [F2008,corrig1] Endless loop with unlimited edit descriptor

[jvdelisle at gcc dot gnu.org]

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

--- Comment #7 from Jerry DeLisle <jvdelisle at gcc dot gnu.org> 2010-10-06 13:51:22 UTC ---
As an update on this, when I finish melding of runtime and compile time format
checking into a common set of routines, this bug will be finished.

[Bug fortran/45143] [F2008,corrig1] Endless loop with unlimited edit descriptor

[jvdelisle at gcc dot gnu.org]

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

Jerry DeLisle <jvdelisle at gcc dot gnu.org> changed:

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

--- Comment #8 from Jerry DeLisle <jvdelisle at gcc dot gnu.org> ---
Closing, no time for original plans.