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;
}
char *g_strconcat(const char *s, ...)
{
char *s;
/*
* Can't model: last argument must be null, the others
* null-terminated strings
*/
s = __coverity_alloc_nosize__();
__coverity_writeall__(s);
__coverity_mark_as_afm_allocated__(s, "g_free");
return s;
}
char *g_strdup_printf(const char *format, ...)
{
char ch, *s;
size_t len;
__coverity_string_null_sink__(format);
__coverity_string_size_sink__(format);
ch = *format;
s = __coverity_alloc_nosize__();
__coverity_writeall__(s);
__coverity_mark_as_afm_allocated__(s, "g_free");
return s;
}
char *g_strdup(const char *s)
{
char *dup;
size_t i;
if (!s) {
return NULL;
}
__coverity_string_null_sink__(s);
__coverity_string_size_sink__(s);
dup = __coverity_alloc_nosize__();
__coverity_mark_as_afm_allocated__(dup, "g_free");
for (i = 0; (dup[i] = s[i]); i++) ;
return dup;
}
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;
}
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 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 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;
}
