| Ted Kremenek | c39a2b0 | 2012-10-30 05:28:33 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -Wno-compare-distinct-pointer-types -verify %s |
| Andy Gibbs | 8e8fb3b | 2012-10-19 12:44:48 +0000 | [diff] [blame] | 2 | // expected-no-diagnostics |
| Fariborz Jahanian | bea52da | 2012-10-17 23:19:22 +0000 | [diff] [blame] | 3 | // rdar://12501960 |
| 4 | |||||
| 5 | void Foo(int **thing, const int **thingMax) | ||||
| 6 | { | ||||
| 7 | if ((thing + 3) > thingMax) | ||||
| 8 | return; | ||||
| 9 | } | ||||