| Daniel Dunbar | 9c32110 | 2009-01-20 23:17:32 +0000 | [diff] [blame] | 1 | // RUN: clang -analyze -checker-simple -verify %s |
| Ted Kremenek | 440c955 | 2008-04-30 04:40:48 +0000 | [diff] [blame] | 2 | // |
| 3 | // Just exercise the analyzer (no assertions). | ||||
| 4 | |||||
| 5 | |||||
| 6 | static const char * f1(const char *x, char *y) { | ||||
| 7 | while (*x != 0) { | ||||
| 8 | *y++ = *x++; | ||||
| 9 | } | ||||
| 10 | } | ||||