[Bug c++/13916] New: default function arguments and passage as template arguments

[japple at freeshell dot org]

void f(int a = 0);
void g(int);
                                                                               
          
template<typename T, T * x>
struct foo {
  foo() { x(); }
};
                                                                               
          
int main() {
  foo<void (int), f> bar;
  foo<void (int), g> baz;
}

bar passes, but baz doesn't.  If baz compiled, I would suspect this to be an
incarnation of bug 4205, but it doesn't, so it looks different to me.

-- 
           Summary: default function arguments and passage as template
                    arguments
           Product: gcc
           Version: 3.3.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: japple at freeshell dot org
                CC: gcc-bugs at gcc dot gnu dot org
  GCC host triplet: linux x86


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