clang/test/Analysis/z3/apsint.c

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