C++ (Cpp) __coverity_mark_as_afm_freed__の例

コード例 #1

ファイル: coverity-model.c プロジェクト: CasonChan/qemu

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

コード例 #2

ファイル: coverity_model.c プロジェクト: gsjaardema/matio

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