maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Add test case for PR 9284, a false positive for -Warray-bounds that is now addressed using basic reachability analysis. 

llvm-svn: 126291
This commit is contained in:
Ted Kremenek 2011-02-23 01:52:07 +00:00
parent 3427fac7c8
commit 477c8f5440
1 changed files with 17 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
clang/test/SemaCXX/array-bounds.cpp
View File

@ -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)}} 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 <bool extendArray> template <bool extendArray>
void myFunc() { void pr9284() {
int arr[3 + (extendArray ? 1 : 0)]; int arr[3 + (extendArray ? 1 : 0)];
if (extendArray) if (extendArray)
arr[3] = 42; arr[3] = 42; // no-warning
} }
void f() { template <bool extendArray>
myFunc<false>(); 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<true>();
pr9284<false>();
pr9284b<true>();
pr9284b<false>(); // expected-note{{in instantiation of function template specialization 'pr9284b<false>' requested here}}
} }