exercise-ps.c revision 8318304afdfe4d6d689681a73424c73615e95859 
1// RUN: clang -analyze -checker-simple -verify %s &&
2// RUN: clang -analyze -checker-cfref -analyzer-store-basic -verify %s &&
3// RUN: clang -analyze -checker-cfref -analyzer-store-region -verify %s
4//
5// Just exercise the analyzer on code that has at one point caused issues
6// (i.e., no assertions or crashes).
7
8
9static const char * f1(const char *x, char *y) {
10  while (*x != 0) {
11    *y++ = *x++;
12  }
13}
14
15// This following case checks that we properly handle typedefs when getting
16// the RvalueType of an ElementRegion.
17typedef struct F12_struct {} F12_typedef;
18typedef void* void_typedef;
19void_typedef f2_helper();
20static void f2(void *buf) {
21  F12_typedef* x;
22  x = f2_helper();
23  memcpy((&x[1]), (buf), 1);
24}
25