2 ** Splint - annotation-assisted static program checker
3 ** Copyright (C) 1994-2002 University of Virginia,
4 ** Massachusetts Institute of Technology
6 ** This program is free software; you can redistribute it and/or modify it
7 ** under the terms of the GNU General Public License as published by the
8 ** Free Software Foundation; either version 2 of the License, or (at your
9 ** option) any later version.
11 ** This program is distributed in the hope that it will be useful, but
12 ** WITHOUT ANY WARRANTY; without even the implied warranty of
13 ** MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 ** General Public License for more details.
16 ** The GNU General Public License is available from http://www.gnu.org/ or
17 ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
18 ** MA 02111-1307, USA.
20 ** For information on splint: info@splint.org
21 ** To report a bug: splint-bug@splint.org
22 ** For more information: http://www.splint.org
27 ** representation of type qualifiers
30 # include "splintMacros.nf"
33 static qual qual_createPlainAux (int i) /*@*/
35 qual res = (qual) dmalloc (sizeof (*res));
36 res->kind = (quenum) i;
37 res->info = annotationInfo_undefined;
39 sfreeEventually (res); /* stored in qtable */
43 static qual qtable[QU_LAST];
44 static bool isinit = FALSE;
46 extern void qual_initMod (void)
48 int i = (int) QU_UNKNOWN;
51 while (i < (int) QU_LAST) {
52 qtable[i] = qual_createPlainAux (i);
59 static void qual_free (qual p_q) ;
61 extern void qual_destroyMod (void)
65 int i = (int) QU_UNKNOWN;
68 while (i < (int) QU_LAST) {
69 qual_free (qtable[i]);
75 static void qual_free (qual q)
81 extern qual qual_createPlain (quenum q)
84 llassert (q != QU_USERANNOT && q < QU_LAST);
85 return qtable[(int) q];
88 extern qual qual_createMetaState (annotationInfo info)
92 res = (qual) dmalloc (sizeof (*res));
93 res->kind = QU_USERANNOT;
96 sfreeEventually (res); /* Memory leak */
100 static bool quenum_isValid (int q)
102 return ((quenum) q >= QU_UNKNOWN
103 && ((quenum) q < QU_LAST));
106 qual qual_fromInt (int q)
108 llassertprint (quenum_isValid (q), ("Invalid qual: %d", q));
109 return (qual_createPlain ((quenum) q));
112 cstring qual_unparse (qual q)
114 if (q->kind == QU_USERANNOT)
116 return (annotationInfo_unparse (q->info));
122 case QU_UNKNOWN: return cstring_makeLiteralTemp ("unknown");
123 case QU_ABSTRACT: return cstring_makeLiteralTemp ("abstract");
124 case QU_CONCRETE: return cstring_makeLiteralTemp ("concrete");
125 case QU_MUTABLE: return cstring_makeLiteralTemp ("mutable");
126 case QU_IMMUTABLE: return cstring_makeLiteralTemp ("immutable");
127 case QU_SHORT: return cstring_makeLiteralTemp ("short");
128 case QU_LONG: return cstring_makeLiteralTemp ("long");
129 case QU_SIGNED: return cstring_makeLiteralTemp ("signed");
130 case QU_UNSIGNED: return cstring_makeLiteralTemp ("unsigned");
131 case QU_CONST: return cstring_makeLiteralTemp ("const");
132 case QU_RESTRICT: return cstring_makeLiteralTemp ("restrict");
133 case QU_VOLATILE: return cstring_makeLiteralTemp ("volatile");
134 case QU_INLINE: return cstring_makeLiteralTemp ("inline");
135 case QU_EXTERN: return cstring_makeLiteralTemp ("extern");
136 case QU_STATIC: return cstring_makeLiteralTemp ("static");
137 case QU_AUTO: return cstring_makeLiteralTemp ("auto");
138 case QU_REGISTER: return cstring_makeLiteralTemp ("register");
139 case QU_OUT: return cstring_makeLiteralTemp ("out");
140 case QU_IN: return cstring_makeLiteralTemp ("in");
141 case QU_RELDEF: return cstring_makeLiteralTemp ("reldef");
142 case QU_ONLY: return cstring_makeLiteralTemp ("only");
143 case QU_IMPONLY: return cstring_makeLiteralTemp ("only");
144 case QU_PARTIAL: return cstring_makeLiteralTemp ("partial");
145 case QU_SPECIAL: return cstring_makeLiteralTemp ("special");
146 case QU_KEEP: return cstring_makeLiteralTemp ("keep");
147 case QU_KEPT: return cstring_makeLiteralTemp ("kept");
148 case QU_YIELD: return cstring_makeLiteralTemp ("yield");
149 case QU_TEMP: return cstring_makeLiteralTemp ("temp");
150 case QU_SHARED: return cstring_makeLiteralTemp ("shared");
151 case QU_UNIQUE: return cstring_makeLiteralTemp ("unique");
152 case QU_UNCHECKED: return cstring_makeLiteralTemp ("unchecked");
153 case QU_CHECKED: return cstring_makeLiteralTemp ("checked");
154 case QU_CHECKMOD: return cstring_makeLiteralTemp ("checkmod");
155 case QU_CHECKEDSTRICT: return cstring_makeLiteralTemp ("checkedstrict");
156 case QU_TRUENULL: return cstring_makeLiteralTemp ("truenull");
157 case QU_FALSENULL: return cstring_makeLiteralTemp ("falsenull");
158 case QU_NULL: return cstring_makeLiteralTemp ("null");
159 case QU_ISNULL: return cstring_makeLiteralTemp ("isnull");
160 case QU_RELNULL: return cstring_makeLiteralTemp ("relnull");
161 case QU_NOTNULL: return cstring_makeLiteralTemp ("notnull");
162 case QU_NULLTERMINATED: return cstring_makeLiteralTemp ("nullterminated");
163 case QU_RETURNED: return cstring_makeLiteralTemp ("returned");
164 case QU_EXPOSED: return cstring_makeLiteralTemp ("exposed");
165 case QU_EXITS: return cstring_makeLiteralTemp ("noreturn");
166 case QU_MAYEXIT: return cstring_makeLiteralTemp ("maynotreturn");
167 case QU_UNUSED: return cstring_makeLiteralTemp ("unused");
168 case QU_EXTERNAL: return cstring_makeLiteralTemp ("external");
169 case QU_SEF: return cstring_makeLiteralTemp ("sef");
170 case QU_OBSERVER: return cstring_makeLiteralTemp ("observer");
171 case QU_REFCOUNTED: return cstring_makeLiteralTemp ("refcounted");
172 case QU_REFS: return cstring_makeLiteralTemp ("refs");
173 case QU_NEWREF: return cstring_makeLiteralTemp ("newref");
174 case QU_KILLREF: return cstring_makeLiteralTemp ("killref");
175 case QU_TEMPREF: return cstring_makeLiteralTemp ("tempref");
176 case QU_OWNED: return cstring_makeLiteralTemp ("owned");
177 case QU_DEPENDENT: return cstring_makeLiteralTemp ("dependent");
178 case QU_NEVEREXIT: return cstring_makeLiteralTemp ("alwaysreturns");
179 case QU_TRUEEXIT: return cstring_makeLiteralTemp ("noreturnwhentrue");
180 case QU_FALSEEXIT: return cstring_makeLiteralTemp ("noreturnwhenfalse");
181 case QU_UNDEF: return cstring_makeLiteralTemp ("undef");
182 case QU_KILLED: return cstring_makeLiteralTemp ("killed");
183 case QU_PRINTFLIKE: return cstring_makeLiteralTemp ("printflike");
184 case QU_SCANFLIKE: return cstring_makeLiteralTemp ("scanflike");
185 case QU_MESSAGELIKE:return cstring_makeLiteralTemp ("messagelike");
186 case QU_SETBUFFERSIZE: return cstring_makeLiteralTemp("<qsetbuffersize>");
187 case QU_LAST: return cstring_makeLiteralTemp ("< last >");
188 case QU_USERANNOT: return cstring_makeLiteralTemp ("<user>");
195 extern bool qual_match (qual q1, qual q2)
197 if (q1->kind == q2->kind) {
198 if (q1->kind == QU_USERANNOT) {
199 return (annotationInfo_equal (q1->info, q2->info));
208 extern annotationInfo qual_getAnnotationInfo (qual q)
210 llassert (qual_isMetaState (q));
214 extern cstring qual_dump (qual q)
218 if (q->kind == QU_USERANNOT)
220 return message ("%d.%s",
222 annotationInfo_dump (q->info));
226 return message ("%d", (int) q->kind);
231 extern qual qual_undump (char **s)
233 quenum q = (quenum) reader_getInt (s);
236 if (q == QU_USERANNOT)
240 reader_checkChar (s, '.');
241 ai = annotationInfo_undump (s);
243 return qual_createMetaState (ai);
247 return qual_createPlain (q);