1// RUN: %clang_cc1 -analyze -analyzer-check-objc-mem -verify %s 2 3int f1(char *dst) { 4 char *p = dst + 4; 5 char *q = dst + 3; 6 return !(q >= p); 7} 8