1// RUN: %clang_cc1 -fsyntax-only -Wno-compare-distinct-pointer-types -verify %s
2// expected-no-diagnostics
3// rdar://12501960
4
5void Foo(int **thing, const int **thingMax)
6{
7        if ((thing + 3) > thingMax)
8                return;
9}
10