test18.c 134 Bytes
Newer Older
1
int * function(__crust_recycle__ int *param); // ERROR: a function with a __crust_recycle__ parameter must return a __crust_t__ value