| George Karpenkov | 50339a2 | 2018-02-27 00:05:04 +0000 | [diff] [blame^] | 1 | // REQUIRES: asserts |
| 2 | // RUN: %clang_analyze_cc1 -analyze -analyzer-checker=core -mllvm -debug %s 2>&1 | FileCheck %s | ||||
| 3 | |||||
| 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 | } | ||||
| 12 | // CHECK: {{.*}} | ||||
| 13 | // CHECK: MemRegion::getAsArrayOffset: offset overflowing, returning unknown | ||||