]>
Commit | Line | Data |
---|---|---|
d0e5b01f | 1 | /* ;-*-C-*-; */ |
2 | ||
3 | /* | |
4 | ** freeShallow: free exprData created from exprNode_effect calls. | |
5 | ** All but the innermost storage is free'd. | |
6 | */ | |
7 | ||
4cccc6ad | 8 | /*@only@*/ exprData exprData_makeLiteral (/*@only@*/ cstring p_s); |
d0e5b01f | 9 | |
4cccc6ad | 10 | /*@only@*/ exprData exprData_makeId (/*@temp@*/ uentry p_id); |
d0e5b01f | 11 | |
4cccc6ad | 12 | /*@only@*/ exprData exprData_makePair (/*@keep@*/ exprNode p_a, /*@keep@*/ exprNode p_b); |
d0e5b01f | 13 | |
84c9ffbf | 14 | /*@-declundef*/ |
28bf4b0b | 15 | /*static*/ void exprData_freeShallow (/*@only@*/ exprData p_data, exprKind p_kind); |
84c9ffbf | 16 | |
28bf4b0b | 17 | /*static*/ void exprData_free (/*@only@*/ exprData p_data, exprKind p_kind); |
84c9ffbf | 18 | |
28bf4b0b | 19 | /*static*/ /*@exposed@*/ exprNode exprData_getInitNode (exprData p_data) /*@*/; |
84c9ffbf | 20 | |
28bf4b0b | 21 | /*static*/ /*@exposed@*/ idDecl exprData_getInitId (exprData p_data) /*@*/; |
84c9ffbf | 22 | |
28bf4b0b | 23 | /*static*/ /*@exposed@*/ exprNode exprData_getOpA (exprData p_data) /*@*/; |
84c9ffbf | 24 | |
28bf4b0b | 25 | /*static*/ /*@exposed@*/ exprNode exprData_getOpB (exprData p_data) /*@*/; |
84c9ffbf | 26 | |
28bf4b0b | 27 | /*static*/ /*@observer@*/ lltok exprData_getOpTok (exprData p_data) /*@*/; |
84c9ffbf | 28 | |
28bf4b0b | 29 | /*static*/ /*@exposed@*/ exprNode exprData_getPairA (exprData p_data) /*@*/; |
84c9ffbf | 30 | |
28bf4b0b | 31 | /*static*/ /*@exposed@*/ exprNode exprData_getPairB (exprData p_data) /*@*/; |
84c9ffbf | 32 | |
28bf4b0b | 33 | /*static*/ /*@exposed@*/ uentry exprData_getIterSname (exprData p_data) /*@*/; |
84c9ffbf | 34 | |
28bf4b0b | 35 | /*static*/ /*@exposed@*/ exprNodeList exprData_getIterAlist (exprData p_data) /*@*/; |
84c9ffbf | 36 | |
28bf4b0b | 37 | /*static*/ /*@exposed@*/ exprNode exprData_getIterBody (exprData p_data) /*@*/; |
84c9ffbf | 38 | |
28bf4b0b | 39 | /*static*/ /*@exposed@*/ uentry exprData_getIterEname (exprData p_data) /*@*/; |
84c9ffbf | 40 | |
28bf4b0b | 41 | /*static*/ /*@exposed@*/ exprNode exprData_getFcn (exprData p_data) /*@*/; |
84c9ffbf | 42 | |
28bf4b0b | 43 | /*static*/ /*@exposed@*/ exprNodeList exprData_getArgs (exprData p_data) /*@*/; |
84c9ffbf | 44 | |
28bf4b0b | 45 | /*static*/ /*@exposed@*/ exprNode exprData_getTriplePred (exprData p_data) /*@*/; |
84c9ffbf | 46 | |
28bf4b0b | 47 | /*static*/ /*@exposed@*/ uentry exprData_getIterCallIter (exprData p_data) /*@*/; |
84c9ffbf | 48 | |
49 | /*static*/ /*@exposed@*/ exprNodeList | |
28bf4b0b | 50 | exprData_getIterCallArgs (exprData p_data) /*@*/; |
84c9ffbf | 51 | |
28bf4b0b | 52 | /*static*/ /*@exposed@*/ exprNode exprData_getTripleInit (exprData p_data) /*@*/; |
84c9ffbf | 53 | |
28bf4b0b | 54 | /*static*/ /*@exposed@*/ exprNode exprData_getTripleTrue (exprData p_data) /*@*/; |
84c9ffbf | 55 | |
28bf4b0b | 56 | /*static*/ /*@exposed@*/ exprNode exprData_getTripleTest (exprData p_data) /*@*/; |
84c9ffbf | 57 | |
28bf4b0b | 58 | /*static*/ /*@exposed@*/ exprNode exprData_getTripleFalse (exprData p_data) /*@*/; |
84c9ffbf | 59 | |
28bf4b0b | 60 | /*static*/ /*@exposed@*/ exprNode exprData_getTripleInc (exprData p_data) /*@*/; |
84c9ffbf | 61 | |
28bf4b0b | 62 | /*static*/ /*@exposed@*/ exprNode exprData_getFieldNode (exprData p_data) /*@*/; |
84c9ffbf | 63 | |
28bf4b0b | 64 | /*static*/ /*@exposed@*/ cstring exprData_getFieldName (exprData p_data) /*@*/; |
84c9ffbf | 65 | |
28bf4b0b | 66 | /*static*/ /*@observer@*/ lltok exprData_getUopTok (exprData p_data) /*@*/; |
84c9ffbf | 67 | |
28bf4b0b | 68 | /*static*/ /*@exposed@*/ exprNode exprData_getUopNode (exprData p_data) /*@*/; |
84c9ffbf | 69 | |
28bf4b0b | 70 | /*static*/ /*@exposed@*/ exprNode exprData_getCastNode (exprData p_data) /*@*/; |
84c9ffbf | 71 | |
28bf4b0b | 72 | /*static*/ /*@observer@*/ lltok exprData_getCastTok (exprData p_data) /*@*/; |
84c9ffbf | 73 | |
28bf4b0b | 74 | /*static*/ /*@exposed@*/ qtype exprData_getCastType (exprData p_data) /*@*/; |
84c9ffbf | 75 | |
28bf4b0b | 76 | /*static*/ /*@exposed@*/ cstring exprData_getLiteral (exprData p_data) /*@*/; |
84c9ffbf | 77 | |
28bf4b0b | 78 | /*static*/ /*@exposed@*/ cstring exprData_getId (exprData p_data) /*@*/; |
84c9ffbf | 79 | |
28bf4b0b | 80 | /*static*/ /*@observer@*/ lltok exprData_getTok (exprData p_data) /*@*/; |
84c9ffbf | 81 | |
28bf4b0b | 82 | /*static*/ /*@exposed@*/ qtype exprData_getType (exprData p_data) /*@*/ ; |
84c9ffbf | 83 | |
28bf4b0b | 84 | /*static*/ /*@exposed@*/ qtype exprData_getOffsetType (exprData p_data) /*@*/ ; |
84c9ffbf | 85 | |
28bf4b0b | 86 | /*static*/ /*@exposed@*/ cstringList exprData_getOffsetName (exprData p_data) /*@*/ ; |
84c9ffbf | 87 | |
28bf4b0b | 88 | /*static*/ /*@exposed@*/ exprNode exprData_getSingle (exprData p_data); |
84c9ffbf | 89 | |
90 | /*static*/ /*@only@*/ exprData | |
28bf4b0b | 91 | exprData_makeOp (/*@keep@*/ exprNode p_a, /*@keep@*/ exprNode p_b, /*@keep@*/ lltok p_op); |
84c9ffbf | 92 | |
28bf4b0b | 93 | /*static*/ /*@only@*/ exprData exprData_makeUop (/*@keep@*/ exprNode p_a, /*@keep@*/ lltok p_op); |
84c9ffbf | 94 | |
28bf4b0b | 95 | /*static*/ /*@only@*/ exprData exprData_makeSingle (/*@only@*/ exprNode p_a); |
84c9ffbf | 96 | |
28bf4b0b | 97 | /*static*/ /*@only@*/ exprData exprData_makeTok (/*@only@*/ lltok p_op); |
84c9ffbf | 98 | |
99 | /*static*/ /*@only@*/ exprData | |
28bf4b0b | 100 | exprData_makeIter (/*@exposed@*/ uentry p_sname, /*@keep@*/ exprNodeList p_args, |
101 | /*@keep@*/ exprNode p_body, /*@exposed@*/ uentry p_ename); | |
84c9ffbf | 102 | |
28bf4b0b | 103 | /*static*/ /*@only@*/ exprData exprData_makeTriple (/*@keep@*/ exprNode p_pred, |
104 | /*@keep@*/ exprNode p_tbranch, | |
105 | /*@keep@*/ exprNode p_fbranch); | |
84c9ffbf | 106 | |
28bf4b0b | 107 | /*static*/ /*@only@*/ exprData exprData_makeCall (/*@keep@*/ exprNode p_fcn, |
108 | /*@keep@*/ exprNodeList p_args); | |
84c9ffbf | 109 | |
110 | ||
28bf4b0b | 111 | /*static*/ /*@only@*/ exprData exprData_makeIterCall (/*@dependent@*/ uentry p_iter, |
112 | /*@keep@*/ exprNodeList p_args); | |
84c9ffbf | 113 | |
28bf4b0b | 114 | /*static*/ /*@only@*/ exprData exprData_makeField (/*@keep@*/ exprNode p_rec, |
115 | /*@keep@*/ cstring p_field); | |
84c9ffbf | 116 | |
28bf4b0b | 117 | /*static*/ /*@only@*/ exprData exprData_makeOffsetof (/*@only@*/ qtype p_q, |
118 | /*@keep@*/ cstringList p_s); | |
84c9ffbf | 119 | |
120 | ||
28bf4b0b | 121 | /*static*/ /*@only@*/ exprData exprData_makeSizeofType (/*@only@*/ qtype p_q); |
84c9ffbf | 122 | |
123 | /*static*/ /*@only@*/ exprData | |
28bf4b0b | 124 | exprData_makeCast (/*@keep@*/ lltok p_tok, /*@keep@*/ exprNode p_e, /*@only@*/ qtype p_q); |
84c9ffbf | 125 | |
126 | /*static*/ /*@only@*/ exprData | |
28bf4b0b | 127 | exprData_makeInit (/*@keep@*/ idDecl p_t, /*@keep@*/ exprNode p_e); |
84c9ffbf | 128 | |
129 | ||
28bf4b0b | 130 | /*static*/ /*@only@*/ exprData exprData_makeCond (/*@keep@*/ exprNode p_pred, |
131 | /*@keep@*/ exprNode p_ifclause, | |
132 | /*@keep@*/ exprNode p_elseclause); | |
84c9ffbf | 133 | |
28bf4b0b | 134 | /*static*/ /*@only@*/ exprData exprData_makeFor (/*@keep@*/ exprNode p_init, |
135 | /*@keep@*/ exprNode p_pred, | |
136 | /*@keep@*/ exprNode p_inc); | |
84c9ffbf | 137 | |
138 | ||
139 | /*@=declundef*/ | |
140 | ||
141 | ||
142 | ||
143 | ||
144 | ||
145 | ||
146 | ||
d0e5b01f | 147 |