diff options
| author | dim <dim@FreeBSD.org> | 2013-12-22 00:07:40 +0000 |
|---|---|---|
| committer | dim <dim@FreeBSD.org> | 2013-12-22 00:07:40 +0000 |
| commit | 952eddef9aff85b1e92626e89baaf7a360e2ac85 (patch) | |
| tree | df8df0b0067b381eab470a3b8f28d14a552a6340 /test/Analysis/initializer.cpp | |
| parent | ea266cad53e3d49771fa38103913d3ec7a166694 (diff) | |
| download | FreeBSD-src-952eddef9aff85b1e92626e89baaf7a360e2ac85.zip FreeBSD-src-952eddef9aff85b1e92626e89baaf7a360e2ac85.tar.gz | |
Vendor import of clang release_34 branch r197841 (effectively, 3.4 RC3):
https://llvm.org/svn/llvm-project/cfe/branches/release_34@197841
Diffstat (limited to 'test/Analysis/initializer.cpp')
| -rw-r--r-- | test/Analysis/initializer.cpp | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/test/Analysis/initializer.cpp b/test/Analysis/initializer.cpp index 3f7802c..a71e35d 100644 --- a/test/Analysis/initializer.cpp +++ b/test/Analysis/initializer.cpp @@ -109,3 +109,37 @@ namespace DefaultConstructorWithCleanups { return w.arr[0].value; // no-warning } } + +namespace DefaultMemberInitializers { + struct Wrapper { + int value = 42; + + Wrapper() {} + Wrapper(int x) : value(x) {} + Wrapper(bool) {} + }; + + void test() { + Wrapper w1; + clang_analyzer_eval(w1.value == 42); // expected-warning{{TRUE}} + + Wrapper w2(50); + clang_analyzer_eval(w2.value == 50); // expected-warning{{TRUE}} + + Wrapper w3(false); + clang_analyzer_eval(w3.value == 42); // expected-warning{{TRUE}} + } + + struct StringWrapper { + const char s[4] = "abc"; + const char *p = "xyz"; + + StringWrapper(bool) {} + }; + + void testString() { + StringWrapper w(true); + clang_analyzer_eval(w.s[1] == 'b'); // expected-warning{{TRUE}} + clang_analyzer_eval(w.p[1] == 'y'); // expected-warning{{TRUE}} + } +} |
