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 | } |