1 // RUN: %clang_cc1 -fsyntax-only -verify %s
2
3 #define NULL ((char *)0)
4
5 #if __has_builtin(__builtin_memcpy_inline)
6 #warning defined as expected
7 // expected-warning@-1 {{defined as expected}}
8 #endif
9
test_memcpy_inline_null_src(void * ptr)10 void test_memcpy_inline_null_src(void *ptr) {
11 __builtin_memcpy_inline(ptr, NULL, 4); // expected-warning {{null passed to a callee that requires a non-null argument}}
12 }
13
test_memcpy_inline_null_dst(void * ptr)14 void test_memcpy_inline_null_dst(void *ptr) {
15 __builtin_memcpy_inline(NULL, ptr, 4); // expected-warning {{null passed to a callee that requires a non-null argument}}
16 }
17
test_memcpy_inline_null_buffers()18 void test_memcpy_inline_null_buffers() {
19 __builtin_memcpy_inline(NULL, NULL, 4);
20 // expected-warning@-1 {{null passed to a callee that requires a non-null argument}}
21 // expected-warning@-2 {{null passed to a callee that requires a non-null argument}}
22 }
23
test_memcpy_inline_null_buffer_is_ok_if_size_is_zero(void * ptr)24 void test_memcpy_inline_null_buffer_is_ok_if_size_is_zero(void *ptr) {
25 __builtin_memcpy_inline(ptr, NULL, /*size */ 0);
26 __builtin_memcpy_inline(NULL, ptr, /*size */ 0);
27 __builtin_memcpy_inline(NULL, NULL, /*size */ 0);
28 }
29
test_memcpy_inline_non_constant_size(void * dst,const void * src,unsigned size)30 void test_memcpy_inline_non_constant_size(void *dst, const void *src, unsigned size) {
31 __builtin_memcpy_inline(dst, src, size); // expected-error {{argument to '__builtin_memcpy_inline' must be a constant integer}}
32 }
33
34 template <unsigned size>
test_memcpy_inline_template(void * dst,const void * src)35 void test_memcpy_inline_template(void *dst, const void *src) {
36 // we do not try to evaluate size in non intantiated templates.
37 __builtin_memcpy_inline(dst, src, size);
38 }
39