Re: preprocessor/5498: indirect self-reference is not recognized

Re: preprocessor/5498: indirect self-reference is not recognized

[neil]

Synopsis: indirect self-reference is not recognized

State-Changed-From-To: open->closed
State-Changed-By: neil
State-Changed-When: Sat Jan 26 09:57:27 2002
State-Changed-Why:
    This is not a bug; the expansion of macro A has terminated
    by the time you get to the ')', and therefore the second
    invocation of A is not nested, and A is re-expanded.
    
    The EDG front end does the same as GCC too; see
    
    http://www.comeaucomputing.com/tryitout/
    
    with the -E option.
    
    If you have a compiler that behaves differently, that
    compiler is buggy.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=5498

preprocessor/5498: indirect self-reference is not recognized

[alexandervpetrov]

>Number:         5498
>Category:       preprocessor
>Synopsis:       indirect self-reference is not recognized
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Sat Jan 26 09:26:00 PST 2002
>Closed-Date:
>Last-Modified:
>Originator:     Alexander Petrov
>Release:        gcc version 2.95.1 19990816 (release)
>Organization:
>Environment:
SunOS dionysus 5.7 Generic_106541-02 sun4u sparc SUNW,Ultra-5_10
>Description:
Macro A refers to B, macro B refers to A;
single A is expanded twice in the following code:

# define A A_EXP B(
# define B() B_EXP A

A )

result:

A_EXP B_EXP A_EXP B(
>How-To-Repeat:
# define A A_EXP B(
# define B() B_EXP A

A )
>Fix:
explicit specification of object-like macro rescan needed
>Release-Note:
>Audit-Trail:
>Unformatted: