1*a749d602SArtem Dergachev // RUN: %clang_analyze_cc1 -analyzer-checker=core,unix -verify %s
2*a749d602SArtem Dergachev
3*a749d602SArtem Dergachev // expected-no-diagnostics
4*a749d602SArtem Dergachev
5*a749d602SArtem Dergachev // Test functions that are called "memcpy" but aren't the memcpy
6*a749d602SArtem Dergachev // we're looking for. Unfortunately, this test cannot be put into
7*a749d602SArtem Dergachev // a namespace. The out-of-class weird memcpy needs to be recognized
8*a749d602SArtem Dergachev // as a normal C function for the test to make sense.
9*a749d602SArtem Dergachev typedef __typeof(sizeof(int)) size_t;
10*a749d602SArtem Dergachev void *memcpy(void *, const void *, size_t);
11*a749d602SArtem Dergachev
12*a749d602SArtem Dergachev struct S {
13*a749d602SArtem Dergachev static S s1, s2;
14*a749d602SArtem Dergachev
15*a749d602SArtem Dergachev // A weird overload within the class that accepts a structure reference
16*a749d602SArtem Dergachev // instead of a pointer.
17*a749d602SArtem Dergachev void memcpy(void *, const S &, size_t);
test_in_class_weird_memcpyS18*a749d602SArtem Dergachev void test_in_class_weird_memcpy() {
19*a749d602SArtem Dergachev memcpy(this, s2, 1); // no-crash
20*a749d602SArtem Dergachev }
21*a749d602SArtem Dergachev };
22*a749d602SArtem Dergachev
23*a749d602SArtem Dergachev // A similarly weird overload outside of the class.
24*a749d602SArtem Dergachev void *memcpy(void *, const S &, size_t);
25*a749d602SArtem Dergachev
test_out_of_class_weird_memcpy()26*a749d602SArtem Dergachev void test_out_of_class_weird_memcpy() {
27*a749d602SArtem Dergachev memcpy(&S::s1, S::s2, 1); // no-crash
28*a749d602SArtem Dergachev }
29