diff options
Diffstat (limited to 'clang/test/Analysis/bool-assignment.c')
| -rw-r--r-- | clang/test/Analysis/bool-assignment.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/clang/test/Analysis/bool-assignment.c b/clang/test/Analysis/bool-assignment.c index 81cca45c051..57a7f0b5dc1 100644 --- a/clang/test/Analysis/bool-assignment.c +++ b/clang/test/Analysis/bool-assignment.c @@ -43,7 +43,11 @@ void test_BOOL_initialization(int y) { return; } if (y > 200 && y < 250) { +#ifdef ANALYZER_CM_Z3 BOOL x = y; // expected-warning {{Assignment of a non-Boolean value}} +#else + BOOL x = y; // no-warning +#endif return; } if (y >= 127 && y < 150) { |
