Various minor fixes for compiler/linter (other then splint itself) warnings.
[splint-patched.git] / src / Headers / modifyNode.h
blob9259e2603a05af913faeec06aed4b9b0d1603c34
1 /*
2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
3 ** See ../LICENSE for license information.
4 **
5 */
7 typedef struct {
8 ltoken tok;
9 bool modifiesNothing;
10 bool hasStoreRefList;
11 /* if hasStoreRefList is FALSE, then it's either NOTHING or ANYTHING */
12 /* evs - this is a really kludgy way of doing this... */
13 /*@reldef@*/ storeRefNodeList list;
14 } *modifyNode;