]> granicus.if.org Git - clang/commitdiff
[analyzer] Consolidate BoolAssignmentChecker tests by using two RUN lines.
authorJordan Rose <jordan_rose@apple.com>
Fri, 26 Apr 2013 21:42:47 +0000 (21:42 +0000)
committerJordan Rose <jordan_rose@apple.com>
Fri, 26 Apr 2013 21:42:47 +0000 (21:42 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@180637 91177308-0d34-0410-b5e6-96231b3b80d8

test/Analysis/bool-assignment.c [moved from test/Analysis/bool-assignment.cpp with 85% similarity]
test/Analysis/bool-assignment2.c [deleted file]

similarity index 85%
rename from test/Analysis/bool-assignment.cpp
rename to test/Analysis/bool-assignment.c
index 9361d93aab352a2270862265bb4ec04baa6e804e..86a581def64e5afd2b50a5dcfe8cd16230a558f5 100644 (file)
@@ -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 (file)
index 22f4237..0000000
+++ /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
-}