1 // RUN: %clang_cc1 -fsyntax-only -verify %s
2
3 namespace {
4 template <bool, typename>
Foo()5 void Foo() {}
6
7 template <int size>
Foo()8 void Foo() {
9 int arr[size];
10 // expected-error@-1 {{'arr' declared as an array with a negative size}}
11 }
12 }
13
test_foo()14 void test_foo() {
15 Foo<-1>();
16 // expected-note@-1 {{in instantiation of function template specialization '(anonymous namespace)::Foo<-1>' requested here}}
17 }
18
19 template <bool, typename>
Bar()20 void Bar() {}
21
22 template <int size>
Bar()23 void Bar() {
24 int arr[size];
25 // expected-error@-1 {{'arr' declared as an array with a negative size}}
26 }
27
test_bar()28 void test_bar() {
29 Bar<-1>();
30 // expected-note@-1 {{in instantiation of function template specialization 'Bar<-1>' requested here}}
31 }
32
33