// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s | |
// rdar://problem/54359410 | |
// expected-no-diagnostics | |
int rand(); | |
void test() { | |
int offset = 0; | |
int value; | |
int test = rand(); | |
switch (test & 0x1) { | |
case 0: | |
case 1: | |
value = 0; | |
break; | |
} | |
offset += value; // no-warning | |
} |