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