forked from OSchip/llvm-project
26 lines
930 B
C
26 lines
930 B
C
// RUN: %clang_cc1 -analyze -analyzer-experimental-checks -analyzer-experimental-internal-checks -analyzer-check-objc-mem -analyzer-store=region -analyzer-constraints=basic -verify %s
|
|
// RUN: %clang_cc1 -analyze -analyzer-experimental-checks -analyzer-experimental-internal-checks -analyzer-check-objc-mem -analyzer-store=region -analyzer-constraints=range -verify %s
|
|
|
|
int string_literal_init() {
|
|
char a[] = "abc";
|
|
char b[2] = "abc"; // expected-warning{{too long}}
|
|
char c[5] = "abc";
|
|
|
|
if (a[1] != 'b')
|
|
return 0; // expected-warning{{never executed}}
|
|
if (b[1] != 'b')
|
|
return 0; // expected-warning{{never executed}}
|
|
if (c[1] != 'b')
|
|
return 0; // expected-warning{{never executed}}
|
|
|
|
if (a[3] != 0)
|
|
return 0; // expected-warning{{never executed}}
|
|
if (c[3] != 0)
|
|
return 0; // expected-warning{{never executed}}
|
|
|
|
if (c[4] != 0)
|
|
return 0; // expected-warning{{never executed}}
|
|
|
|
return 42;
|
|
}
|