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
a()5 _Bool a() {
6   return !({ a(); });
7 }
8 
9 // https://bugs.llvm.org/show_bug.cgi?id=37646
10 _Bool b;
c()11 void c() {
12   _Bool a = b | 0;
13   for (;;)
14     if (a)
15       ;
16 }
17