clang/test/Analysis/uninit-exhaustive-switch-bug.c

   1 // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s
   2
   3 // rdar://problem/54359410
   4 // expected-no-diagnostics
   5
   6 int rand(void);
   7
   8 void test(void) {
   9   int offset = 0;
  10   int value;
  11   int test = rand();
  12   switch (test & 0x1) {
  13   case 0:
  14   case 1:
  15     value = 0;
  16     break;
  17   }
  18
  19   offset += value; // no-warning
  20 }