| // 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 | |
| } |