/*
** Splint - annotation-assisted static program checker
-** Copyright (C) 1994-2002 University of Virginia,
+** Copyright (C) 1994-2003 University of Virginia,
** Massachusetts Institute of Technology
**
** This program is free software; you can redistribute it and/or modify it
return qt;
}
-# ifndef NOLCL
qtype qtype_addQualList (/*@returned@*/ qtype qt, qualList ql)
{
if (qtype_isDefined (qt))
return qt;
}
-# endif
static void checkAltQuals (qtype q)
{
}
}
-# ifndef NOLCL
qtype qtype_mergeImplicitAlt (/*@returned@*/ qtype q1, /*@only@*/ qtype q2)
{
if (qtype_isDefined (q1) && qtype_isDefined (q2))
qtype_free (q2);
return q1;
}
-# endif
qtype qtype_mergeAlt (/*@returned@*/ qtype q1, /*@only@*/ qtype q2)
{
pointers_free (n);
}
-# ifndef NOLCL
qtype qtype_copy (qtype q)
{
if (qtype_isDefined (q))
return qtype_undefined;
}
}
-# endif