lclint-interest message 115

From Fri Oct 18 12:12:44 1996
Date: Fri, 18 Oct 96 11:45:24 -0400
From: (David Evans)
In-Reply-To: Lars Balker Rasmussen's message of 18 Oct 1996 12:36:25 +0200 <>
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:


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

nf_t f[] = {

--- Dave

Previous Message Next Message Archive Summary LCLint Home Page David Evans
University of Virginia, Computer Science