lclint-interest message 115

From evans@cs.virginia.edu Fri Oct 18 12:12:44 1996
Date: Fri, 18 Oct 96 11:45:24 -0400
From: evans@cs.virginia.edu (David Evans)
To: lbr@mjolner.dk
Cc: lclint-interest@larch.lcs.mit.edu
In-Reply-To: Lars Balker Rasmussen's message of 18 Oct 1996 12:36:25 +0200 <0fn2xko8ye.fsf@fraxinus.daimi.aau.dk>
Subject: Hi and problem


So, what we want to say if f is an array of possibly-null f_t's.  We can
do this with a typedef:

#include 

typedef void (*f_t)(void);
typedef /*@null@*/ f_t nf_t;

nf_t f[] = {
        NULL
};


--- Dave