xref: /llvm-project/clang/test/Sema/builtins-memcpy-inline.cpp (revision d8b540cd312cf924b1904047b56cf8a1cea333f9)
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_invalid_arg_types()10 void test_memcpy_inline_invalid_arg_types() {
11   __builtin_memcpy_inline(1, 2, 3); // expected-error {{cannot initialize a parameter of type 'void *' with an rvalue of type 'int'}}
12 }
13 
test_memcpy_inline_null_src(void * ptr)14 void test_memcpy_inline_null_src(void *ptr) {
15   __builtin_memcpy_inline(ptr, NULL, 4); // expected-warning {{null passed to a callee that requires a non-null argument}}
16 }
17 
test_memcpy_inline_null_dst(void * ptr)18 void test_memcpy_inline_null_dst(void *ptr) {
19   __builtin_memcpy_inline(NULL, ptr, 4); // expected-warning {{null passed to a callee that requires a non-null argument}}
20 }
21 
test_memcpy_inline_null_buffers()22 void test_memcpy_inline_null_buffers() {
23   __builtin_memcpy_inline(NULL, NULL, 4);
24   // expected-warning@-1 {{null passed to a callee that requires a non-null argument}}
25   // expected-warning@-2 {{null passed to a callee that requires a non-null argument}}
26 }
27 
test_memcpy_inline_null_buffer_is_ok_if_size_is_zero(void * ptr)28 void test_memcpy_inline_null_buffer_is_ok_if_size_is_zero(void *ptr) {
29   __builtin_memcpy_inline(ptr, NULL, /*size */ 0);
30   __builtin_memcpy_inline(NULL, ptr, /*size */ 0);
31   __builtin_memcpy_inline(NULL, NULL, /*size */ 0);
32 }
33 
test_memcpy_inline_non_constant_size(void * dst,const void * src,unsigned size)34 void test_memcpy_inline_non_constant_size(void *dst, const void *src, unsigned size) {
35   __builtin_memcpy_inline(dst, src, size); // expected-error {{argument to '__builtin_memcpy_inline' must be a constant integer}}
36 }
37 
38 template <unsigned size>
test_memcpy_inline_template(void * dst,const void * src)39 void test_memcpy_inline_template(void *dst, const void *src) {
40   // we do not try to evaluate size in non intantiated templates.
41   __builtin_memcpy_inline(dst, src, size);
42 }
43 
test_memcpy_inline_implicit_conversion(void * ptr)44 void test_memcpy_inline_implicit_conversion(void *ptr) {
45   char a[5];
46   __builtin_memcpy_inline(ptr, a, 5);
47   __builtin_memcpy_inline(a, ptr, 5);
48 }
49 
test_memcpy_inline_num_args(void * dst,void * src)50 void test_memcpy_inline_num_args(void *dst, void *src) {
51  __builtin_memcpy_inline(); // expected-error {{too few arguments to function call}}
52  __builtin_memcpy_inline(dst, src, 4, NULL); // expected-error {{too many arguments to function call}}
53 }
54