[Bug c/22529] New: [3.4/4.0/4.1 Regression] Rejects valid C99 address of C99 struct in static variable in function

[Bug c/22529] New: [3.4/4.0/4.1 Regression] Rejects valid C99 address of C99 struct in static variable in function

[pinskia at gcc dot gnu dot org]

Take the following code:
struct f1
{
  int i;
};
void f(void)
{
 static struct f1 *f2 = &(struct f1){1};
}

This is valid C99 at least according to both ICC and Comeau.
And we acceptted it in 3.0.4 also.

-- 
           Summary: [3.4/4.0/4.1 Regression] Rejects valid C99 address of
                    C99 struct in static variable in function
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Keywords: rejects-valid
          Severity: normal
          Priority: P2
         Component: c
        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


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

[Bug c/22529] [3.4/4.0/4.1 Regression] Rejects valid C99 address of C99 struct in static variable in function

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |3.4.5


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

[Bug c/22529] [3.4/4.0/4.1 Regression] Rejects valid C99 address of C99 struct in static variable in function

[joseph at codesourcery dot com]

------- Additional Comments From joseph at codesourcery dot com  2005-07-17 20:13 -------
Subject: Re:  New: [3.4/4.0/4.1 Regression] Rejects valid C99
 address of C99 struct in static variable in function

On Sun, 17 Jul 2005, pinskia at gcc dot gnu dot org wrote:

> Take the following code:
> struct f1
> {
>   int i;
> };
> void f(void)
> {
>  static struct f1 *f2 = &(struct f1){1};
> }
> 
> This is valid C99 at least according to both ICC and Comeau.

So report it as a bug in ICC and Comeau.  It is exactly as valid as

struct f1
{
  int i;
};
void f(void)
{
  struct f1 tmp = { 1 };
  static struct f1 *f2 = &tmp;
}

i.e. not at all.  The address of an object of automatic storage duration 
is not a constant.



-- 


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

[Bug c/22529] [3.4/4.0/4.1 Regression] Rejects valid C99 address of C99 struct in static variable in function

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-17 20:18 -------
That is interesting as if we move the variable declaration out of the function, it works in GCC.

-- 


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

[Bug c/22529] [3.4/4.0/4.1 Regression] Rejects valid C99 address of C99 struct in static variable in function

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-17 20:56 -------
I believe you that this is invalid code.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |INVALID


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

[Bug c/22529] [3.4/4.0/4.1 Regression] Rejects valid C99 address of C99 struct in static variable in function

[joseph at codesourcery dot com]

------- Additional Comments From joseph at codesourcery dot com  2005-07-17 20:58 -------
Subject: Re:  [3.4/4.0/4.1 Regression] Rejects valid C99 address
 of C99 struct in static variable in function

On Sun, 17 Jul 2005, pinskia at gcc dot gnu dot org wrote:

> That is interesting as if we move the variable declaration out of the 
> function, it works in GCC.

That's because of 6.5.2.5#6 which defines the storage duration of compound 
literals to depend on whether they are inside a function:

       [#6] The value of the compound literal is that of an unnamed
       object initialized by the initializer list.  If the compound
       literal occurs outside the body of a  function,  the  object
       has  static  storage  duration;  otherwise, it has automatic
       storage duration associated with the enclosing block.



-- 


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