[splint-discuss] Annotations for null returns

[Imhoff, Luke]

Splint says I need to annotate this function's *menu as /*@returned@*/
since NO_MENU ((Menu *) NULL) is returned, is there anyway to tell
splint that this is the null case and in general it will not be
returned?


Menu* menuChild(/*@null@*/Menu * menu)
{
  return (menu != NO_MENU ? menu->leftChild : NO_MENU);
}