[splint-discuss] Help on "Storage x may become null" error

[CBFalconer]

Keith Prickett wrote:
> 
> Even if I add /*@null@*/ in front of the line: "MY_OWN_TYPE *
> listOfMyOwnType[2];" I still see the same warnings, plus some. 
> This splint warning just doesn't make sense to me.  I have
> declared a list of pointers.  The list itself will never be null. 
> The items in the list may be, but how does splint want me to deal
> with that?

Please do not top-post.  Your answer belongs after (or intermixed
with) the quoted material to which you reply, after snipping all
irrelevant material.  See the following links:

-- 
  <http://www.catb.org/~esr/faqs/smart-questions.html>
  <http://www.caliburn.nl/topposting.html>
  <http://www.netmeister.org/news/learn2quote.html>
  <http://cfaj.freeshell.org/google/>  (taming google)
  <http://members.fortunecity.com/nnqweb/>  (newusers)