1*1f44223eSTed Kremenek // RUN: %clang_cc1 -fsyntax-only -Wno-compare-distinct-pointer-types -verify %s
2c6e68daaSAndy Gibbs // expected-no-diagnostics
33ce7e04aSFariborz Jahanian // rdar://12501960
43ce7e04aSFariborz Jahanian 
Foo(int ** thing,const int ** thingMax)53ce7e04aSFariborz Jahanian void Foo(int **thing, const int **thingMax)
63ce7e04aSFariborz Jahanian {
73ce7e04aSFariborz Jahanian         if ((thing + 3) > thingMax)
83ce7e04aSFariborz Jahanian                 return;
93ce7e04aSFariborz Jahanian }
10