default-arguments-cxx0x.cpp revision 8e8fb3be5bd78f0564444eca02b404566a5f3b5d
1762bb9d0ad20320b9f97a841dce57ba5e8e48b07Richard Smith// RUN: %clang_cc1 -fsyntax-only -std=c++11 -verify %s
28e8fb3be5bd78f0564444eca02b404566a5f3b5dAndy Gibbs// expected-no-diagnostics
351ffb0c9d43b2d3fd210e51ecdd67ba5d1790d70Douglas Gregor
451ffb0c9d43b2d3fd210e51ecdd67ba5d1790d70Douglas Gregor// Test default template arguments for function templates.
551ffb0c9d43b2d3fd210e51ecdd67ba5d1790d70Douglas Gregortemplate<typename T = int>
651ffb0c9d43b2d3fd210e51ecdd67ba5d1790d70Douglas Gregorvoid f0();
751ffb0c9d43b2d3fd210e51ecdd67ba5d1790d70Douglas Gregor
851ffb0c9d43b2d3fd210e51ecdd67ba5d1790d70Douglas Gregortemplate<typename T>
951ffb0c9d43b2d3fd210e51ecdd67ba5d1790d70Douglas Gregorvoid f0();
1051ffb0c9d43b2d3fd210e51ecdd67ba5d1790d70Douglas Gregor
1151ffb0c9d43b2d3fd210e51ecdd67ba5d1790d70Douglas Gregorvoid g0() {
1251ffb0c9d43b2d3fd210e51ecdd67ba5d1790d70Douglas Gregor  f0(); // okay!
1351ffb0c9d43b2d3fd210e51ecdd67ba5d1790d70Douglas Gregor}
1451ffb0c9d43b2d3fd210e51ecdd67ba5d1790d70Douglas Gregor
1551ffb0c9d43b2d3fd210e51ecdd67ba5d1790d70Douglas Gregortemplate<typename T, int N = T::value>
1651ffb0c9d43b2d3fd210e51ecdd67ba5d1790d70Douglas Gregorint &f1(T);
1751ffb0c9d43b2d3fd210e51ecdd67ba5d1790d70Douglas Gregor
1851ffb0c9d43b2d3fd210e51ecdd67ba5d1790d70Douglas Gregorfloat &f1(...);
1951ffb0c9d43b2d3fd210e51ecdd67ba5d1790d70Douglas Gregor
2051ffb0c9d43b2d3fd210e51ecdd67ba5d1790d70Douglas Gregorstruct HasValue {
2151ffb0c9d43b2d3fd210e51ecdd67ba5d1790d70Douglas Gregor  static const int value = 17;
2251ffb0c9d43b2d3fd210e51ecdd67ba5d1790d70Douglas Gregor};
2351ffb0c9d43b2d3fd210e51ecdd67ba5d1790d70Douglas Gregor
2451ffb0c9d43b2d3fd210e51ecdd67ba5d1790d70Douglas Gregorvoid g1() {
2551ffb0c9d43b2d3fd210e51ecdd67ba5d1790d70Douglas Gregor  float &fr = f1(15);
2651ffb0c9d43b2d3fd210e51ecdd67ba5d1790d70Douglas Gregor  int &ir = f1(HasValue());
2751ffb0c9d43b2d3fd210e51ecdd67ba5d1790d70Douglas Gregor}
28