diff options
author | Richard Trieu <rtrieu@google.com> | 2014-09-25 01:15:40 +0000 |
---|---|---|
committer | Richard Trieu <rtrieu@google.com> | 2014-09-25 01:15:40 +0000 |
commit | 702863c43da79c158db2162a9ba5901797050aea (patch) | |
tree | 17bd08fccce3b168b8252b2fe4e26fecfa31c8b0 /test/SemaCXX | |
parent | 7a0ca9263dbfeaad11ae68a64056c3d31a6cf56d (diff) | |
download | clang-702863c43da79c158db2162a9ba5901797050aea.tar.gz |
Add increment/decrement operators and compound assignment operators to the
uninitialized checkers that did not have them before.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@218435 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/SemaCXX')
-rw-r--r-- | test/SemaCXX/decl-init-ref.cpp | 2 | ||||
-rw-r--r-- | test/SemaCXX/uninitialized.cpp | 42 |
2 files changed, 40 insertions, 4 deletions
diff --git a/test/SemaCXX/decl-init-ref.cpp b/test/SemaCXX/decl-init-ref.cpp index 2d0c9cb4ff..42b9286852 100644 --- a/test/SemaCXX/decl-init-ref.cpp +++ b/test/SemaCXX/decl-init-ref.cpp @@ -1,4 +1,4 @@ -// RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s +// RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s -Wno-uninitialized struct A {}; diff --git a/test/SemaCXX/uninitialized.cpp b/test/SemaCXX/uninitialized.cpp index a43b616ebf..d6331965ab 100644 --- a/test/SemaCXX/uninitialized.cpp +++ b/test/SemaCXX/uninitialized.cpp @@ -16,6 +16,7 @@ int bar(int* x); int boo(int& x); int far(const int& x); int moved(int&& x); +int &ref(int x); // Test self-references within initializers which are guaranteed to be // uninitialized. @@ -44,6 +45,11 @@ int s = r ?: s; // expected-warning {{variable 's' is uninitialized when used wi int t = t ?: s; // expected-warning {{variable 't' is uninitialized when used within its own initialization}} int u = (foo(u), s); // expected-warning {{variable 'u' is uninitialized when used within its own initialization}} int v = (u += v); // expected-warning {{variable 'v' is uninitialized when used within its own initialization}} +int w = (w += 10); // expected-warning {{variable 'w' is uninitialized when used within its own initialization}} +int x = x++; // expected-warning {{variable 'x' is uninitialized when used within its own initialization}} +int y = ((s ? (y, v) : (77, y))++, sizeof(y)); // expected-warning {{variable 'y' is uninitialized when used within its own initialization}} +int z = ++ref(z); // expected-warning {{variable 'z' is uninitialized when used within its own initialization}} +int aa = (ref(aa) += 10); // expected-warning {{variable 'aa' is uninitialized when used within its own initialization}} void test_stuff () { int a = a; // no-warning: used to signal intended lack of initialization. @@ -72,6 +78,11 @@ void test_stuff () { int t = t ?: s; // expected-warning {{variable 't' is uninitialized when used within its own initialization}} int u = (foo(u), s); // expected-warning {{variable 'u' is uninitialized when used within its own initialization}} int v = (u += v); // expected-warning {{variable 'v' is uninitialized when used within its own initialization}} + int w = (w += 10); // expected-warning {{variable 'w' is uninitialized when used within its own initialization}} + int x = x++; // expected-warning {{variable 'x' is uninitialized when used within its own initialization}} + int y = ((s ? (y, v) : (77, y))++, sizeof(y)); // expected-warning {{variable 'y' is uninitialized when used within its own initialization}} + int z = ++ref(z); // expected-warning {{variable 'z' is uninitialized when used within its own initialization}} + int aa = (ref(aa) += 10); // expected-warning {{variable 'aa' is uninitialized when used within its own initialization}} for (;;) { int a = a; // no-warning: used to signal intended lack of initialization. @@ -100,6 +111,11 @@ void test_stuff () { int t = t ?: s; // expected-warning {{variable 't' is uninitialized when used within its own initialization}} int u = (foo(u), s); // expected-warning {{variable 'u' is uninitialized when used within its own initialization}} int v = (u += v); // expected-warning {{variable 'v' is uninitialized when used within its own initialization}} + int w = (w += 10); // expected-warning {{variable 'w' is uninitialized when used within its own initialization}} + int x = x++; // expected-warning {{variable 'x' is uninitialized when used within its own initialization}} + int y = ((s ? (y, v) : (77, y))++, sizeof(y)); // expected-warning {{variable 'y' is uninitialized when used within its own initialization}} + int z = ++ref(z); // expected-warning {{variable 'z' is uninitialized when used within its own initialization}} + int aa = (ref(aa) += 10); // expected-warning {{variable 'aa' is uninitialized when used within its own initialization}} } } @@ -176,7 +192,7 @@ void setupA(bool x) { A a35 = std::move(x ? a34 : (37, a35)); // expected-warning {{variable 'a35' is uninitialized when used within its own initialization}} } -bool x; +bool cond; A a1; A a2(a1.get()); @@ -196,8 +212,8 @@ A a14 = A(a14); // expected-warning {{variable 'a14' is uninitialized when used A a15 = getA(a15.num); // expected-warning {{variable 'a15' is uninitialized when used within its own initialization}} A a16(&a16.num); // expected-warning {{variable 'a16' is uninitialized when used within its own initialization}} A a17(a17.get2()); // expected-warning {{variable 'a17' is uninitialized when used within its own initialization}} -A a18 = x ? a18 : a17; // expected-warning {{variable 'a18' is uninitialized when used within its own initialization}} -A a19 = getA(x ? a19 : a17); // expected-warning {{variable 'a19' is uninitialized when used within its own initialization}} +A a18 = cond ? a18 : a17; // expected-warning {{variable 'a18' is uninitialized when used within its own initialization}} +A a19 = getA(cond ? a19 : a17); // expected-warning {{variable 'a19' is uninitialized when used within its own initialization}} A a20{a20}; // expected-warning {{variable 'a20' is uninitialized when used within its own initialization}} A a21 = {a21}; // expected-warning {{variable 'a21' is uninitialized when used within its own initialization}} @@ -328,6 +344,11 @@ struct S { S(char (*)[7]) : x(0), y((foo(y), x)) {} // expected-warning {{field 'y' is uninitialized when used here}} S(char (*)[8]) : x(0), y(x += y) {} // expected-warning {{field 'y' is uninitialized when used here}} + S(char (*)[9]) : x(x += 10) {} // expected-warning {{field 'x' is uninitialized when used here}} + S(char (*)[10]) : x(x++) {} // expected-warning {{field 'x' is uninitialized when used here}} + S(char (*)[11]) : x(0), y(((x ? (y, x) : (77, y))++, sizeof(y))) {} // expected-warning {{field 'y' is uninitialized when used here}} + S(char (*)[12]) : x(++ref(x)) {} // expected-warning {{field 'x' is uninitialized when used here}} + S(char (*)[13]) : x(ref(x) += 10) {} // expected-warning {{field 'x' is uninitialized when used here}} }; struct C { char a[100], *e; } car = { .e = car.a }; @@ -496,6 +517,11 @@ namespace statics { static int t = t ?: s; // expected-warning {{variable 't' is uninitialized when used within its own initialization}} static int u = (foo(u), s); // expected-warning {{variable 'u' is uninitialized when used within its own initialization}} static int v = (u += v); // expected-warning {{variable 'v' is uninitialized when used within its own initialization}} + static int w = (w += 10); // expected-warning {{variable 'w' is uninitialized when used within its own initialization}} + static int x = x++; // expected-warning {{variable 'x' is uninitialized when used within its own initialization}} + static int y = ((s ? (y, v) : (77, y))++, sizeof(y)); // expected-warning {{variable 'y' is uninitialized when used within its own initialization}} + static int z = ++ref(z); // expected-warning {{variable 'z' is uninitialized when used within its own initialization}} + static int aa = (ref(aa) += 10); // expected-warning {{variable 'aa' is uninitialized when used within its own initialization}} void test() { static int a = a; // no-warning: used to signal intended lack of initialization. @@ -524,6 +550,11 @@ namespace statics { static int t = t ?: s; // expected-warning {{static variable 't' is suspiciously used within its own initialization}} static int u = (foo(u), s); // expected-warning {{static variable 'u' is suspiciously used within its own initialization}} static int v = (u += v); // expected-warning {{static variable 'v' is suspiciously used within its own initialization}} + static int w = (w += 10); // expected-warning {{static variable 'w' is suspiciously used within its own initialization}} + static int x = x++; // expected-warning {{static variable 'x' is suspiciously used within its own initialization}} + static int y = ((s ? (y, v) : (77, y))++, sizeof(y)); // expected-warning {{static variable 'y' is suspiciously used within its own initialization}} + static int z = ++ref(z); // expected-warning {{static variable 'z' is suspiciously used within its own initialization}} + static int aa = (ref(aa) += 10); // expected-warning {{static variable 'aa' is suspiciously used within its own initialization}} for (;;) { static int a = a; // no-warning: used to signal intended lack of initialization. static int b = b + 1; // expected-warning {{static variable 'b' is suspiciously used within its own initialization}} @@ -551,6 +582,11 @@ namespace statics { static int t = t ?: s; // expected-warning {{static variable 't' is suspiciously used within its own initialization}} static int u = (foo(u), s); // expected-warning {{static variable 'u' is suspiciously used within its own initialization}} static int v = (u += v); // expected-warning {{static variable 'v' is suspiciously used within its own initialization}} + static int w = (w += 10); // expected-warning {{static variable 'w' is suspiciously used within its own initialization}} + static int x = x++; // expected-warning {{static variable 'x' is suspiciously used within its own initialization}} + static int y = ((s ? (y, v) : (77, y))++, sizeof(y)); // expected-warning {{static variable 'y' is suspiciously used within its own initialization}} + static int z = ++ref(z); // expected-warning {{static variable 'z' is suspiciously used within its own initialization}} + static int aa = (ref(aa) += 10); // expected-warning {{static variable 'aa' is suspiciously used within its own initialization}} } } } |