BUG: Structure Tags Visible Outside of Function Prototype Scope

Retired KB Content Disclaimer

View products that this article applies to.

This article was previously published under Q67041

SYMPTOMS

The 16-bit compilers listed above incorrectly generate the follow error message:

error C2025: 'tag1': enum/struct/union type redefinition

In Visual C++32-bit Edition, the following error is incorrectly generated:

error C2011: 'tag1' : 'union' type redefinition

Back to the top

The scope of an identifier in C is determined by the placement of its declaration. According to the ANSI specification, if an identifier's declarator or type specification appears within a list of parameter declarations in a function prototype, the identifier is said to have "function prototype scope." This scope terminates at the end of the function prototype. In the C and QuickC compilers, this scope is not correctly terminated for structure and union tags, and a C2025 error may be incorrectly generated.

Back to the top

STATUS

Microsoft has confirmed this to be a bug in the Microsoft products listed at the beginning of this article. We are researching this problem and will post new information here in the Microsoft Knowledge Base as it becomes available.

Back to the top

MORE INFORMATION

The sample code below demonstrates this problem. The identifier "tag1" is a struct/union tag that does appear twice, but because the second instance appears in the prototype for func1(), it should have scope that is local to the prototype only. The same is true for "num".

Section 3.1.2.1 of the ANSI specification states the following:

If an outer declaration of a lexically identical identifier exists in the same name space, it is hidden until the current scope terminates, after which it again becomes visible.

Thus, both of these identifiers should not be visible outside of the prototype itself. Yet, the compiler correctly allows the name "num" to be reused, while incorrectly generating the following error for "tag1":

error C2025: 'tag1' : enum/struct/union type redefinition

-or-

error C2011: 'tag1' : 'union' type redefinition

Back to the top

Sample Code

   /* Compile options needed: /Za
   */ 

   void main(void)
   {
       int num;
       union tag1 { int   i;
                    float f; };
       {
           void func1( float num, struct tag1 *ptr );
       }
   }

Back to the top

APPLIES TO

Microsoft C/C++ Professional Development System 7.0
Microsoft Visual C++ 1.0 Professional Edition
Microsoft Visual C++ 1.5 Professional Edition
Microsoft Visual C++ 2.0 Professional Edition
Microsoft Visual C++ 4.0 Standard Edition
Microsoft Visual C++ 4.1 Subscription
Microsoft Visual C++ 4.2 Professional Edition
Microsoft Visual C++ 5.0 Standard Edition

Back to the top

kbbug kbcompiler KB67041

Back to the top

Retired KB Content Disclaimer

This article was written about products for which Microsoft no longer offers support. Therefore, this article is offered "as is" and will no longer be updated.

Back to the top