array-struct-region.c revision 23b736e159e72f0237a888a6d4f7319d7e9e8867
1// RUN: %clang_cc1 -analyze -analyzer-experimental-checks -analyzer-experimental-internal-checks -analyzer-check-objc-mem -analyzer-store=region -analyzer-constraints=basic -verify %s 2// RUN: %clang_cc1 -analyze -analyzer-experimental-checks -analyzer-experimental-internal-checks -analyzer-check-objc-mem -analyzer-store=region -analyzer-constraints=range -verify %s 3 4int string_literal_init() { 5 char a[] = "abc"; 6 char b[2] = "abc"; // expected-warning{{too long}} 7 char c[5] = "abc"; 8 9 if (a[1] != 'b') 10 return 0; // expected-warning{{never executed}} 11 if (b[1] != 'b') 12 return 0; // expected-warning{{never executed}} 13 if (c[1] != 'b') 14 return 0; // expected-warning{{never executed}} 15 16 if (a[3] != 0) 17 return 0; // expected-warning{{never executed}} 18 if (c[3] != 0) 19 return 0; // expected-warning{{never executed}} 20 21 if (c[4] != 0) 22 return 0; // expected-warning{{never executed}} 23 24 return 42; 25} 26