llvm-project/clang/test/Analysis/outofbound.c

// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks -checker-cfref -analyzer-store=region -verify %s

char f1() {
  char* s = "abcd";
  char c = s[4]; // no-warning
  return s[5] + c; // expected-warning{{Access out-of-bound array element (buffer overflow)}}
}
Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'. - This is designed to make it obvious that %clang_cc1 is a "test variable" which is substituted. It is '%clang_cc1' instead of '%clang -cc1' because it can be useful to redefine what gets run as 'clang -cc1' (for example, to set a default target). llvm-svn: 91446 2009-12-16 04:14:24 +08:00			`// RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks -checker-cfref -analyzer-store=region -verify %s`
Add test case for out-of-bound memory access checking. llvm-svn: 59931 2008-11-24 10:19:49 +08:00
			`char f1() {`
			`char* s = "abcd";`
Test more array logic in outofbound.c llvm-svn: 62782 2009-01-23 04:36:33 +08:00			`char c = s[4]; // no-warning`
Reimplement out-of-bound array access checker with the new checker interface. Now only one test case is XFAIL'ed. llvm-svn: 86834 2009-11-11 20:33:27 +08:00			`return s[5] + c; // expected-warning{{Access out-of-bound array element (buffer overflow)}}`
Add test case for out-of-bound memory access checking. llvm-svn: 59931 2008-11-24 10:19:49 +08:00			`}`