// 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); | |
} |