ptr-arith.c revision e184b1e4e06c059a8360fae4c9b5ea00fd62014d
1e184b1e4e06c059a8360fae4c9b5ea00fd62014dZhongxing Xu// RUN: clang -analyze -checker-simple -analyzer-store=region -verify %s 2e184b1e4e06c059a8360fae4c9b5ea00fd62014dZhongxing Xu 3e184b1e4e06c059a8360fae4c9b5ea00fd62014dZhongxing Xuvoid f1() { 4e184b1e4e06c059a8360fae4c9b5ea00fd62014dZhongxing Xu int a[10]; 5e184b1e4e06c059a8360fae4c9b5ea00fd62014dZhongxing Xu int *p = a; 6e184b1e4e06c059a8360fae4c9b5ea00fd62014dZhongxing Xu ++p; 7e184b1e4e06c059a8360fae4c9b5ea00fd62014dZhongxing Xu} 8