pointer arithmetic involving possibly null pointer

[Emma Wermstrom]

I have the following declared in a module:

typedef unsigned long/*@NULL@*/* Ptr_T;

sourcefile:
extern const /*@notnull@*/ Ptr_T Buffer_C[NofBuffers_C];


body:
const /*@notnull@*/Ptr_T Buffer_C[NofBuffers_C]     
=
   {
      (Ptr_T)(Area_C + 0x1000), 
      (Ptr_T)(Area_C + 0x1400) 
   };


When I try to access Buffer_C from another module like this,

Ptr_T   Pointers[X] = Buffer_C[Index] + (i * Size_C);


I get the following splint error message:

 Pointer arithmetic involving possibly null pointer
    Buffer_C[Index]: Buffer_C[Index] + (i * Size_C)
  Pointer arithmetic using a possibly null pointer and integer. (Use
  -nullptrarith to inhibit warning)


I have declared Buffer_C as notnull. What do I have to do to eliminate the error
message. I am not using a function call to get access to Buffer_C. It is direct.
If I surround the access like this

if (Buffer_C[Index] != NULL)
{
   Ptr_T   Pointers[X] = Buffer_C[Index] + (i * Size_C);
}

the error message will go away but I don´t really want to do that since I
know for sure
that the Buffer_C[Index] really is not NULL.

I'd be thankful for any help.

/Emma
---------------------------------------------------------------
Emma Wermström   
Software Engineer
Saab Ericsson Space AB          tel: 031-7354433 
S-405 15  Goteborg              mobil: 0708-375230
SWEDEN                          mail: [EMAIL PROTECTED]
--------------------------------------------------------------