Ted Kremenek | cdc3a89 | 2012-08-24 20:39:55 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -analyze -analyzer-checker=core,alpha.core -analyzer-store=region -verify %s |
Ted Kremenek | e866a7c | 2008-04-30 04:40:48 +0000 | [diff] [blame] | 2 | // |
Ted Kremenek | 8318304 | 2009-01-24 06:11:36 +0000 | [diff] [blame] | 3 | // Just exercise the analyzer on code that has at one point caused issues |
| 4 | // (i.e., no assertions or crashes). |
Ted Kremenek | e866a7c | 2008-04-30 04:40:48 +0000 | [diff] [blame] | 5 | |
| 6 | |
Mike Stump | dff6ba0 | 2009-07-21 18:54:29 +0000 | [diff] [blame] | 7 | static void f1(const char *x, char *y) { |
Ted Kremenek | e866a7c | 2008-04-30 04:40:48 +0000 | [diff] [blame] | 8 | while (*x != 0) { |
| 9 | *y++ = *x++; |
| 10 | } |
| 11 | } |
Ted Kremenek | 8318304 | 2009-01-24 06:11:36 +0000 | [diff] [blame] | 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(); |
Jean-Daniel Dupas | 5faf5d3 | 2012-01-27 23:21:02 +0000 | [diff] [blame] | 21 | memcpy((&x[1]), (buf), 1); // expected-warning{{implicitly declaring library function 'memcpy' with type 'void *(void *, const void *}} \ |
Douglas Gregor | 3e41d60 | 2009-02-13 23:20:09 +0000 | [diff] [blame] | 22 | // expected-note{{please include the header <string.h> or explicitly provide a declaration for 'memcpy'}} |
Ted Kremenek | 8318304 | 2009-01-24 06:11:36 +0000 | [diff] [blame] | 23 | } |