[Bug c/14050] New: c99 restrict doesn't work in abs declarator

[Bug c/14050] New: c99 restrict doesn't work in abs declarator

[mrs at apple dot com]

c99's restrict doesn't work in an abstract declarator:

int regexec(int [restrict]);

t7.c:1: error: static or type qualifiers in abstract declarator

gcc version 3.4 20031207 (experimental)

In

http://gcc.gnu.org/ml/gcc/2004-02/msg00461.html

Nathan claimed it was valid.

-- 
           Summary: c99 restrict doesn't work in abs declarator
           Product: gcc
           Version: 3.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: mrs at apple dot com
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: powerpc-apple-darwin6.3
  GCC host triplet: powerpc-apple-darwin6.3
GCC target triplet: powerpc-apple-darwin6.3


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

[Bug c/14050] c99 restrict doesn't work in abs declarator

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-02-06 18:05 -------
Confirmed, not a regression.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |rejects-valid
      Known to fail|                            |3.5.0 2.95.3 3.0.4 3.3.1
                   |                            |3.2.3
   Last reconfirmed|0000-00-00 00:00:00         |2004-02-06 18:05:14
               date|                            |


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

[Bug c/14050] c99 restrict doesn't work in abs declarator

[mrs at apple dot com]

------- Additional Comments From mrs at apple dot com  2004-02-06 18:08 -------
Comipler flags: -std=c99

-- 


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

[Bug c/14050] [DR289] c99 restrict doesn't work in abs declarator

[jsm28 at gcc dot gnu dot org]

------- Additional Comments From jsm28 at gcc dot gnu dot org  2004-02-06 18:28 -------
It seems I did implement this C99 requirement when implementing this feature
after all (without considering whether it might be a defect), with the
error message shown rather than in the grammar.  Suspending until DR289
appears in the DR logs with an indication of the intended resolution.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |SUSPENDED


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

[Bug c/14050] [DR289] c99 restrict doesn't work in abs declarator

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-31 19:56 -------
http://www.open-std.org/JTC1/SC22/WG14/www/docs/dr_289.htm

This was decided that this was a defect at least as far as I can see.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|SUSPENDED                   |NEW
   Last reconfirmed|2005-07-02 01:57:22         |2005-08-31 19:56:52
               date|                            |


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

[Bug c/14050] [DR289] c99 restrict doesn't work in abs declarator

[neil at gcc dot gnu dot org]

------- Comment #5 from neil at gcc dot gnu dot org  2006-09-18 15:13 -------
Confirmed


-- 

neil at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|2006-03-05 03:15:48         |2006-09-18 15:13:12
               date|                            |


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

[Bug c/14050] [DR289] c99 restrict doesn't work in abs declarator

[jsm28 at gcc dot gnu dot org]

------- Comment #6 from jsm28 at gcc dot gnu dot org  2007-11-22 23:12 -------
Subject: Bug 14050

Author: jsm28
Date: Thu Nov 22 23:12:29 2007
New Revision: 130362

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130362
Log:
        PR c/14050
        * c-decl.c (set_array_declarator_inner): Don't give error for
        static or type qualifiers in abstract declarator.  Remove
        abstract_p parameter.
        * c-tree.h (set_array_declarator_inner): Update prototype.
        * c-parser.c (c_parser_direct_declarator_inner): Update call to
        set_array_declarator_inner.
        * doc/standards.texi: Update for C99 TC3.

testsuite:
        * gcc.dg/c99-arraydecl-1.c: Don't expect errors for static or type
        qualifiers in abstract declarator.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/c-decl.c
    trunk/gcc/c-parser.c
    trunk/gcc/c-tree.h
    trunk/gcc/doc/standards.texi
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/c99-arraydecl-1.c


-- 


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

[Bug c/14050] [DR289] c99 restrict doesn't work in abs declarator

[rguenth at gcc dot gnu dot org]

------- Comment #7 from rguenth at gcc dot gnu dot org  2009-06-25 11:10 -------
Fixed.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.3.0


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