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