---

general.c File Reference

#include "lclintMacros.nf"
#include "basic.h"
#include "portab.h"
#include <stdlib.h>

Go to the source code of this file.

Functions
void	sfree (void *x)
void	sfreeEventually (void *x)
void*	dimalloc (size_t size, char *name, int line)
void*	dicalloc (size_t num, size_t size, char *name, int line)
void*	direalloc ( void *x, size_t size, char *name, int line)
char*	FormatInt (int i)
bool	isCext (char *ext)
bool	isLCLfile (cstring s)
char*	removeExtension ( char *s, const char *suffix)
bool	firstWord (char *s, char *w)
char*	removePath (char *s)
char*	removePathFree ( char *s)
void	mstring_markFree (char *s)
char*	removeAnyExtension (char *s)
char*	addExtension (char *s, const char *suffix)
int	getInt (char **s)
char	loadChar (char **s)
double	getDouble (char **s)
char*	getWord (char **s)
bool	optCheckChar (char **s, char c)
void	docheckChar (char **s, char c, char *file, int line)
char*	mstring_spaces (int n)
char*	mstring_concat (const char *s1, const char *s2)
char*	mstring_concatFree ( char *s1, char *s2)
char*	mstring_concatFree1 ( char *s1, const char *s2)
char*	mstring_append ( char *s1, char c)
char*	mstring_copy (char *s1)
char*	mstring_safePrint (char *s)
char*	mstring_create (int n)
void	fputline (FILE *out, char *s)
int	int_log (int x)
long unsigned int	longUnsigned_fromInt (int x)
size_t	size_fromInt (int x)
int	size_toInt (size_t x)
long	size_toLong (size_t x)
char	char_fromInt (int x)
int	longUnsigned_toInt (long unsigned int x)
int	long_toInt (long int x)
bool	mstring_equalPrefix (const char *c1, const char *c2)
bool	mstring_equal ( const char *s1, const char *s2)
char*	filenameExtension ( char *s)
char*	removePreDirs (char *s)
void	checkUngetc (int c, FILE *f)
bool	isHeaderFile (cstring fname)

---

Function Documentation

char * FormatInt ( int i )

Definition at line 173 of file general.c. { char temp[255]; /* assume the integer has at most 254 digits */ char *outs; sprintf (temp, "%i", i); outs = (char *) dmalloc (sizeof (*outs) * (1 + strlen (temp))); strcpy (outs, temp); return (outs); }

char * addExtension ( char * s, const char * suffix )

Definition at line 304 of file general.c. Referenced by dumpState(), loadStandardState(), and loadState(). { if (strrchr (s, '.') == (char *) 0) { /* <<< was mstring_concatFree1 --- bug detected by lclint >>> */ return (mstring_concat (s, suffix)); } else { return mstring_copy (s); } }

char char_fromInt ( int x )

Definition at line 632 of file general.c. { llassert ((x >= (int)'\0') && (x <= (int)'~')); return ((char) x); }

void checkUngetc ( int c, FILE * f )

Definition at line 719 of file general.c. Referenced by swallowMacro(). { int res; llassert (c != EOF); res = ungetc (c, f); llassert (res == c); }

void * dicalloc ( size_t num, size_t size, char * name, int line )

Definition at line 130 of file general.c. { void *ret = (void *) calloc (num, size); if (ret == NULL) { llfatalerrorLoc (message ("Out of memory. Allocating %w bytes at %s:%d.", size_toLongUnsigned (size), cstring_fromChars (name), line)); } return ret; }

void * dimalloc ( size_t size, char * name, int line )

Definition at line 86 of file general.c. { /* static void *lastaddr = 0; static int numallocs = 0; static int numbad = 0; */ /* was malloc, use calloc to initialize to zero */ void *ret = (void *) calloc (1, size); /* numallocs++; if (ret < lastaddr) { numbad++; fprintf (stderr, "Bad alloc: %d / %d\n", numbad, numallocs); } lastaddr = ret; */ if (ret == NULL) { if (size == 0) { llbug (message ("Zero allocation at %q.", fileloc_unparseRaw (cstring_fromChars (name), line))); } else { llfatalerrorLoc (message ("Out of memory. Allocating %w bytes at %s:%d.", size_toLongUnsigned (size), cstring_fromChars (name), line)); } } /*@-null@*/ /* null okay for size = 0 */ return ret; /*@=null@*/ }

void * direalloc ( void * x, size_t size, char * name, int line )

Definition at line 145 of file general.c. { void *ret; if (x == NULL) { ret = (void *) dmalloc (size); } else { ret = (void *) realloc (x, size); } if (ret == NULL) { llfatalerrorLoc (message ("Out of memory. Allocating %w bytes at %s:%d.", size_toLongUnsigned (size), cstring_fromChars (name), line)); } return ret; }

void docheckChar ( char ** s, char c, char * file, int line )

Definition at line 439 of file general.c. { /*@unchecked@*/ static int nbadchars = 0; if (**s == c) { (*s)++; } else { nbadchars++; if (nbadchars > 5) { llfatalbug (cstring_makeLiteral ("checkChar: Too many errors. Check library is up to date.")); } else { llbug (message ("checkChar: %q: Bad char, expecting %h: %s", fileloc_unparseRaw (cstring_fromChars (file), line), c, cstring_fromChars (*s))); } } }

char * filenameExtension ( char * s )

Definition at line 694 of file general.c. Referenced by context_isSpecialFile(), isHeaderFile(), and isLCLfile(). { llassert (s != NULL); return (strrchr(s, '.')); }

bool firstWord ( char * s, char * w )

Definition at line 228 of file general.c. Referenced by o_fctInfo(), processImport(), sort_import(), and symtable_import(). { llassert (s != NULL); llassert (w != NULL); for (; *w != '\0'; w++, s++) { if (*w != *s || *s == '\0') return FALSE; } return TRUE; }

void fputline ( FILE * out, char * s )

Definition at line 573 of file general.c. { if (strlen (s) > 0) { check (fputs (s, out) != EOF); } check (fputc ('\n', out) == (int) '\n'); }

double getDouble ( char ** s )

Definition at line 385 of file general.c. { char *end = mstring_createEmpty (); double ret; ret = strtod (*s, &end); *s = end; return ret; }

int getInt ( char ** s )

Definition at line 318 of file general.c. Referenced by GETPRINTF(), ctype_undump(), multiVal_undump(), sRef_undump(), sRef_undumpGlobal(), typeIdSet_undump(), and uentry_undump(). { bool gotOne = FALSE; int i = 0; while (**s == ' ') { (*s)++; } if (**s == '-') { (*s)++; if (**s < '0' || **s > '9') { llbug (message ("getInt: bad int: %s", cstring_fromChars (*s))); } else { i = -1 * (int) (**s - '0'); gotOne = TRUE; } (*s)++; } while (**s >= '0' && **s <= '9') { i *= 10; i += (int) (**s - '0'); (*s)++; gotOne = TRUE; } if (!gotOne) { llbug (message ("No int to read: %s", cstring_fromChars (*s))); } while (**s == '\n' || **s == ' ' || **s == '\t') { (*s)++; } return i; }

char * getWord ( char ** s )

Definition at line 401 of file general.c. { char *res; char *t = *s; char c; while ((c = **s) != '\0' && (c != ' ') && (c != ',') && (c != '\n') && (c != '\t') && (c != '#')) { (*s)++; } if (*s == t) { return NULL; } **s = '\0'; res = mstring_copy (t); **s = c; return res; }

int int_log ( int x )

Definition at line 583 of file general.c. Referenced by filelocList_unparseUses(). { int ret = 1; while (x > 10) { ret++; x /= 10; } return ret; }

bool isCext ( char * ext )

Definition at line 187 of file general.c. Referenced by isLCLfile(), and main(). { return (!mstring_equal (ext, ".lcl") && !mstring_equal (ext, ".spc") && !mstring_equal (ext, ".ll")); }

bool isHeaderFile ( cstring fname )

Definition at line 728 of file general.c. { char *ext = filenameExtension (cstring_toCharsSafe (fname)); return (mstring_equal (ext, ".h") || mstring_equal (ext, ".H") || mstring_equal (ext, ".lh")); }

bool isLCLfile ( cstring s )

Definition at line 195 of file general.c. { char *ext; ext = filenameExtension (cstring_toCharsSafe (s)); if (ext != NULL) { return (!(isCext (ext))); } return (TRUE); }

char loadChar ( char ** s )

Definition at line 366 of file general.c. { char ret; while (**s == ' ') { (*s)++; } ret = **s; (*s)++; return ret; }

long unsigned int longUnsigned_fromInt ( int x )

Definition at line 598 of file general.c. { llassert (x >= 0); return (long unsigned) x; }

int longUnsigned_toInt ( long unsigned int x )

Definition at line 641 of file general.c. { int res = (int) x; llassert ((long unsigned) res == x); return res; }

int long_toInt ( long int x )

Definition at line 650 of file general.c. Referenced by cppGetToken(). { int res = (int) x; /*@+ignorequals@*/ llassert (res == x); /*@=ignorequals@*/ return res; }

char * mstring_append ( char * s1, char c )

Definition at line 520 of file general.c. Referenced by LCLScanLine(), and message(). { size_t l = strlen (s1); char *s; s = (char *) dmalloc (sizeof (*s) * (l + 2)); strcpy (s, s1); *(s + l) = c; *(s + l + 1) = '\0'; sfree (s1); return s; }

char * mstring_concat ( const char * s1, const char * s2 )

Definition at line 487 of file general.c. Referenced by addExtension(), outputLCSFile(), and processImport(). { char *s = (char *) dmalloc (strlen (s1) + strlen (s2) + 1); strcpy (s, s1); strcat (s, s2); return s; }

char * mstring_concatFree ( char * s1, char * s2 )

Definition at line 496 of file general.c. Referenced by lslOp_unparse(), and message(). { /* like mstring_concat but deallocates old strings */ char *s = (char *) dmalloc (strlen (s1) + strlen (s2) + 1); strcpy (s, s1); strcat (s, s2); sfree (s1); sfree (s2); return s; }

char * mstring_concatFree1 ( char * s1, const char * s2 )

Definition at line 509 of file general.c. Referenced by message(), and nd_charp(). { char *s = (char *) dmalloc (strlen (s1) + strlen (s2) + 1); strcpy (s, s1); strcat (s, s2); sfree (s1); return s; }

char * mstring_copy ( char * s1 )

Definition at line 535 of file general.c. Referenced by addExtension(), cppReader_initializeReader(), cstring_copy(), getWord(), main(), nd_charp(), processImport(), removeAnyExtension(), removeExtension(), removePath(), removePathFree(), tsource_fromString(), usymtab_printComplete(), and usymtab_printOut(). { if (s1 == NULL) { return NULL; } else { char *s = (char *) dmalloc ((strlen (s1) + 1) * sizeof (*s)); strcpy (s, s1); return s; } }

char * mstring_create ( int n )

Definition at line 563 of file general.c. Referenced by context_loadModuleAccess(), cstring_concat(), cstring_copyLength(), loadStandardState(), lsymbol_toCharsSafe(), summarizeErrors(), typeIdSet_loadTable(), and usymtab_load(). { char *s; s = dmalloc (sizeof (*s) * (n + 1)); *s = '\0'; return s; }

bool mstring_equal ( const char * s1, const char * s2 )

Definition at line 675 of file general.c. Referenced by LCLScanLine(), context_isSpecialFile(), isCext(), isHeaderFile(), lcllib_isSkipHeader(), main(), outputLCSFile(), and removeExtension(). { if (s1 == NULL) { return (s2 == NULL); } else { if (s2 == NULL) { return FALSE; } else { return (strcmp(s1, s2) == 0); } } }

bool mstring_equalPrefix ( const char * c1, const char * c2 )

Definition at line 660 of file general.c. Referenced by BUFLEN(), and cppReader_parseNumber(). { llassert (c1 != NULL); llassert (c2 != NULL); if (strncmp(c1, c2, strlen(c2)) == 0) { return TRUE; } else { return FALSE; } }

void mstring_markFree ( char * s )

Definition at line 278 of file general.c. Referenced by main(), and nd_charp(). { sfreeEventually (s); }

char * mstring_safePrint ( char * s )

Definition at line 550 of file general.c. { if (s == NULL) { return ("<undefined>"); } else { return s; } }

char * mstring_spaces ( int n )

Definition at line 466 of file general.c. { int i; char *ret; char *ptr; llassert (n >= 0); ret = (char *) dmalloc (size_fromInt (n + 1)); ptr = ret; for (i = 0; i < n; i++) { *ptr++ = ' '; } *ptr = '\0'; return ret; }

bool optCheckChar ( char ** s, char c )

Definition at line 425 of file general.c. Referenced by uentry_undump(). { if (**s == c) { (*s)++; return TRUE; } else { return FALSE; } }

char * removeAnyExtension ( char * s )

Definition at line 284 of file general.c. Referenced by callLSL(). { char *ret; char *t = strrchr (s, '.'); if (t == (char *) 0) { return mstring_copy (s); } /*@-mods@*/ *t = '\0'; ret = mstring_copy (s); *t = '.'; /*@=mods@*/ /* modification is undone */ return ret; }

char * removeExtension ( char * s, const char * suffix )

Definition at line 209 of file general.c. Referenced by context_exitLCLfile(), and lcllib_isSkipHeader(). { char *t = strrchr (s, '.'); char *s2; if (t == (char *) 0 || !mstring_equal (t, suffix)) { return mstring_copy (s); } /*@-mods@*/ *t = '\0'; s2 = mstring_copy (s); *t = '.'; /*@=mods@*/ /* Modification is undone. */ return s2; }

char * removePath ( char * s )

Definition at line 243 of file general.c. Referenced by callLSL(). { char *t = strrchr (s, CONNECTCHAR); if (t == NULL) return (mstring_copy (s)); else return (mstring_copy (t + 1)); }

char * removePathFree ( char * s )

Definition at line 253 of file general.c. { char *t = strrchr (s, CONNECTCHAR); # ifdef ALTCONNECTCHAR { char *at = strrchr (s, ALTCONNECTCHAR); if (t == NULL || (at > t)) { t = at; } } # endif if (t == NULL) { return (s); } else { char *res = mstring_copy (t + 1); mstring_free (s); return res; } }

char * removePreDirs ( char * s )

Definition at line 701 of file general.c. { while (*s == '.' && *(s + 1) == CONNECTCHAR) { s += 2; } # if defined(OS2) || defined(MSDOS) /* remove remainders from double path delimiters... */ while (*s == CONNECTCHAR) { ++s; } # endif /* !defined(OS2) && !defined(MSDOS) */ return s; }

void sfree ( void * x )

Definition at line 49 of file general.c. Referenced by LCLScanLine(), LCLSynTableCleanup(), LCLTokenTableCleanup(), MMASH(), REST_EXTENSION_LENGTH(), aliasTable_free(), aliasTable_levelUnionSeq(), callLSL(), clauseStack_free(), context_destroyMod(), context_loadModuleAccess(), cppCleanup(), cppReader_checkMacroName(), cppReader_define(), cppReader_deleteMacro(), cppReader_initializeReader(), cppReader_parseExpression(), cstringList_free(), cstringSList_free(), cstring_appendChar(), cstring_free(), ctypeList_free(), declaratorInvNodeList_free(), declaratorInvNode_free(), declaratorNodeList_free(), declaratorNode_free(), dumpState(), enumNameList_free(), enumNameSList_free(), exprNodeList_free(), exprNodeList_freeShallow(), exprNodeSList_free(), exprNode_free(), exprNode_freeShallow(), fcnNodeList_free(), fcnNode_free(), fileTable_addltemp(), fileTable_free(), filelocList_append(), filelocList_free(), filelocStack_free(), fileloc_free(), fileloc_reallyFree(), flagMarkerList_free(), flagMarker_free(), guardSet_free(), hashTable_free(), hashTable_insert(), idDeclList_free(), idDecl_free(), importCTrait(), importNodeList_free(), importNode_free(), initDeclNodeList_free(), initDeclNode_free(), intSet_free(), interfaceNodeList_free(), interfaceNode_free(), lcllib_isSkipHeader(), letDeclNodeList_free(), letDeclNode_free(), lhCleanup(), loadStandardState(), loadState(), lslOpList_free(), lslOpSet_free(), lslOp_free(), lsymbolList_free(), lsymbolSet_free(), lsymbol_destroyMod(), lsymbol_initMod(), lsynTableCleanup(), ltokenList_free(), ltokenTableCleanup(), ltoken_free(), macrocache_free(), main(), makeArrayNode(), mapping_free(), messageLog_free(), mstring_append(), mstring_concatFree(), mstring_concatFree1(), multiVal_free(), nameNode_free(), nd_charp(), outputLCSFile(), pairNodeList_free(), pairNode_free(), paramNodeList_free(), paramNode_free(), parseSignatures(), processImport(), programNodeList_free(), programNode_free(), qtype_free(), qualList_free(), quantifierNodeList_free(), quantifierNode_free(), replaceNodeList_free(), replaceNode_free(), sRefSetList_free(), sRefSet_free(), sRefTable_free(), sRef_free(), sigNodeSet_free(), sigNode_free(), signNode_free(), sortList_free(), sortSetList_free(), sortSet_free(), sort_destroyMod(), specFullName(), specialClauses_free(), stDeclNodeList_free(), stDeclNode_free(), storeRefNodeList_free(), storeRefNode_free(), summarizeErrors(), symtable_free(), termNodeList_free(), termNode_free(), traitRefNodeList_free(), traitRefNode_free(), tsource_free(), tsource_getPath(), typeExpr_free(), typeIdSet_destroyMod(), typeNameNodeList_free(), typeNameNode_free(), uentryList_free(), uentryList_mergeFields(), usymIdSet_free(), usymtab_load(), varDeclarationNodeList_free(), varDeclarationNode_free(), varInfo_free(), varNodeList_free(), and varNode_free(). { if (x != NULL) { /* fprintf (stderr, "Freeing: %ld\n", x); if ((unsigned long) x < 136000000 && (unsigned long) x > 135000000) { fprintf (stderr, "Looks bad!\n"); } */ free (x); /* fprintf (stderr, "Done.\n"); */ } }

void sfreeEventually ( void * x )

Definition at line 65 of file general.c. Referenced by cstring_markOwned(), ltoken_markOwned(), mstring_markFree(), sigNode_markOwned(), uentry_markOwned(), and argdata::use_count(). { if (x != NULL) { ; /* should keep in a table */ } /*@-mustfree@*/ }

size_t size_fromInt ( int x )

Definition at line 605 of file general.c. Referenced by LSLRootName(), cppReader_checkMacroName(), cppReader_initializeReader(), and cppReader_parseExpression(). { size_t res = (size_t) x; llassert ((int) res == x); return res; }

int size_toInt ( size_t x )

Definition at line 613 of file general.c. Referenced by FILE_NAME_MAP_FILE(), REST_EXTENSION_LENGTH(), cppReader_checkMacroName(), cstring_equalCanonicalPrefix(), cstring_length(), cstring_replaceLit(), lclctype_toSort(), lclctype_toSortDebug(), lhCleanup(), nd_charp(), and specFullName(). { int res = (int) x; llassert ((size_t) res == x); return res; }

long size_toLong ( size_t x )

Definition at line 621 of file general.c. { long res = (long) x; llassert ((size_t) res == x); return res; }

---