Hi,
Following is the small snippet of code.
status = sem_timedwait(&eflag->pending_list->sem, &ts);
if(status != 0 && errno == ETIMEDOUT)
{
// walk through the list and cancel this request.
pthread_mutex_lock(&eflag->mutex);
ef_node_t *cur_node, *prev_node;
//--------------------------------------------(splint showing parse error)
cur_node = eflag->pending_list;
for(cur_node = eflag->pending_list; cur_node;
prev_node = cur_node, cur_node = cur_node->next)
if(cur_node == node)
break;
if(prev_node && cur_node)
prev_node->next = cur_node->next;
sem_destroy(&node->sem);
free(node);
pthread_mutex_unlock(&eflag->mutex);
}
Splint gives the following error. I have make the error line bold.
rtos_eflag.c:175:12: Parse Error. (For help on parse errors, see splint -help
parseerrors.)
Do you guys have any idea of why it is happening?
_______________________________________________
splint-discuss mailing list
splint-discuss@mail.cs.virginia.edu
http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
