[Bug target/19315] New: variable is not emitted in the asm

[Bug target/19315] New: variable is not emitted in the asm

[pinskia at gcc dot gnu dot org]

Take the following code:
void bar (const int * const x);
static const int y[];
void
foo (void)
{
  bar (y);
}
This should at assemble but does not.
If I get some time this weekend I will look into fixing this.

-- 
           Summary: variable is not emitted in the asm
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Keywords: wrong-code
          Severity: minor
          Priority: P2
         Component: target
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pinskia at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org
GCC target triplet: powerpc-darwin


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

[Bug target/19315] variable is not emitted in the asm

[schwab at suse dot de]

------- Additional Comments From schwab at suse dot de  2005-01-07 16:07 -------
Shouldn't this be rejected as y is of incomplete type? 

-- 


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

[Bug target/19315] variable is not emitted in the asm

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-07 16:52 -------
If you trust Comeau's C compiler, then yes this is not valid code and should be rejected.
Also one more note, this was able to compile with 3.3.2 but we called y as an extern symbol which is 
just wrong also.

-- 


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

[Bug target/19315] variable is not emitted in the asm

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-12 05:43 -------
-pedantic rejects the code.

This looks like another undocumened extension and how it works too.
Reading the comment in c-decl.c says this is how it should work but this is just plainly stupid:
          /* If a `static' var's size isn't known,
             make it extern as well as static, so it does not get
             allocated.
             If it is not `static', then do not mark extern;
             finish_incomplete_decl will give it a default size
             and it will get allocated.  */

-- 


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

[Bug c/19315] variable is not emitted in the asm

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-02-12 23:29 -------
This looks like one of those undocumented extensions.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
          Component|target                      |c
     Ever Confirmed|                            |1
           Keywords|wrong-code                  |accepts-invalid
   Last reconfirmed|0000-00-00 00:00:00         |2005-02-12 23:29:53
               date|                            |


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