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