1 // RUN: %clang_cc1 -analyze -analyzer-checker=core,alpha.core.BoolAssignment -analyzer-store=region -verify -std=c99 -Dbool=_Bool %s
2 // RUN: %clang_cc1 -analyze -analyzer-checker=core,alpha.core.BoolAssignment -analyzer-store=region -verify -x c++ %s
3
4 // Test C++'s bool and C's _Bool.
5 // FIXME: We stopped warning on these when SValBuilder got smarter about
6 // casts to bool. Arguably, however, these conversions are okay; the result
7 // is always 'true' or 'false'.
8
test_stdbool_initialization(int y)9 void test_stdbool_initialization(int y) {
10 bool constant = 2; // no-warning
11 if (y < 0) {
12 bool x = y; // no-warning
13 return;
14 }
15 if (y > 1) {
16 bool x = y; // no-warning
17 return;
18 }
19 bool x = y; // no-warning
20 }
21
test_stdbool_assignment(int y)22 void test_stdbool_assignment(int y) {
23 bool x = 0; // no-warning
24 if (y < 0) {
25 x = y; // no-warning
26 return;
27 }
28 if (y > 1) {
29 x = y; // no-warning
30 return;
31 }
32 x = y; // no-warning
33 }
34
35 // Test Objective-C's BOOL
36
37 typedef signed char BOOL;
38
test_BOOL_initialization(int y)39 void test_BOOL_initialization(int y) {
40 BOOL constant = 2; // expected-warning {{Assignment of a non-Boolean value}}
41 if (y < 0) {
42 BOOL x = y; // expected-warning {{Assignment of a non-Boolean value}}
43 return;
44 }
45 if (y > 200 && y < 250) {
46 // FIXME: Currently we are loosing this warning due to a SymbolCast in RHS.
47 BOOL x = y; // no-warning
48 return;
49 }
50 if (y >= 127 && y < 150) {
51 BOOL x = y; // expected-warning{{Assignment of a non-Boolean value}}
52 return;
53 }
54 if (y > 1) {
55 BOOL x = y; // expected-warning {{Assignment of a non-Boolean value}}
56 return;
57 }
58 BOOL x = y; // no-warning
59 }
60
test_BOOL_assignment(int y)61 void test_BOOL_assignment(int y) {
62 BOOL x = 0; // no-warning
63 if (y < 0) {
64 x = y; // expected-warning {{Assignment of a non-Boolean value}}
65 return;
66 }
67 if (y > 1) {
68 x = y; // expected-warning {{Assignment of a non-Boolean value}}
69 return;
70 }
71 x = y; // no-warning
72 }
73
74
75 // Test MacTypes.h's Boolean
76
77 typedef unsigned char Boolean;
78
test_Boolean_initialization(int y)79 void test_Boolean_initialization(int y) {
80 Boolean constant = 2; // expected-warning {{Assignment of a non-Boolean value}}
81 if (y < 0) {
82 Boolean x = y; // expected-warning {{Assignment of a non-Boolean value}}
83 return;
84 }
85 if (y > 1) {
86 Boolean x = y; // expected-warning {{Assignment of a non-Boolean value}}
87 return;
88 }
89 Boolean x = y; // no-warning
90 }
91
test_Boolean_assignment(int y)92 void test_Boolean_assignment(int y) {
93 Boolean x = 0; // no-warning
94 if (y < 0) {
95 x = y; // expected-warning {{Assignment of a non-Boolean value}}
96 return;
97 }
98 if (y > 1) {
99 x = y; // expected-warning {{Assignment of a non-Boolean value}}
100 return;
101 }
102 x = y; // no-warning
103 }
104