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()8 void 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