| George Karpenkov | fa5d70e | 2018-02-27 19:19:43 +0000 | [diff] [blame] | 1 | // RUN: %clang_analyze_cc1 -analyze -analyzer-checker=core -verify %s |
| George Karpenkov | 50339a2 | 2018-02-27 00:05:04 +0000 | [diff] [blame] | 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 | } |
| George Karpenkov | 0cba554 | 2018-06-13 18:32:19 +0000 | [diff] [blame^] | 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 | } |