diff options
| author | Justin Bogner <mail@justinbogner.com> | 2014-07-21 18:01:53 +0000 |
|---|---|---|
| committer | Justin Bogner <mail@justinbogner.com> | 2014-07-21 18:01:53 +0000 |
| commit | d2b971aa5e42a2d09603085a3b2ab2b5820ef707 (patch) | |
| tree | 8d03ecc3685b29c7cffe88a18f15fea88d33ffed /test/Sema/atomic-compare.c | |
| parent | e559847c3d4cf821fee268eafee4ac355ca834cd (diff) | |
Sema: Handle C11 atomics when diagnosing out of range comparisons
This fixes a couple of asserts when analyzing comparisons involving
C11 atomics that were uncovered by r205608 when we extended the
applicability of -Wtautological-constant-out-of-range-compare.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@213573 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Sema/atomic-compare.c')
| -rw-r--r-- | test/Sema/atomic-compare.c | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/test/Sema/atomic-compare.c b/test/Sema/atomic-compare.c new file mode 100644 index 0000000000..2eed091260 --- /dev/null +++ b/test/Sema/atomic-compare.c @@ -0,0 +1,21 @@ +// RUN: %clang_cc1 %s -verify -fsyntax-only + +void f(_Atomic(int) a, _Atomic(int) b) { + if (a > b) {} // no warning + if (a < b) {} // no warning + if (a >= b) {} // no warning + if (a <= b) {} // no warning + if (a == b) {} // no warning + if (a != b) {} // no warning + + if (a == 0) {} // no warning + if (a > 0) {} // no warning + if (a > 1) {} // no warning + if (a > 2) {} // no warning + + if (!a > 0) {} // no warning + if (!a > 1) {} // expected-warning {{comparison of constant 1 with boolean expression is always false}} + if (!a > 2) {} // expected-warning {{comparison of constant 2 with boolean expression is always false}} + if (!a > b) {} // no warning + if (!a > -1) {} // expected-warning {{comparison of constant -1 with boolean expression is always true}} +} |