// RUN: %clang_analyze_cc1 -verify %s -Wno-incompatible-library-redeclaration \
// RUN:   -analyzer-checker=alpha.unix.cstring.BufferOverlap
// expected-no-diagnostics

typedef typeof(sizeof(int)) size_t;

void memcpy(int dst, int src, size_t size);

void test_memcpy_proxy() {
  memcpy(42, 42, 42); // no-crash
}

void strcpy(int dst, char *src);

void test_strcpy_proxy() {
  strcpy(42, (char *)42); // no-crash
}

void strxfrm(int dst, char *src, size_t size);

void test_strxfrm_proxy() {
  strxfrm(42, (char *)42, 42); // no-crash
}