| Ted Kremenek | 78ae618 | 2009-01-22 22:42:16 +0000 | [diff] [blame^] | 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 | ||||
| Ted Kremenek | 440c955 | 2008-04-30 04:40:48 +0000 | [diff] [blame] | 4 | // |
| 5 | // Just exercise the analyzer (no assertions). | ||||
| 6 | |||||
| 7 | |||||
| 8 | static const char * f1(const char *x, char *y) { | ||||
| 9 | while (*x != 0) { | ||||
| 10 | *y++ = *x++; | ||||
| 11 | } | ||||
| 12 | } | ||||