| 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 | |
| George Karpenkov | fa5d70e | 2018-02-27 19:19:43 +0000 | [diff] [blame] | 3 | // expected-no-diagnostics |
| George Karpenkov | 50339a2 | 2018-02-27 00:05:04 +0000 | [diff] [blame] | 4 | int **h; |
| 5 | int overflow_in_memregion(long j) { | ||||
| 6 | for (int l = 0;; ++l) { | ||||
| 7 | if (j - l > 0) | ||||
| 8 | return h[j - l][0]; // no-crash | ||||
| 9 | } | ||||
| 10 | return 0; | ||||
| 11 | } | ||||