diff --git a/clang/test/SemaCXX/array-bounds.cpp b/clang/test/SemaCXX/array-bounds.cpp index ee7882daeaaf..e82ce6013894 100644 --- a/clang/test/SemaCXX/array-bounds.cpp +++ b/clang/test/SemaCXX/array-bounds.cpp @@ -90,15 +90,28 @@ int test_pr9240() { return array[(unsigned long long) 100]; // expected-warning {{array index of '100' indexes past the end of an array (that contains 100 elements)}} } +// PR 9284 - a template parameter can cause an array bounds access to be +// infeasible. template -void myFunc() { +void pr9284() { int arr[3 + (extendArray ? 1 : 0)]; if (extendArray) - arr[3] = 42; + arr[3] = 42; // no-warning } -void f() { - myFunc(); +template +void pr9284b() { + int arr[3 + (extendArray ? 1 : 0)]; // expected-note {{array 'arr' declared here}} + + if (!extendArray) + arr[3] = 42; // expected-warning{{array index of '3' indexes past the end of an array (that contains 3 elements)}} +} + +void test_pr9284() { + pr9284(); + pr9284(); + pr9284b(); + pr9284b(); // expected-note{{in instantiation of function template specialization 'pr9284b' requested here}} }