/*
** 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
void valueTable_insert (valueTable h, cstring key, stateValue value)
{
+ llassert (stateValue_isDefined (value));
genericTable_insert ((genericTable) (h), key, (void *) (value));
}
void valueTable_update (valueTable h, cstring key, stateValue newval)
{
DPRINTF (("Update: %s -> %s", key, stateValue_unparse (newval)));
-
+ llassert (stateValue_isDefined (newval));
genericTable_update ((genericTable) (h), key, (void *) (newval));
}