// RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 -Wimplicit-fallthrough -Wunreachable-code-fallthrough %s
// expected-no-diagnostics

template<bool param>
int fallthrough_template(int i)
{
  switch (i) {
    case 1:
      if (param)
        return 3;
      [[clang::fallthrough]]; // no warning here, for an unreachable annotation (in the fallthrough_template<true> case) in a template function
    case 2:
      return 4;
    default:
      return 5;
  }
}
                                      
template int fallthrough_template<true>(int);