X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/885824d34f6f6626fde2fb041801408cbaf1f6f1..061ece7d6fedbde47030222fea74b575c12707dc:/src/lcltokentable.c diff --git a/src/lcltokentable.c b/src/lcltokentable.c index b1e124d..3c2ab73 100644 --- a/src/lcltokentable.c +++ b/src/lcltokentable.c @@ -1,6 +1,6 @@ /* -** 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 @@ -17,9 +17,9 @@ ** 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 */ /* ** tokentable.c @@ -28,8 +28,8 @@ ** This table stores predefined tokens for LCL. */ -# include "lclintMacros.nf" -# include "llbasic.h" +# include "splintMacros.nf" +# include "basic.h" # include "lcltokentable.h" static long unsigned MaxToken; @@ -161,7 +161,8 @@ static void { newSize = INITTOKENTABLE; llassert (LCLTokenTable == NULL); - LCLTokenTable = (ltoken *) dmalloc (newSize * sizeof (*LCLTokenTable)); + LCLTokenTable = (ltoken *) dmalloc + (size_fromLongUnsigned (newSize * sizeof (*LCLTokenTable))); } else { @@ -170,7 +171,8 @@ static void llassert (oldLCLTokenTable != NULL); newSize = (long unsigned) (DELTATOKENTABLE * oldSize); - LCLTokenTable = (ltoken *) dmalloc (newSize * sizeof (*LCLTokenTable)); + LCLTokenTable = (ltoken *) dmalloc + (size_fromLongUnsigned (newSize * sizeof (*LCLTokenTable))); for (i = 0; i < oldSize; i++) {