| Vlad Tsyrklevich | 6f8f15f | 2018-06-06 06:09:02 +0000 | [diff] [blame^] | 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 | } | ||||