61 lines · c
1// RUN: %clang_cc1 -Wno-strict-prototypes %s -verify2 3void *fail1(int a) __attribute__((alloc_size)); //expected-error{{'alloc_size' attribute takes at least 1 argument}}4void *fail2(int a) __attribute__((alloc_size())); //expected-error{{'alloc_size' attribute takes at least 1 argument}}5 6void *fail3(int a) __attribute__((alloc_size(0))); //expected-error{{'alloc_size' attribute parameter 1 is out of bounds}}7void *fail4(int a) __attribute__((alloc_size(2))); //expected-error{{'alloc_size' attribute parameter 1 is out of bounds}}8 9void *fail5(int a, int b) __attribute__((alloc_size(0, 1))); //expected-error{{'alloc_size' attribute parameter 1 is out of bounds}}10void *fail6(int a, int b) __attribute__((alloc_size(3, 1))); //expected-error{{'alloc_size' attribute parameter 1 is out of bounds}}11 12void *fail7(int a, int b) __attribute__((alloc_size(1, 0))); //expected-error{{'alloc_size' attribute parameter 2 is out of bounds}}13void *fail8(int a, int b) __attribute__((alloc_size(1, 3))); //expected-error{{'alloc_size' attribute parameter 2 is out of bounds}}14 15int fail9(int a) __attribute__((alloc_size(1))); //expected-warning{{'alloc_size' attribute only applies to return values that are pointers}}16 17int fail10 __attribute__((alloc_size(1))); //expected-warning{{'alloc_size' attribute only applies to non-K&R-style functions}}18 19void *fail11(void *a) __attribute__((alloc_size(1))); //expected-error{{'alloc_size' attribute argument may only refer to a function parameter of integer type}}20 21void *fail12(int a) __attribute__((alloc_size("abc"))); //expected-error{{'alloc_size' attribute requires parameter 1 to be an integer constant}}22void *fail12(int a) __attribute__((alloc_size(1, "abc"))); //expected-error{{'alloc_size' attribute requires parameter 2 to be an integer constant}}23void *fail13(int a) __attribute__((alloc_size(1U<<31))); //expected-error{{integer constant expression evaluates to value 2147483648 that cannot be represented in a 32-bit signed integer type}}24 25void *(*PR31453)(int)__attribute__((alloc_size(1)));26 27void *KR() __attribute__((alloc_size(1))); //expected-warning{{'alloc_size' attribute only applies to non-K&R-style functions}}28 29// Applying alloc_size to function pointers should work:30void *(__attribute__((alloc_size(1))) * func_ptr1)(int);31void *(__attribute__((alloc_size(1, 2))) func_ptr2)(int, int);32 33// TODO: according to GCC documentation the following should actually be the type34// “pointer to pointer to alloc_size attributed function returning void*” and should35// therefore be supported36void *(__attribute__((alloc_size(1))) **ptr_to_func_ptr)(int); // expected-warning{{'alloc_size' attribute only applies to non-K&R-style functions}}37// The following definitions apply the attribute to the pointer to the function pointer which should not be possible38void *(*__attribute__((alloc_size(1))) * ptr_to_func_ptr2)(int); // expected-warning{{'alloc_size' attribute only applies to non-K&R-style functions}}39void *(**__attribute__((alloc_size(1))) ptr_to_func_ptr2)(int); // expected-warning{{'alloc_size' attribute only applies to non-K&R-style functions}}40 41// It should also work for typedefs:42typedef void *(__attribute__((alloc_size(1))) allocator_function_typdef)(int);43typedef void *(__attribute__((alloc_size(1, 2))) * allocator_function_typdef2)(int, int);44void *(__attribute__((alloc_size(1, 2))) * allocator_function_typdef3)(int, int);45// This typedef applies the alloc_size to the pointer to the function pointer and should not be allowed46void *(**__attribute__((alloc_size(1, 2))) * allocator_function_typdef4)(int, int); // expected-warning{{'alloc_size' attribute only applies to non-K&R-style functions}}47 48// We should not be warning when assigning function pointers with and without the alloc size attribute49// since it doesn't change the type of the function50typedef void *(__attribute__((alloc_size(1))) * my_malloc_fn_pointer_type)(int);51typedef void *(*my_other_malloc_fn_pointer_type)(int);52void *fn(int i);53__attribute__((alloc_size(1))) void *fn2(int i);54 55int main() {56 my_malloc_fn_pointer_type f = fn;57 my_other_malloc_fn_pointer_type f2 = fn;58 my_malloc_fn_pointer_type f3 = fn2;59 my_other_malloc_fn_pointer_type f4 = fn2;60}61