]> andersk Git - splint.git/blob - test/temp/union.c
aa7f2b101107e9ec4cef260d4645b59702567d0b
[splint.git] / test / temp / union.c
1 typedef struct {
2   int s;
3 } *sigNode;
4
5 typedef struct {
6   int s;
7 } *nameNode;
8
9
10 typedef struct {
11   int s;
12 } *typeNameNode;
13
14 typedef int ltoken;
15
16 typedef struct {
17   ltoken tok;
18   typeNameNode typename; 
19   int isCType;
20   union {
21     struct { 
22       /*@only@*/ /*@null@*/ nameNode name; 
23       /*@only@*/ /*@null@*/ sigNode signature;
24     } renamesortname;
25     ltoken ctype; 
26   } content;
27 } *replaceNode; 
28
29 /*@only@*/ replaceNode
30 makeReplaceNameNode (ltoken t, /*@only@*/ typeNameNode tn, /*@only@*/ nameNode nn)
31 {
32   replaceNode r = (replaceNode) malloc (sizeof (*r));
33   assert (r != NULL);
34   r->tok = t;
35   r->isCType = FALSE;
36   r->typename = tn;
37   r->content.renamesortname.name = nn;
38   r->content.renamesortname.signature = (sigNode)NULL;
39   
40   return (r);
41 }
This page took 0.087741 seconds and 3 git commands to generate.