Runtime error in bf561 COREB when pointing to structure data

Hi, I've a runtime error in several function when it try to access structure data generally pass as a parameter to the function.

the first instance of the problem is:

signed portBASE_TYPE xQueueGenericReceive( xQueueHandle pxQueue, void * const p\

vBuffer, portTickType xTicksToWait, portBASE_TYPE xJustPeeking )

{

..............

if( pxQueue->uxMessagesWaiting > ( unsigned portBASE_TY\

PE ) 0 )

.......................

}

where pxQueue is a structure:

typedef xQUEUE * xQueueHandle;

with:

typedef struct QueueDefinition

{

        signed char *pcHead;                            /*< Points to the begin\

ning of the queue storage area. */

    signed char *pcTail;                            /*< Points to the byte \

at the end of the queue storage area.  Once more byte is allocated than necessa\

ry to store the queue items, this is used as a marker. */

        signed char *pcWriteTo;                         /*< Points to the free \

next place in the storage area. */

        signed char *pcReadFrom;  

place that a queued item was read from. */

ks that are blocked waiting to post onto this queue.  Stored in priority order.\

*/

are blocked waiting to read from this queue.  Stored in priority order. */

ms currently in the queue. */

ueue defined as the number of items it will hold, not the number of bytes. */

ems that the queue will hold. */

f items received from the queue (removed from the queue) while the queue was lo\

cked.  Set to queueUNLOCKED when the queue is not locked. */

f items transmitted to the queue (added to the queue)

while the queue was locke\

d.  Set to queueUNLOCKED when the queue is not locked. */

} xQUEUE;

the runtime error is:

.....

......

Similarly, I've the same problem with the following function:

void vListRemove( xListItem *pxItemToRemove )

{

xList * pxList;

   pxItemToRemove->pxNext->pxPrevious = pxItemToRemove->pxPrevious;

        pxItemToRemove->pxPrevious->pxNext = pxItemToRemove->pxNext;

}

where pxItemToRemove->pxPrevious can be read but not pxItemToRemove->pxNext->pxPrevious

it structure is:

struct xLIST_ITEM

{

     portTickType xItemValue;                                /*< The value b\

eing listed.  In most cases this is used to sort the list in descending order. \

*/

        volatile struct xLIST_ITEM * pxNext;    /*< Pointer to the next xListIt\

em in the list. */

        volatile struct xLIST_ITEM * pxPrevious;/*< Pointer to the previous xLi\

stItem in the list. */

        void * pvOwner;                                                 /*< Poi\

nter to the object (normally a TCB) that contains the list item.  There is ther\

efore a two way link between the object containing the list item and the list i\

tem itself. */

        void * pvContainer;                                             /*< Poi\

nter to the list in which this list item is placed (if any). */

};

typedef struct xLIST_ITEM xListItem;            /* For some reason lint wants t\

his as two separate definitions. */

the runtime error is:

Thank you in advance.

William