[Bug fortran/25101] New: better diagnostic needed

[Bug fortran/25101] 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:

INTEGER :: A(10),J(2),I
FORALL(I=1:2:0)
A(I)=1
END FORALL
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=25101

[Bug fortran/25101] better diagnostic needed

[kargl at gcc dot gnu dot org]

------- Comment #1 from kargl at gcc dot gnu dot org  2005-11-27 03:56 -------
Where are the details?


-- 


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

[Bug fortran/25101] Zero stride allowed in FORALL:s

[eedelman at gcc dot gnu dot org]

------- Comment #2 from eedelman at gcc dot gnu dot org  2005-11-30 13:38 -------
F2k draft standard, section 7.4.4.2.1 says: "The value m3 shall not be zero.",
where m3 is the stride in a FORALL triplet. Confirmed.


-- 

eedelman at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |diagnostic
   Last reconfirmed|0000-00-00 00:00:00         |2005-11-30 13:38:02
               date|                            |
            Summary|better diagnostic needed    |Zero stride allowed in
                   |                            |FORALL:s


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

[Bug fortran/25101] Zero stride allowed in FORALL:s

[kargl at gcc dot gnu dot org]

------- Comment #3 from kargl at gcc dot gnu dot org  2006-01-02 23:38 -------
I have a patch for this.


-- 

kargl at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |kargl at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED


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

[Bug fortran/25101] Zero stride allowed in FORALL:s

[kargl at gcc dot gnu dot org]

------- Comment #4 from kargl at gcc dot gnu dot org  2006-01-03 22:01 -------
Subject: Bug 25101

Author: kargl
Date: Tue Jan  3 22:01:10 2006
New Revision: 109288

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=109288
Log:
2006-01-03  Steven G. Kargl  <kargls@comcast.net>

        PR fortran/25101
        * resolve.c (resolve_forall_iterators):  Check for scalar variables;
        Check stride is nonzero.

        * gfortran.dg/forall_2.f90:  New test.


Added:
    trunk/gcc/testsuite/gfortran.dg/forall_2.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/resolve.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug fortran/25101] [4.1] Zero stride allowed in FORALL:s

[kargl at gcc dot gnu dot org]

------- Comment #5 from kargl at gcc dot gnu dot org  2006-01-03 22:02 -------
Fixed on trunk.  I'll commit to 4.1 in a day or two.


-- 

kargl at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|Zero stride allowed in      |[4.1] Zero stride allowed in
                   |FORALL:s                    |FORALL:s


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

[Bug fortran/25101] [4.1] Zero stride allowed in FORALL:s

[kargl at gcc dot gnu dot org]

------- Comment #6 from kargl at gcc dot gnu dot org  2006-01-06 20:04 -------
Subject: Bug 25101

Author: kargl
Date: Fri Jan  6 20:04:15 2006
New Revision: 109425

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=109425
Log:
2006-01-06  Steven G. Kargl  <kargls@comcast.net>

        PR fortran/25101
        * resolve.c (resolve_forall_iterators):  Check for scalar variables;
        Check stride is nonzero.

        PR fortran/24640
        * parse.c (next_free): Check for whitespace after the label.
        * match.c (gfc_match_small_literal_int): Initialize cnt variable.

        PR fortran/25101
        * gfortran.dg/forall_2.f90: New test.

        PR fortran/24640
        * gfortran.dg/label_2.f90: New test.


Added:
    branches/gcc-4_1-branch/gcc/testsuite/gfortran.dg/forall_2.f90
    branches/gcc-4_1-branch/gcc/testsuite/gfortran.dg/label_2.f90
Modified:
    branches/gcc-4_1-branch/gcc/fortran/ChangeLog
    branches/gcc-4_1-branch/gcc/fortran/match.c
    branches/gcc-4_1-branch/gcc/fortran/parse.c
    branches/gcc-4_1-branch/gcc/fortran/resolve.c
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug fortran/25101] [4.1] Zero stride allowed in FORALL:s

[kargl at gcc dot gnu dot org]

------- Comment #7 from kargl at gcc dot gnu dot org  2006-01-06 20:07 -------
Fixed on 4.1, too.


-- 

kargl at gcc dot gnu dot org changed:

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


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