c++/10483: Spurious reference created to integer constant in ternary op

[dej at inode dot org]

>Number:         10483
>Category:       c++
>Synopsis:       Spurious reference created to integer constant in ternary op
>Confidential:   no
>Severity:       non-critical
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Thu Apr 24 16:16:00 UTC 2003
>Closed-Date:
>Last-Modified:
>Originator:     dej at inode dot org
>Release:        gcc version 2.95.3 20010315 (release) [FreeBSD]
>Organization:
>Environment:
FreeBSD slam.inode.org 4.6-RELEASE FreeBSD 4.6-RELEASE #2: Sun Oct  6 18:46:44 EDT 2002     dej at slam dot inode dot org:/usr/src/sys/compile/SLAM  i386
>Description:
Given the following source:

using namespace std;

struct Foo {
    static const int BAR = 1;
    static const int BAZ = 2;
};


int main(int argc, char *argv[])
{
    int c = argc ? Foo::BAR : Foo::BAZ;
    return 0;
}

and invoked like:

/usr/local/gcc322/bin/gcc test.cpp -o test -lstdc++

I obtain:
/var/tmp//ccu6NK1Z.o: In function `main':
/var/tmp//ccu6NK1Z.o(.text+0x17): undefined reference to `Foo::BAR'
/var/tmp//ccu6NK1Z.o(.text+0x21): undefined reference to `Foo::BAZ'

Since BAR and BAZ are static integer constants, they should not be generating linker references.  This happens only with the ternary operator; the equivalent if/else code does not produce the problem.
>How-To-Repeat:
See description.
>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted: