1*cc5b7727Sserge-sans-paille // RUN: %clang_cc1 -triple x86_64-pc-linux-gnu -fsyntax-only -Warray-parameter -verify %s 2*cc5b7727Sserge-sans-paille 3*cc5b7727Sserge-sans-paille template <int N> 4*cc5b7727Sserge-sans-paille void func(int i[10]); // expected-note {{previously declared as 'int[10]' here}} 5*cc5b7727Sserge-sans-paille 6*cc5b7727Sserge-sans-paille template <int N> 7*cc5b7727Sserge-sans-paille void func(int i[N]); // expected-warning {{argument 'i' of type 'int[N]' with mismatched bound}} 8*cc5b7727Sserge-sans-paille 9*cc5b7727Sserge-sans-paille template <int N> 10*cc5b7727Sserge-sans-paille void func(int (&Val)[N]); 11*cc5b7727Sserge-sans-paille 12*cc5b7727Sserge-sans-paille template <> 13*cc5b7727Sserge-sans-paille void func<10>(int (&Val)[10]) { 14*cc5b7727Sserge-sans-paille } 15*cc5b7727Sserge-sans-paille 16*cc5b7727Sserge-sans-paille static constexpr int Extent = 10; 17*cc5b7727Sserge-sans-paille void funk(int i[10]); 18*cc5b7727Sserge-sans-paille void funk(int i[Extent]); // no-warning 19