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()11void c() { 12 _Bool a = b | 0; 13 for (;;) 14 if (a) 15 ; 16 } 17