[Bug c/39556] New: statics in C99 inline functions later declared extern

[Bug c/39556] New: statics in C99 inline functions later declared extern

[jsm28 at gcc dot gnu dot org]

C99 prohibits an "inline definition" of a function with external linkage
from containing modifiable static variables or references to file-scope
static variables or functions.

A definition is an inline definition only if all file-scope declarations
for the function in the translation unit use "inline" and do not use
"extern".  Thus, this cannot be determined until the end of the translation
unit.  GCC gives the diagnostics for the above constraint too soon, leading
to the following valid examples being wrongly rejected with -std=c99
-pedantic-errors.  It needs to defer them and see at the end of the
translation unit whether the definition is an inline definition after all.

Example 1:
static int a;
inline int f (void) { return a; }
int f (void);

Example 2:
inline void f (void) { static int a; }
extern inline void f (void);


-- 
           Summary: statics in C99 inline functions later declared extern
           Product: gcc
           Version: 4.4.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=39556

[Bug c/39556] statics in C99 inline functions later declared extern

[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:09:57
               date|                            |


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

[Bug c/39556] statics in C99 inline functions later declared extern

[jsm28 at gcc dot gnu dot org]

------- Comment #1 from jsm28 at gcc dot gnu dot org  2009-04-26 13:40 -------
Subject: Bug 39556

Author: jsm28
Date: Sun Apr 26 13:40:19 2009
New Revision: 146800

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=146800
Log:
        PR c/39556
        * c-tree.h (enum c_inline_static_type): New.
        (record_inline_static): Declare.
        * c-decl.c (struct c_inline_static, c_inline_statics,
        record_inline_static, check_inline_statics): New.
        (pop_file_scope): Call check_inline_statics.
        (start_decl): Call record_inline_static instead of pedwarning
        directly for static in inline function.
        * c-typeck.c (build_external_ref): Call record_inline_static
        instead of pedwarning directly for static referenced in inline
        function.

testsuite:
        * gcc.dg/inline-34.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/inline-34.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/c-decl.c
    trunk/gcc/c-tree.h
    trunk/gcc/c-typeck.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c/39556] statics in C99 inline functions later declared extern

[jsm28 at gcc dot gnu dot org]

------- Comment #2 from jsm28 at gcc dot gnu dot org  2009-04-26 13:41 -------
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=39556