Используя простую реализацию связанного списка в C, как мне сообщить Splint, что я передаю право собственности на data?
typedef struct {
void* data;
/*@null@*/ void* next;
} list;
static /*@null@*/ list* new_list(/*@notnull@*/ void* data)
{
list* l;
l = malloc(sizeof(list));
if (l == NULL)
return NULL;
l->next = NULL;
l->data = data;
return l;
}
Я получаю это сообщение об ошибке:
Implicitly temp storage data assigned to implicitly
only: list->data = data
Temp storage (associated with a formal parameter) is transferred to a
non-temporary reference. The storage may be released or new aliases created.
(Use -temptrans to inhibit warning)
Я хочу сообщить Сплинту, что ответственность за освобождение data переносится на структуру данных списка.
