1 2 3 4 5 6 7 8 9 10
// RUN: clang -checker-simple -verify %s // // Just exercise the analyzer (no assertions). static const char * f1(const char *x, char *y) { while (*x != 0) { *y++ = *x++; } }