| // RUN: %clang_analyze_cc1 -Wno-incompatible-library-redeclaration -analyzer-checker=core,unix.cstring,alpha.unix.cstring -verify %s | |
| // expected-no-diagnostics | |
| void *strcpy(unsigned char *, unsigned char *); | |
| unsigned char a, b; | |
| void testUnsignedStrcpy() { | |
| strcpy(&a, &b); | |
| } |