X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/77d3741943947b83a5d6a10a5e31650a1005dbde..fba0ed37f95964cd644ddfe0931fddd9ab452a17:/src/lclsyntable.c diff --git a/src/lclsyntable.c b/src/lclsyntable.c index 43a968b..4c3f171 100644 --- a/src/lclsyntable.c +++ b/src/lclsyntable.c @@ -17,8 +17,8 @@ ** 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 */ /* @@ -37,7 +37,7 @@ ** CREATION DATE: 90.08.10 */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "lcltokentable.h" # include "lclsyntable.h" @@ -121,7 +121,8 @@ AllocSynTable (void) /*@globals SynTable; @*/ { /* First time SynTable allocated. Set initial size. */ newSize = INITSYNTABLE; - SynTable = (lsymbol *) dmalloc (newSize * sizeof (*SynTable)); + SynTable = (lsymbol *) dmalloc + (size_fromLongUnsigned (newSize * sizeof (*SynTable))); } else { @@ -131,7 +132,8 @@ AllocSynTable (void) /*@globals SynTable; @*/ /* Synonym table already allocated. Calulate extension size. */ newSize = (unsigned long) (DELTASYNTABLE * oldSize); - SynTable = (lsymbol *) dmalloc (newSize * sizeof (*SynTable)); + SynTable = (lsymbol *) dmalloc + (size_fromLongUnsigned (newSize * sizeof (*SynTable))); for (i = 0; i < oldSize; i++) {