1 // RUN: %clang_analyze_cc1 -Wno-incompatible-library-redeclaration -analyzer-checker=core,unix.cstring,alpha.unix.cstring -verify %s
2 
3 // expected-no-diagnostics
4 
5 void *strcpy(unsigned char *, unsigned char *);
6 
7 unsigned char a, b;
testUnsignedStrcpy()8 void testUnsignedStrcpy() {
9   strcpy(&a, &b);
10 }
11