cov_session_reference_model.c

Go to the documentation of this file.

/* cov-make-library -of memory_models.xmldb  cov_session_reference_model.c
 * cov-analyze --dir ... --user-model-file memory_models.xmldb
 */
 
typedef struct coap_session_t {
  int ref;
} coap_session_t;
 
coap_session_t *coap_session_reference(coap_session_t *session) {
  ++session->ref;
  return session;
}
 
void coap_session_release(coap_session_t *session) {
  if (session) {
    --session->ref;
    __coverity_negative_sink__(session->ref);
  }
}