From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-prs-return-32575-listarch-gcc-prs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 31134 invoked by alias); 4 Apr 2003 16:36:00 -0000
Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc-prs/>
List-Post: <mailto:gcc-prs@gcc.gnu.org>
List-Help: <mailto:gcc-prs-help@gcc.gnu.org>
Sender: gcc-prs-owner@gcc.gnu.org
Received: (qmail 31113 invoked by uid 71); 4 Apr 2003 16:36:00 -0000
Resent-Date: 4 Apr 2003 16:36:00 -0000
Resent-Message-ID: <20030404163600.31112.qmail@sources.redhat.com>
Resent-From: gcc-gnats@gcc.gnu.org (GNATS Filer)
Resent-Cc: gcc-prs@gcc.gnu.org, gcc-bugs@gcc.gnu.org
Resent-Reply-To: gcc-gnats@gcc.gnu.org, nathansmith_2003@yahoo.com
Received: (qmail 30498 invoked by uid 48); 4 Apr 2003 16:33:38 -0000
Message-Id: <20030404163338.30497.qmail@sources.redhat.com>
Date: Fri, 04 Apr 2003 16:36:00 -0000
From: nathansmith_2003@yahoo.com
Reply-To: nathansmith_2003@yahoo.com
To: gcc-gnats@gcc.gnu.org
X-Send-Pr-Version: gnatsweb-2.9.3 (1.1.1.1.2.31)
Subject: c++/10311: Wrong default argument used in virtual function call
X-SW-Source: 2003-04/txt/msg00145.txt.bz2
List-Id: <gcc-prs.sourceware.org>


>Number:         10311
>Category:       c++
>Synopsis:       Wrong default argument used in virtual function call
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Fri Apr 04 16:36:00 UTC 2003
>Closed-Date:
>Last-Modified:
>Originator:     nathansmith_2003@yahoo.com
>Release:        2.96,3.2.1
>Organization:
>Environment:
Linux
>Description:
The default argument of the pointer type's function is being used rather than the actual type when calling a virtual function with default arguments. i.e. if you have a class B derived from another class A, both with a virtual function print which accepts a char*, B::print will use A::print's default arguments when called, if the pointer to an instance of B is of type A*.

Section dcl.fct.default par 10A of the ANSI C++ spec states that "An overriding function in a derived class does not acquire default arguments from the function it overrides."

This bug is persistent even when -pedantic is specified.
>How-To-Repeat:
When executing the following code, one would expect the output to be "hi there" due to the default arguments of the virtual functions. However, the unexpected result of "hihi" is produced instead. 

#include <iostream>

class A {
public:
        virtual void print(const char *x = "hi");
};

void A::print(const char *x) { std::cout << x; }

class B : public A {
public:
        virtual void print(const char *x = " there");
};

void B::print(const char *x) { std::cout << x; }

int main(void)
{
        A *a = new A;
        A *b = new B;

        a->print();
        b->print();

        std::cout << std::endl;

        delete a;
        delete b;

        return 0;
}
>Fix:

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