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 ** Qualified types: a type qualifier list, and a ctype.
31 # include "splintMacros.nf"
34 /*@notnull@*/ qtype qtype_create (ctype c)
36 qtype q = (qtype) dmalloc (sizeof (*q));
39 q->quals = qualList_new ();
43 void qtype_free (/*@only@*/ qtype q)
45 if (qtype_isDefined (q))
47 qualList_free (q->quals);
52 qtype qtype_unknown ()
54 return (qtype_create (ctype_unknown));
57 qtype qtype_addQual (qtype qt, qual q)
59 if (qtype_isDefined (qt))
61 qt->quals = qualList_add (qt->quals, q);
68 qtype qtype_addQualList (/*@returned@*/ qtype qt, qualList ql)
70 if (qtype_isDefined (qt))
72 qt->quals = qualList_appendList (qt->quals, ql);
79 static void checkAltQuals (qtype q)
81 if (qtype_isDefined (q))
83 qualList badQuals = qualList_undefined;
85 qualList_elements (q->quals, qu)
87 if (!qual_isCQual (qu) && !qual_isImplied (qu))
89 badQuals = qualList_add (badQuals, qu);
91 } end_qualList_elements ;
93 if (!qualList_isEmpty (badQuals))
95 voptgenerror (FLG_SYNTAX,
97 ("Alternate type cannot use annotations %q: %q",
98 qualList_unparse (badQuals),
106 qtype qtype_mergeImplicitAlt (/*@returned@*/ qtype q1, /*@only@*/ qtype q2)
108 if (qtype_isDefined (q1) && qtype_isDefined (q2))
110 q1->type = ctype_makeConj (q1->type, q2->type);
112 if (!qualList_isEmpty (q2->quals))
123 qtype qtype_mergeAlt (/*@returned@*/ qtype q1, /*@only@*/ qtype q2)
125 if (qtype_isDefined (q1) && qtype_isDefined (q2))
127 if (context_getFlag (FLG_IMPCONJ))
129 q1->type = ctype_makeConj (q1->type, q2->type);
133 q1->type = ctype_makeExplicitConj (q1->type, q2->type);
137 if (!qualList_isEmpty (q2->quals))
147 qtype qtype_combine (/*@returned@*/ qtype q1, ctype ct)
149 if (qtype_isDefined (q1))
151 /* ct is modifier (or q1->type is unknown) */
152 q1->type = ctype_combine (q1->type, ct);
158 qtype qtype_resolve (/*@returned@*/ qtype q)
160 if (qtype_isDefined (q))
162 q->type = ctype_resolve (q->type);
168 cstring qtype_unparse (qtype q)
170 if (qtype_isDefined (q))
172 return (message ("%q%s", qualList_unparse (q->quals),
173 ctype_unparse (q->type)));
177 return (cstring_makeLiteral ("<undefined>"));
181 qtype qtype_newBase (/*@returned@*/ qtype q, ctype ct)
183 if (qtype_isDefined (q))
185 q->type = ctype_newBase (ct, q->type);
191 qtype qtype_newQbase (qtype q1, qtype q2)
193 if (qtype_isDefined (q1) && qtype_isDefined (q2))
195 q1->type = ctype_newBase (q1->type, q2->type);
196 q1->quals = qualList_appendList (q1->quals, q2->quals);
202 void qtype_adjustPointers (int n, qtype q)
204 if (qtype_isDefined (q))
206 q->type = ctype_adjustPointers (n, q->type);
211 qtype qtype_copy (qtype q)
213 if (qtype_isDefined (q))
215 qtype r = qtype_create (q->type);
217 qualList_free (r->quals);
218 r->quals = qualList_copy (q->quals);
223 return qtype_undefined;