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