PThread_cond_initializer vs splint

Question

Ho il codice seguente

static pthread_mutex_t watchdogMutex = PTHREAD_MUTEX_INITIALIZER;
static pthread_cond_t watchdogCond = PTHREAD_COND_INITIALIZER;

E ottengo i seguenti errori/avvertimenti quando uso Splint

Watchdogcond statico._dati._mutex inizializzato in valore null: watchdogcond._dati._mutex = (void ) 0 Un riferimento senza annotazione null è assegnato o inizializzato su NULL. Uso /@null@*/ per dichiarare il riferimento come un puntatore eventualmente null. (Usa -Nullassign per inibire l'avvertimento)

Qual è il problema con questo ed è un vero pericolo?