/*
** 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
}
s->nspace--;
- /*@i32@*/ s->elements[s->nelements] = el;
+ s->elements[s->nelements] = el;
s->nelements++;
- /*@i32@*/ return s;
+ return s;
}
functionClauseList functionClauseList_prepend (functionClauseList s, /*@keep@*/ functionClause el)
if (!functionClauseList_isDefined (s))
{
- /*@i32@*/ return functionClauseList_single (el);
+ return functionClauseList_single (el);
}
if (s->nspace <= 0)
s->elements[i] = s->elements [i - 1];
}
- /*@i32@*/ s->elements[0] = el;
+ s->elements[0] = el;
s->nelements++;
-
- /*@i32@*/ return s;
+
+ return s;
}
cstring
else
{
llassert (FALSE);
- /*@i2523 fix this */
}
}
}