http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58829
Bug ID: 58829
Summary: non-static member initializer in nested template class
produces incorrect compile error
Product: gcc
Version: 4.8.1
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: lhyatt at gmail dot com
==========
struct A {
int f() {return 0;}
} a;
struct B {
template<int=0> struct C {
int i = a.f();
};
};
B::C<> c;
============
Above snippet is valid C++11, fails to compile with the following error:
t.cpp: In constructor 'constexpr B::C<>::C()':
t.cpp:7:21: error: no matching function for call to 'A::f(A*)'
int i = a.f();
^
t.cpp:7:21: note: candidate is:
t.cpp:2:9: note: int A::f()
int f() {return 0;}
^
t.cpp:2:9: note: candidate expects 0 arguments, 1 provided
t.cpp: At global scope:
t.cpp:10:8: note: synthesized method 'constexpr B::C<>::C()' first required
here
B::C<> c;
If you make C a non-template, or remove the outer class B in which C is nested,
then it works OK. clang compiles it OK. I see it on 4.8.1 and on the current
svn mainline.
$ g++ -v -std=c++11 -o t.o -c t.cpp
Using built-in specs.
COLLECT_GCC=/usr/local/gcc48/bin/g++
Target: x86_64-unknown-linux-gnu
Configured with: ./configure --enable-threads=posix --enable-__cxa_atexit
--prefix=/usr/local/gcc-4.8.1
Thread model: posix
gcc version 4.8.1 (GCC)
COLLECT_GCC_OPTIONS='-v' '-std=c++11' '-o' 't.o' '-c' '-shared-libgcc'
'-mtune=generic' '-march=x86-64'
/usr/local/gcc-4.8.1/libexec/gcc/x86_64-unknown-linux-gnu/4.8.1/cc1plus -quiet
-v -D_GNU_SOURCE t.cpp -quiet -dumpbase t.cpp -mtune=generic -march=x86-64
-auxbase-strip t.o -std=c++11 -version -o /tmp/ccxl7AbU.s
GNU C++ (GCC) version 4.8.1 (x86_64-unknown-linux-gnu)
compiled by GNU C version 4.8.1, GMP version 4.3.2, MPFR version 2.4.2-p1,
MPC version 0.8.1
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
ignoring nonexistent directory
"/usr/local/gcc-4.8.1/lib/gcc/x86_64-unknown-linux-gnu/4.8.1/../../../../x86_64-unknown-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:
/usr/local/gcc-4.8.1/lib/gcc/x86_64-unknown-linux-gnu/4.8.1/../../../../include/c++/4.8.1
/usr/local/gcc-4.8.1/lib/gcc/x86_64-unknown-linux-gnu/4.8.1/../../../../include/c++/4.8.1/x86_64-unknown-linux-gnu
/usr/local/gcc-4.8.1/lib/gcc/x86_64-unknown-linux-gnu/4.8.1/../../../../include/c++/4.8.1/backward
/usr/local/gcc-4.8.1/lib/gcc/x86_64-unknown-linux-gnu/4.8.1/include
/usr/local/include
/usr/local/gcc-4.8.1/include
/usr/local/gcc-4.8.1/lib/gcc/x86_64-unknown-linux-gnu/4.8.1/include-fixed
/usr/include
End of search list.
GNU C++ (GCC) version 4.8.1 (x86_64-unknown-linux-gnu)
compiled by GNU C version 4.8.1, GMP version 4.3.2, MPFR version 2.4.2-p1,
MPC version 0.8.1
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
Compiler executable checksum: 9381368e685e312c931bb6a2db2d568c
t.cpp: In constructor 'constexpr B::C<>::C()':
t.cpp:7:21: error: no matching function for call to 'A::f(A*)'
int i = a.f();
^
t.cpp:7:21: note: candidate is:
t.cpp:2:9: note: int A::f()
int f() {return 0;}
^
t.cpp:2:9: note: candidate expects 0 arguments, 1 provided
t.cpp: At global scope:
t.cpp:10:8: note: synthesized method 'constexpr B::C<>::C()' first required
here
B::C<> c;
^
