Esempi in C++ (Cpp) per __coverity_mark_as_afm_freed__

Esempio n. 1

File: coverity-model.c Progetto: CasonChan/qemu

void g_free(void *ptr)
{
    __coverity_free__(ptr);
    __coverity_mark_as_afm_freed__(ptr, "g_free");
}

Esempio n. 2

File: coverity_model.c Progetto: gsjaardema/matio

herr_t H5Dclose(hid_t id) {
    __coverity_free__(id);
    __coverity_mark_as_afm_freed__(id, "H5Dclose");
}