void *isc__mem_allocate(void *mem, unsigned int size FLARG) {
if (!mem) __coverity_panic__();
__coverity_negative_sink__(size);
if (condition)
return (0);
return (__coverity_alloc__(size));
}
void *av_mallocz(size_t size) {
int has_memory;
__coverity_negative_sink__(size);
if (has_memory) {
void *ptr = __coverity_alloc__(size);
__coverity_writeall0__(ptr);
__coverity_mark_as_afm_allocated__(ptr, "av_free");
return ptr;
} else {
return 0;
}
}
void *g_malloc0_n(size_t nmemb, size_t size)
{
size_t sz;
void *ptr;
__coverity_negative_sink__(nmemb);
__coverity_negative_sink__(size);
sz = nmemb * size;
ptr = __coverity_alloc__(sz);
__coverity_writeall0__(ptr);
__coverity_mark_as_afm_allocated__(ptr, "g_free");
return ptr;
}
void *g_realloc_n(void *ptr, size_t nmemb, size_t size)
{
size_t sz;
__coverity_negative_sink__(nmemb);
__coverity_negative_sink__(size);
sz = nmemb * size;
__coverity_escape__(ptr);
ptr = __coverity_alloc__(sz);
/*
* Memory beyond the old size isn't actually initialized. Can't
* model that. See Coverity's realloc() model
*/
__coverity_writeall__(ptr);
__coverity_mark_as_afm_allocated__(ptr, "g_free");
return ptr;
}
void *__memalign(size_t blocksize, size_t bytes, const char *location) {
__coverity_alloc__(bytes);
}
hid_t H5Dopen(hid_t file_id, const char *name, hid_t dapl_id) {
hid_t id = __coverity_alloc__(10);
__coverity_mark_as_afm_allocated__(id, "H5Dclose");
return id;
}
hid_t H5Dget_type(hid_t dataset_id) {
hid_t id = __coverity_alloc__(10);
__coverity_mark_as_afm_allocated__(id, "H5Tclose");
return id;
}
hid_t H5Rdereference(hid_t dataset, H5R_type_t ref_type, const void *ref) {
hid_t id = __coverity_alloc__(10);
__coverity_mark_as_afm_allocated__(id, "H5Dclose");
return id;
}
hid_t H5Aget_space(hid_t attr_id) {
hid_t id = __coverity_alloc__(10);
__coverity_mark_as_afm_allocated__(id, "H5Sclose");
return id;
}
hid_t H5Acreate2(hid_t loc_id, const char *attr_name, hid_t type_id, hid_t space_id, hid_t acpl_id, hid_t aapl_id) {
hid_t id = __coverity_alloc__(10);
__coverity_mark_as_afm_allocated__(id, "H5Aclose");
return id;
}
hid_t H5Aopen_by_name(hid_t loc_id, const char *obj_name, const char *attr_name, hid_t aapl_id, hid_t lapl_id) {
hid_t id = __coverity_alloc__(10);
__coverity_mark_as_afm_allocated__(id, "H5Aclose");
return id;
}
}
hid_t H5Rdereference(hid_t dataset, H5R_type_t ref_type, const void *ref) {
hid_t id = __coverity_alloc__(10);
__coverity_mark_as_afm_allocated__(id, "H5Dclose");
return id;
}
hid_t H5Aget_type(hid_t attr_id) {
hid_t id = __coverity_alloc__(10);
__coverity_mark_as_afm_allocated__(id, "H5Tclose");
return id;
}
hid_t H5Tcreate(H5T_class_t class, size_t size) {
hid_t id = __coverity_alloc__(10);
__coverity_mark_as_afm_allocated__(id, "H5Tclose");
return id;
}
hid_t H5Gopen(hid_t loc_id, const char * name, hid_t gapl_id) {
hid_t id = __coverity_alloc__(10);
__coverity_mark_as_afm_allocated__(id, "H5Gclose");
return id;
}
hid_t H5Gopen2(hid_t loc_id, const char * name, hid_t gapl_id) {
hid_t id = __coverity_alloc__(10);
__coverity_mark_as_afm_allocated__(id, "H5Gclose");
return id;
}
