| 1 | // RUN: %clang_analyze_cc1 -analyze -analyzer-checker=core -verify %s |
|---|---|
| 2 | |
| 3 | int **h; |
| 4 | int overflow_in_memregion(long j) { |
| 5 | for (int l = 0;; ++l) { |
| 6 | if (j - l > 0) |
| 7 | return h[j - l][0]; // no-crash |
| 8 | } |
| 9 | return 0; |
| 10 | } |
| 11 | |
| 12 | void rdar39593879(long long *d) { |
| 13 | long e, f; |
| 14 | e = f = d[1]; // no-crash |
| 15 | for (; d[e];) f-- > 0; // expected-warning{{relational comparison result unused}}; |
| 16 | } |
| 17 |