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__(size);

    /*

     * 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, AFM_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__(size);

    







    __coverity_writeall__(ptr);

    __coverity_mark_as_afm_allocated__(ptr, AFM_free);

    return ptr;

}

void *FUNC_0(void *VAR_0, size_t VAR_1, size_t VAR_2)

{

    size_t sz;



    __coverity_negative_sink__(VAR_1);

    __coverity_negative_sink__(VAR_2);

    sz = VAR_1 * VAR_2;

    __coverity_escape__(VAR_0);

    VAR_0 = __coverity_alloc__(VAR_2);

    







    __coverity_writeall__(VAR_0);

    __coverity_mark_as_afm_allocated__(VAR_0, AFM_free);

    return VAR_0;

}

void *FUNC_0(void *VAR_0, size_t VAR_1, size_t VAR_2)
{ size_t sz; __coverity_negative_sink__(VAR_1); __coverity_negative_sink__(VAR_2); sz = VAR_1 * VAR_2; __coverity_escape__(VAR_0); VAR_0 = __coverity_alloc__(VAR_2); __coverity_writeall__(VAR_0); __coverity_mark_as_afm_allocated__(VAR_0, AFM_free); return VAR_0; }