1 // RUN: %clang_analyze_cc1 -analyzer-checker=core,alpha.core -analyzer-store=region -verify %s
2 //
3 // Just exercise the analyzer on code that has at one point caused issues
4 // (i.e., no assertions or crashes).
5 
6 
7 static void f1(const char *x, char *y) {
8   while (*x != 0) {
9     *y++ = *x++;
10   }
11 }
12 
13 // This following case checks that we properly handle typedefs when getting
14 // the RvalueType of an ElementRegion.
15 typedef struct F12_struct {} F12_typedef;
16 typedef void* void_typedef;
17 void_typedef f2_helper();
18 static void f2(void *buf) {
19   F12_typedef* x;
20   x = f2_helper();
21   memcpy((&x[1]), (buf), 1); // expected-warning{{implicitly declaring library function 'memcpy' with type 'void *(void *, const void *}} \
22   // expected-note{{include the header <string.h> or explicitly provide a declaration for 'memcpy'}}
23 }
24 
25 // AllocaRegion is untyped. Void pointer isn't of much help either. Before
26 // realizing that the value is undefined, we need to somehow figure out
27 // what type of value do we expect.
28 void f3(void *dest) {
29   void *src = __builtin_alloca(5);
30   memcpy(dest, src, 1); // expected-warning{{2nd function call argument is a pointer to uninitialized value}}
31 }
32