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 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 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 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 > 1) { 46 BOOL x = y; // expected-warning {{Assignment of a non-Boolean value}} 47 return; 48 } 49 BOOL x = y; // no-warning 50 } 51 52 void test_BOOL_assignment(int y) { 53 BOOL x = 0; // no-warning 54 if (y < 0) { 55 x = y; // expected-warning {{Assignment of a non-Boolean value}} 56 return; 57 } 58 if (y > 1) { 59 x = y; // expected-warning {{Assignment of a non-Boolean value}} 60 return; 61 } 62 x = y; // no-warning 63 } 64 65 66 // Test MacTypes.h's Boolean 67 68 typedef unsigned char Boolean; 69 70 void test_Boolean_initialization(int y) { 71 Boolean constant = 2; // expected-warning {{Assignment of a non-Boolean value}} 72 if (y < 0) { 73 Boolean x = y; // expected-warning {{Assignment of a non-Boolean value}} 74 return; 75 } 76 if (y > 1) { 77 Boolean x = y; // expected-warning {{Assignment of a non-Boolean value}} 78 return; 79 } 80 Boolean x = y; // no-warning 81 } 82 83 void test_Boolean_assignment(int y) { 84 Boolean x = 0; // no-warning 85 if (y < 0) { 86 x = y; // expected-warning {{Assignment of a non-Boolean value}} 87 return; 88 } 89 if (y > 1) { 90 x = y; // expected-warning {{Assignment of a non-Boolean value}} 91 return; 92 } 93 x = y; // no-warning 94 } 95
