[Bug c/39582] New: bad errors for some uses of [*] arrays

[Bug c/39582] New: bad errors for some uses of [*] arrays

[jsm28 at gcc dot gnu dot org]

With -std=c99 -pedantic-errors, the code

void foo11d(int x[sizeof(int *[*])]);

receives the diagnostics:

t.c:1: warning: '[*]' not in a declaration
t.c:1: error: ISO C forbids zero-size array 'x'

There certainly isn't a zero-size array (a GNU extension) here; there's
a use of [*] arrays that ended up being valid with the final resolution
of DR#341 (see <http://gcc.gnu.org/ml/gcc-patches/2009-02/msg00133.html>)
and the result of sizeof should be variable, not a constant 0, in this
case.


-- 
           Summary: bad errors for some uses of [*] arrays
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Keywords: rejects-valid
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jsm28 at gcc dot gnu dot org
OtherBugsDependingO 16989
             nThis:


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

[Bug c/39582] bad errors for some uses of [*] arrays

[jsm28 at gcc dot gnu dot org]

-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2009-03-30 01:10:31
               date|                            |


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

[Bug c/39582] bad errors for some uses of [*] arrays

[jsm28 at gcc dot gnu dot org]

------- Comment #1 from jsm28 at gcc dot gnu dot org  2009-04-25 21:19 -------
Subject: Bug 39582

Author: jsm28
Date: Sat Apr 25 21:19:09 2009
New Revision: 146787

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=146787
Log:
        PR c/39582
        * c-typeck.c (c_expr_sizeof_type): Create a C_MAYBE_CONST_EXPR
        with non-null C_MAYBE_CONST_EXPR_PRE if size of a variable-length
        type is an integer constant.

testsuite:
        * gcc.dg/vla-20.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/vla-20.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/c-typeck.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c/39582] bad errors for some uses of [*] arrays

[jsm28 at gcc dot gnu dot org]

------- Comment #2 from jsm28 at gcc dot gnu dot org  2009-04-25 21:21 -------
Fixed for 4.5.


-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
      Known to work|                            |4.5.0
         Resolution|                            |FIXED
   Target Milestone|---                         |4.5.0


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