Bug 699333

Description:

The c+ parser seems to differentiate between inline virtual functions that have
the inline keyword only in the function definition as opposed to when it is
present in the declaration. When the inline keyword is only in the definition,
the function is flagged such that code is generated for it, which is not
correct.

How Reproducible:

Always:

Steps to Reproduce and Results:

[siddhesh@localhost ~]$ cat foo.ii
class A {
public:
    virtual void f();
};

inline void
A::f()
{
}
[siddhesh@localhost ~]$ g++ -c foo.ii
[siddhesh@localhost ~]$ objdump -dC foo.o

foo.o:     file format elf64-x86-64


Disassembly of section .text._ZN1A1fEv:

0000000000000000 <A::f()>:
   0:    55                       push   %rbp
   1:    48 89 e5                 mov    %rsp,%rbp
   4:    48 89 7d f8              mov    %rdi,-0x8(%rbp)
   8:    c9                       leaveq 
   9:    c3                       retq   

Expected Result:

The correct output, as shown when the inline keyword is present (at least) in
the declaration:

[siddhesh@localhost ~]$ cat foo.ii
class A {
public:
    virtual inline void f();
};

void
A::f()
{
}
[siddhesh@localhost ~]$ g++ -c foo.ii
[siddhesh@localhost ~]$ objdump -dC foo.o

foo.o:     file format elf64-x86-64

Additional Information:

Chapter 9.3 in the C++ standard says:

"an inline member function (whether static or non-static) may also be defined
outside of its class definition provided either its declaration in the class
definition or its definition outside of the class definition declares the
function as inline."

I could not find any exceptions to this rule for virtual functions.

Filed upstream as well:

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