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