diff options
Diffstat (limited to 'test/Analysis/constant-folding.c')
| -rw-r--r-- | test/Analysis/constant-folding.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/Analysis/constant-folding.c b/test/Analysis/constant-folding.c index 8189868be2ec7..e21d629e9a417 100644 --- a/test/Analysis/constant-folding.c +++ b/test/Analysis/constant-folding.c @@ -108,7 +108,11 @@ void testBitwiseRules(unsigned int a, int b) { clang_analyzer_eval((b | -2) == 0); // expected-warning{{FALSE}} clang_analyzer_eval((b | 10) == 0); // expected-warning{{FALSE}} clang_analyzer_eval((b | 0) == 0); // expected-warning{{UNKNOWN}} +#ifdef ANALYZER_CM_Z3 + clang_analyzer_eval((b | -2) >= 0); // expected-warning{{FALSE}} +#else clang_analyzer_eval((b | -2) >= 0); // expected-warning{{UNKNOWN}} +#endif // Check that dynamically computed constants also work. int constant = 1 << 3; |