** 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 information on splint: info@splint.org
+** To report a bug: splint-bug@splint.org
** For more information: http://www.splint.org
*/
/*
** globalsClause.c
*/
-# include "lclintMacros.nf"
+# include "splintMacros.nf"
# include "basic.h"
extern globalsClause
extern void globalsClause_free (globalsClause gclause)
{
+ if (gclause == NULL)
+ {
+ return; /*@i435 shouldn't ever need this? */
+ }
+
globSet_free (gclause->globs);
sfree (gclause);
}