| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s | |
| // expected-no-diagnostics | |
| void halt() __attribute__((__noreturn__)); | |
| void assert(int b) { | |
| if (!b) | |
| halt(); | |
| } | |
| void decode(unsigned width) { | |
| assert(width > 0); | |
| int base; | |
| bool inited = false; | |
| int i = 0; | |
| if (i % width == 0) { | |
| base = 512; | |
| inited = true; | |
| } | |
| base += 1; // no-warning | |
| if (base >> 10) | |
| assert(false); | |
| } |