diff options
Diffstat (limited to 'clang/test/Analysis/initialization.cpp')
-rw-r--r-- | clang/test/Analysis/initialization.cpp | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/clang/test/Analysis/initialization.cpp b/clang/test/Analysis/initialization.cpp new file mode 100644 index 00000000000..db765930b6e --- /dev/null +++ b/clang/test/Analysis/initialization.cpp @@ -0,0 +1,20 @@ +// RUN: %clang_cc1 -triple i386-apple-darwin10 -analyze -analyzer-checker=core.builtin,debug.ExprInspection -verify %s + +void clang_analyzer_eval(int); + +struct S { + int a = 3; +}; +S const sarr[2] = {}; +void definit() { + int i = 1; + // FIXME: Should recognize that it is 3. + clang_analyzer_eval(sarr[i].a); // expected-warning{{UNKNOWN}} +} + +int const arr[2][2] = {}; +void arr2init() { + int i = 1; + // FIXME: Should recognize that it is 0. + clang_analyzer_eval(arr[i][0]); // expected-warning{{UNKNOWN}} +} |