| 1 | // RUN: %clang_analyze_cc1 -triple x86_64-unknown-linux-gnu -analyzer-checker=core -verify %s |
|---|---|
| 2 | // expected-no-diagnostics |
| 3 | |
| 4 | // https://bugs.llvm.org/show_bug.cgi?id=37622 |
| 5 | _Bool a() { |
| 6 | return !({ a(); }); |
| 7 | } |
| 8 | |
| 9 | // https://bugs.llvm.org/show_bug.cgi?id=37646 |
| 10 | _Bool b; |
| 11 | void c() { |
| 12 | _Bool a = b | 0; |
| 13 | for (;;) |
| 14 | if (a) |
| 15 | ; |
| 16 | } |
| 17 |