]> andersk Git - splint.git/blob - src/exprDataQuite.i
noexpand always false.
[splint.git] / src / exprDataQuite.i
1
2 /*this is a fake function so that compilers will not generate warning about
3 functions that are defined but not used
4
5 I should probablymake an exprData api instead but this a simpler and it
6 restricts access to exprData
7 */
8
9 /*@ignore@*/
10
11 static void fakeQuite1 (int x)
12 {
13 void* f;
14
15 x = 1;
16
17 x = x +6;
18
19 llfatalbug ("fake function fakeQuite1 called");
20 f = (void *) fakeQuite1;
21
22 f = (void *)  exprData_free;
23 f = (void *) exprData_freeShallow;
24 f =   (void *) exprData_getInitNode;
25 f = (void *)   exprData_getInitId;
26 f = (void *)   exprData_getIterSname;
27 f = (void *)   exprData_getIterAlist;
28 f = (void *)   exprData_getIterBody;
29 f = (void *)   exprData_getIterEname;
30 f = (void *)   exprData_getIterCallIter;
31 f = (void *)   exprData_getIterCallArgs;
32 f = (void *)   exprData_getCastNode;
33 f =  (void *)  exprData_getCastTok;
34 f =  (void *)  exprData_getCastType;
35 f =  (void *)  exprData_getId;
36 f =  (void *)  exprData_getTok;
37 f = (void *)   exprData_getOffsetType;
38 f = (void *)   exprData_getOffsetName;
39 f = (void *)   exprData_makeOp;
40 f = (void *)   exprData_makeUop;
41 f = (void *)   exprData_makeSingle;
42 f = (void *)   exprData_makeTok;
43 f = (void *)   exprData_makeIter;
44 f = (void *)   exprData_makeCall;
45 f = (void *)   exprData_makeIterCall;
46 f = (void *)   exprData_makeField;
47 f = (void *)   exprData_makeOffsetof;
48 f = (void *)   exprData_makeSizeofType;
49 f = (void *)   exprData_makeCast;
50 f = (void *)   exprData_makeInit;
51 f = (void *)   exprData_makeCond;
52 f = (void *)   exprData_makeFor;
53 f = (void *)   exprData_getPairA;
54 f = (void *)   exprData_getPairB;
55 f = (void *)   exprData_getFcn;
56 f = (void *)   exprData_getArgs;
57 f = (void *)   exprData_getTriplePred;
58 f = (void *)   exprData_getTripleInit;
59 f = (void *)   exprData_getTripleTrue;
60 f = (void *)   exprData_getTripleTest;
61 f = (void *)   exprData_getTripleFalse;
62 f = (void *)   exprData_getTripleInc;
63 f = (void *)   exprData_getFieldNode;
64 f = (void *)   exprData_getFieldName;
65 f = (void *)   exprData_getUopTok;
66 f = (void *)   exprData_getLiteral;
67 f = (void *)   exprData_getType;
68 }
69 /*@end@*/
This page took 0.81591 seconds and 5 git commands to generate.