/*
-** LCLint - annotation-assisted static program checker
-** Copyright (C) 1994-2000 University of Virginia,
+** Splint - annotation-assisted static program checker
+** Copyright (C) 1994-2003 University of Virginia,
** Massachusetts Institute of Technology
**
** This program is free software; you can redistribute it and/or modify it
** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
** MA 02111-1307, USA.
**
-** For information on lclint: lclint-request@cs.virginia.edu
-** To report a bug: lclint-bug@cs.virginia.edu
-** For more information: http://lclint.cs.virginia.edu
+** For information on splint: info@splint.org
+** To report a bug: splint-bug@splint.org
+** For more information: http://www.splint.org
*/
/*
** qual.c
** representation of type qualifiers
*/
-# include "lclintMacros.nf"
+# include "splintMacros.nf"
# include "basic.h"
-static bool qual_isValid (int q)
+static qual qual_createPlainAux (int i) /*@*/
{
- return ((qual)q >= QU_UNKNOWN
- && ((qual)q < QU_LAST));
+ qual res = (qual) dmalloc (sizeof (*res));
+ res->kind = (quenum) i;
+ res->info = annotationInfo_undefined;
+
+ sfreeEventually (res); /* stored in qtable */
+ return res;
+}
+
+static qual qtable[QU_LAST];
+static bool isinit = FALSE;
+
+extern void qual_initMod (void)
+{
+ int i = (int) QU_UNKNOWN;
+ llassert (!isinit);
+
+ while (i < (int) QU_LAST) {
+ qtable[i] = qual_createPlainAux (i);
+ i++;
+ }
+
+ isinit = TRUE;
+}
+
+static void qual_free (qual p_q) ;
+
+extern void qual_destroyMod (void)
+{
+ if (isinit)
+ {
+ int i = (int) QU_UNKNOWN;
+ isinit = FALSE;
+
+ while (i < (int) QU_LAST) {
+ qual_free (qtable[i]);
+ i++;
+ }
+ }
+}
+
+static void qual_free (qual q)
+{
+ llassert (!isinit);
+ sfree (q);
+}
+
+extern qual qual_createPlain (quenum q)
+{
+ llassert (isinit);
+ llassert (q != QU_USERANNOT && q < QU_LAST);
+ return qtable[(int) q];
+}
+
+extern qual qual_createMetaState (annotationInfo info)
+{
+ qual res;
+
+ res = (qual) dmalloc (sizeof (*res));
+ res->kind = QU_USERANNOT;
+ res->info = info;
+
+ sfreeEventually (res); /* Memory leak */
+ return res;
+}
+
+static bool quenum_isValid (int q)
+{
+ return ((quenum) q >= QU_UNKNOWN
+ && ((quenum) q < QU_LAST));
}
qual qual_fromInt (int q)
{
- llassertprint (qual_isValid (q), ("Invalid qual: %d", q));
- return (qual) q;
+ llassertprint (quenum_isValid (q), ("Invalid qual: %d", q));
+ return (qual_createPlain ((quenum) q));
}
cstring qual_unparse (qual q)
{
- switch (q)
+ if (q->kind == QU_USERANNOT)
{
- case QU_UNKNOWN: return cstring_makeLiteralTemp ("unknown");
- case QU_ABSTRACT: return cstring_makeLiteralTemp ("abstract");
- case QU_CONCRETE: return cstring_makeLiteralTemp ("concrete");
- case QU_MUTABLE: return cstring_makeLiteralTemp ("mutable");
- case QU_IMMUTABLE: return cstring_makeLiteralTemp ("immutable");
- case QU_SHORT: return cstring_makeLiteralTemp ("short");
- case QU_LONG: return cstring_makeLiteralTemp ("long");
- case QU_SIGNED: return cstring_makeLiteralTemp ("signed");
- case QU_UNSIGNED: return cstring_makeLiteralTemp ("unsigned");
- case QU_CONST: return cstring_makeLiteralTemp ("const");
- case QU_VOLATILE: return cstring_makeLiteralTemp ("volatile");
- case QU_INLINE: return cstring_makeLiteralTemp ("inline");
- case QU_EXTERN: return cstring_makeLiteralTemp ("extern");
- case QU_STATIC: return cstring_makeLiteralTemp ("static");
- case QU_AUTO: return cstring_makeLiteralTemp ("auto");
- case QU_REGISTER: return cstring_makeLiteralTemp ("register");
- case QU_OUT: return cstring_makeLiteralTemp ("out");
- case QU_IN: return cstring_makeLiteralTemp ("in");
- case QU_RELDEF: return cstring_makeLiteralTemp ("reldef");
- case QU_ONLY: return cstring_makeLiteralTemp ("only");
- case QU_IMPONLY: return cstring_makeLiteralTemp ("only");
- case QU_PARTIAL: return cstring_makeLiteralTemp ("partial");
- case QU_SPECIAL: return cstring_makeLiteralTemp ("special");
- case QU_KEEP: return cstring_makeLiteralTemp ("keep");
- case QU_KEPT: return cstring_makeLiteralTemp ("kept");
- case QU_YIELD: return cstring_makeLiteralTemp ("yield");
- case QU_TEMP: return cstring_makeLiteralTemp ("temp");
- case QU_SHARED: return cstring_makeLiteralTemp ("shared");
- case QU_UNIQUE: return cstring_makeLiteralTemp ("unique");
- case QU_UNCHECKED: return cstring_makeLiteralTemp ("unchecked");
- case QU_CHECKED: return cstring_makeLiteralTemp ("checked");
- case QU_CHECKMOD: return cstring_makeLiteralTemp ("checkmod");
- case QU_CHECKEDSTRICT: return cstring_makeLiteralTemp ("checkedstrict");
- case QU_TRUENULL: return cstring_makeLiteralTemp ("truenull");
- case QU_FALSENULL: return cstring_makeLiteralTemp ("falsenull");
- case QU_NULL: return cstring_makeLiteralTemp ("null");
- case QU_RELNULL: return cstring_makeLiteralTemp ("relnull");
- case QU_NOTNULL: return cstring_makeLiteralTemp ("notnull");
- case QU_NULLTERMINATED: return cstring_makeLiteralTemp ("nullterminated");
- case QU_RETURNED: return cstring_makeLiteralTemp (" returned");
- case QU_EXPOSED: return cstring_makeLiteralTemp ("exposed");
- case QU_EXITS: return cstring_makeLiteralTemp ("exits");
- case QU_MAYEXIT: return cstring_makeLiteralTemp ("mayexit");
- case QU_UNUSED: return cstring_makeLiteralTemp ("unused");
- case QU_EXTERNAL: return cstring_makeLiteralTemp ("external");
- case QU_SEF: return cstring_makeLiteralTemp ("sef");
- case QU_OBSERVER: return cstring_makeLiteralTemp ("observer");
- case QU_REFCOUNTED: return cstring_makeLiteralTemp ("refcounted");
- case QU_REFS: return cstring_makeLiteralTemp ("refs");
- case QU_NEWREF: return cstring_makeLiteralTemp ("newref");
- case QU_KILLREF: return cstring_makeLiteralTemp ("killref");
- case QU_TEMPREF: return cstring_makeLiteralTemp ("tempref");
- case QU_OWNED: return cstring_makeLiteralTemp ("owned");
- case QU_DEPENDENT: return cstring_makeLiteralTemp ("dependent");
- case QU_NEVEREXIT: return cstring_makeLiteralTemp ("neverexit");
- case QU_TRUEEXIT: return cstring_makeLiteralTemp ("trueexit");
- case QU_FALSEEXIT: return cstring_makeLiteralTemp ("falseexit");
- case QU_UNDEF: return cstring_makeLiteralTemp ("undef");
- case QU_KILLED: return cstring_makeLiteralTemp ("killed");
- case QU_PRINTFLIKE: return cstring_makeLiteralTemp ("printflike");
- case QU_SCANFLIKE: return cstring_makeLiteralTemp ("scanflike");
- case QU_MESSAGELIKE:return cstring_makeLiteralTemp ("messagelike");
- case QU_LAST: return cstring_makeLiteralTemp ("< last >");
+ return (annotationInfo_unparse (q->info));
+ }
+ else
+ {
+ switch (q->kind)
+ {
+ case QU_UNKNOWN: return cstring_makeLiteralTemp ("unknown");
+ case QU_ABSTRACT: return cstring_makeLiteralTemp ("abstract");
+ case QU_NUMABSTRACT:return cstring_makeLiteralTemp ("numabstract");
+ case QU_CONCRETE: return cstring_makeLiteralTemp ("concrete");
+ case QU_MUTABLE: return cstring_makeLiteralTemp ("mutable");
+ case QU_IMMUTABLE: return cstring_makeLiteralTemp ("immutable");
+ case QU_SHORT: return cstring_makeLiteralTemp ("short");
+ case QU_LONG: return cstring_makeLiteralTemp ("long");
+ case QU_SIGNED: return cstring_makeLiteralTemp ("signed");
+ case QU_UNSIGNED: return cstring_makeLiteralTemp ("unsigned");
+ case QU_CONST: return cstring_makeLiteralTemp ("const");
+ case QU_RESTRICT: return cstring_makeLiteralTemp ("restrict");
+ case QU_VOLATILE: return cstring_makeLiteralTemp ("volatile");
+ case QU_INLINE: return cstring_makeLiteralTemp ("inline");
+ case QU_EXTERN: return cstring_makeLiteralTemp ("extern");
+ case QU_STATIC: return cstring_makeLiteralTemp ("static");
+ case QU_AUTO: return cstring_makeLiteralTemp ("auto");
+ case QU_REGISTER: return cstring_makeLiteralTemp ("register");
+ case QU_OUT: return cstring_makeLiteralTemp ("out");
+ case QU_IN: return cstring_makeLiteralTemp ("in");
+ case QU_RELDEF: return cstring_makeLiteralTemp ("reldef");
+ case QU_ONLY: return cstring_makeLiteralTemp ("only");
+ case QU_IMPONLY: return cstring_makeLiteralTemp ("only");
+ case QU_PARTIAL: return cstring_makeLiteralTemp ("partial");
+ case QU_SPECIAL: return cstring_makeLiteralTemp ("special");
+ case QU_KEEP: return cstring_makeLiteralTemp ("keep");
+ case QU_KEPT: return cstring_makeLiteralTemp ("kept");
+ case QU_YIELD: return cstring_makeLiteralTemp ("yield");
+ case QU_TEMP: return cstring_makeLiteralTemp ("temp");
+ case QU_SHARED: return cstring_makeLiteralTemp ("shared");
+ case QU_UNIQUE: return cstring_makeLiteralTemp ("unique");
+ case QU_UNCHECKED: return cstring_makeLiteralTemp ("unchecked");
+ case QU_CHECKED: return cstring_makeLiteralTemp ("checked");
+ case QU_CHECKMOD: return cstring_makeLiteralTemp ("checkmod");
+ case QU_CHECKEDSTRICT: return cstring_makeLiteralTemp ("checkedstrict");
+ case QU_TRUENULL: return cstring_makeLiteralTemp ("truenull");
+ case QU_FALSENULL: return cstring_makeLiteralTemp ("falsenull");
+ case QU_NULL: return cstring_makeLiteralTemp ("null");
+ case QU_ISNULL: return cstring_makeLiteralTemp ("isnull");
+ case QU_RELNULL: return cstring_makeLiteralTemp ("relnull");
+ case QU_NOTNULL: return cstring_makeLiteralTemp ("notnull");
+ case QU_NULLTERMINATED: return cstring_makeLiteralTemp ("nullterminated");
+ case QU_RETURNED: return cstring_makeLiteralTemp ("returned");
+ case QU_EXPOSED: return cstring_makeLiteralTemp ("exposed");
+ case QU_EXITS: return cstring_makeLiteralTemp ("noreturn");
+ case QU_MAYEXIT: return cstring_makeLiteralTemp ("maynotreturn");
+ case QU_UNUSED: return cstring_makeLiteralTemp ("unused");
+ case QU_EXTERNAL: return cstring_makeLiteralTemp ("external");
+ case QU_SEF: return cstring_makeLiteralTemp ("sef");
+ case QU_OBSERVER: return cstring_makeLiteralTemp ("observer");
+ case QU_REFCOUNTED: return cstring_makeLiteralTemp ("refcounted");
+ case QU_REFS: return cstring_makeLiteralTemp ("refs");
+ case QU_NEWREF: return cstring_makeLiteralTemp ("newref");
+ case QU_KILLREF: return cstring_makeLiteralTemp ("killref");
+ case QU_TEMPREF: return cstring_makeLiteralTemp ("tempref");
+ case QU_OWNED: return cstring_makeLiteralTemp ("owned");
+ case QU_DEPENDENT: return cstring_makeLiteralTemp ("dependent");
+ case QU_NEVEREXIT: return cstring_makeLiteralTemp ("alwaysreturns");
+ case QU_TRUEEXIT: return cstring_makeLiteralTemp ("noreturnwhentrue");
+ case QU_FALSEEXIT: return cstring_makeLiteralTemp ("noreturnwhenfalse");
+ case QU_UNDEF: return cstring_makeLiteralTemp ("undef");
+ case QU_KILLED: return cstring_makeLiteralTemp ("killed");
+ case QU_PRINTFLIKE: return cstring_makeLiteralTemp ("printflike");
+ case QU_SCANFLIKE: return cstring_makeLiteralTemp ("scanflike");
+ case QU_MESSAGELIKE:return cstring_makeLiteralTemp ("messagelike");
+ case QU_SETBUFFERSIZE: return cstring_makeLiteralTemp("<qsetbuffersize>");
+ case QU_LAST: return cstring_makeLiteralTemp ("< last >");
+ case QU_USERANNOT: return cstring_makeLiteralTemp ("<user>");
+ }
}
-
+
BADEXIT;
}
+qual qual_abstractFromCodeChar (char c)
+{
+ switch (c) {
+ case '-': return qual_createUnknown ();
+ case 'a': return qual_createAbstract ();
+ case 'n': return qual_createNumAbstract ();
+ case 'c': return qual_createConcrete ();
+ BADDEFAULT;
+ }
+}
+
+char qual_abstractCode (qual q)
+{
+ switch (q->kind) {
+ case QU_UNKNOWN: return '-';
+ case QU_ABSTRACT: return 'a';
+ case QU_NUMABSTRACT: return 'n';
+ case QU_CONCRETE: return 'c';
+ BADDEFAULT;
+ }
+}
+
+extern bool qual_match (qual q1, qual q2)
+{
+ if (q1->kind == q2->kind) {
+ if (q1->kind == QU_USERANNOT) {
+ return (annotationInfo_equal (q1->info, q2->info));
+ } else {
+ return TRUE;
+ }
+ }
+
+ return FALSE;
+}
+
+extern annotationInfo qual_getAnnotationInfo (qual q)
+{
+ llassert (qual_isMetaState (q));
+ return q->info;
+}
+
+extern cstring qual_dump (qual q)
+{
+ llassert (isinit);
+
+ if (q->kind == QU_USERANNOT)
+ {
+ return message ("%d.%s",
+ (int) q->kind,
+ annotationInfo_dump (q->info));
+ }
+ else
+ {
+ return message ("%d", (int) q->kind);
+ }
+}
+
+
+extern qual qual_undump (char **s)
+{
+ quenum q = (quenum) reader_getInt (s);
+ llassert (isinit);
+
+ if (q == QU_USERANNOT)
+ {
+ annotationInfo ai;
+
+ reader_checkChar (s, '.');
+ ai = annotationInfo_undump (s);
+
+ return qual_createMetaState (ai);
+ }
+ else
+ {
+ return qual_createPlain (q);
+ }
+}
+
+
andersk / splint.git / blobdiff