1 // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s 2 3 // rdar://problem/54359410 4 // expected-no-diagnostics 5 6 int rand(); 7 test()8void test() { 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 } 21