diff options
| author | Jordan Rose <jordan_rose@apple.com> | 2013-04-26 21:42:47 +0000 |
|---|---|---|
| committer | Jordan Rose <jordan_rose@apple.com> | 2013-04-26 21:42:47 +0000 |
| commit | ed6847ee6944757dfc4911abb29c6fc2d7cf9d79 (patch) | |
| tree | e4d581b45926e6879819041cbabbc02ca92e3e5d | |
| parent | 65110caf70bc6c07c3bc223acf03643af47a6643 (diff) | |
[analyzer] Consolidate BoolAssignmentChecker tests by using two RUN lines.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@180637 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | test/Analysis/bool-assignment.c (renamed from test/Analysis/bool-assignment.cpp) | 9 | ||||
| -rw-r--r-- | test/Analysis/bool-assignment2.c | 35 |
2 files changed, 5 insertions, 39 deletions
diff --git a/test/Analysis/bool-assignment.cpp b/test/Analysis/bool-assignment.c index 9361d93aab..86a581def6 100644 --- a/test/Analysis/bool-assignment.cpp +++ b/test/Analysis/bool-assignment.c @@ -1,8 +1,9 @@ -// RUN: %clang_cc1 -analyze -analyzer-checker=core,alpha.core.BoolAssignment -analyzer-store=region -verify %s +// RUN: %clang_cc1 -analyze -analyzer-checker=core,alpha.core.BoolAssignment -analyzer-store=region -verify -std=c99 -Dbool=_Bool %s +// RUN: %clang_cc1 -analyze -analyzer-checker=core,alpha.core.BoolAssignment -analyzer-store=region -verify -x c++ %s -// Test C++'s bool +// Test C++'s bool and C's _Bool -void test_cppbool_initialization(int y) { +void test_stdbool_initialization(int y) { if (y < 0) { bool x = y; // expected-warning {{Assignment of a non-Boolean value}} return; @@ -14,7 +15,7 @@ void test_cppbool_initialization(int y) { bool x = y; // no-warning } -void test_cppbool_assignment(int y) { +void test_stdbool_assignment(int y) { bool x = 0; // no-warning if (y < 0) { x = y; // expected-warning {{Assignment of a non-Boolean value}} diff --git a/test/Analysis/bool-assignment2.c b/test/Analysis/bool-assignment2.c deleted file mode 100644 index 22f4237adf..0000000000 --- a/test/Analysis/bool-assignment2.c +++ /dev/null @@ -1,35 +0,0 @@ -// RUN: %clang_cc1 -std=c99 -analyze -analyzer-checker=core,alpha.core.BoolAssignment -analyzer-store=region -verify %s - -// Test stdbool.h's _Bool - -// Prior to C99, stdbool.h uses this typedef, but even in ANSI C mode, _Bool -// appears to be defined. - -// #if __STDC_VERSION__ < 199901L -// typedef int _Bool; -// #endif - -void test_stdbool_initialization(int y) { - if (y < 0) { - _Bool x = y; // expected-warning {{Assignment of a non-Boolean value}} - return; - } - if (y > 1) { - _Bool x = y; // expected-warning {{Assignment of a non-Boolean value}} - return; - } - _Bool x = y; // no-warning -} - -void test_stdbool_assignment(int y) { - _Bool x = 0; // no-warning - if (y < 0) { - x = y; // expected-warning {{Assignment of a non-Boolean value}} - return; - } - if (y > 1) { - x = y; // expected-warning {{Assignment of a non-Boolean value}} - return; - } - x = y; // no-warning -} |