/*
** 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
** 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
*/
/*
* instead of fileloc_unparseFilename().
*/
-# include "lclintMacros.nf"
-# include "llbasic.h"
-# include "fileIdList.h"
+# include "splintMacros.nf"
+# include "basic.h"
# include "osd.h"
# include "portab.h"
-static /*@only@*/ fileloc fileloc_createPrim (flkind p_kind, fileId p_fid, int p_line, int p_col);
+static /*@only@*/ fileloc fileloc_createPrim (flkind p_kind, fileId p_fid, int p_line, int p_col) /*@*/ ;
+
+/*
+** builtin locs are never free'd
+*/
+
+static /*@owned@*/ fileloc s_builtinLoc = fileloc_undefined;
+static /*@owned@*/ fileloc s_externalLoc = fileloc_undefined;
+
+void fileloc_destroyMod ()
+{
+ if (fileloc_isDefined (s_builtinLoc))
+ {
+ sfree (s_builtinLoc);
+ s_builtinLoc = fileloc_undefined;
+ }
+
+ if (fileloc_isDefined (s_externalLoc))
+ {
+ sfree (s_externalLoc);
+ s_externalLoc = fileloc_undefined;
+ }
+}
static flkind fileId_kind (fileId s)
{
- cstring fname = rootFileName (s);
+ cstring fname = fileTable_rootFileName (s);
if (fileLib_isLCLFile (fname))
{
{
fileloc ret = fileloc_copy (f);
+ llassert (x >= 0);
+
if (x > 0 && fileloc_isDefined (ret))
{
llassertprint (ret->column > x, ("decColumn: %d", x));
{
llassert (fileloc_isDefined (f));
- return (fileNameBase (f->fid));
+ return (fileTable_fileNameBase (f->fid));
}
bool
/*@noaccess fileId@*/
}
-# ifndef NOLCL
bool
fileloc_isStandardLibrary (fileloc f)
{
|| cstring_equalLit (s, LLPOSIXSTRICTLIBS_NAME)
|| cstring_equalLit (s, LLPOSIXLIBS_NAME));
}
-# endif
bool
fileloc_sameFileAndLine (fileloc f1, fileloc f2)
cstring s1 = fileloc_getBase (f1);
cstring s2 = fileloc_getBase (f2);
- return (cstring_equal (s1, s2));
+ return (cstring_equal (s1, s2));
}
}
}
}
}
-# ifndef NOLCL
/*@only@*/ fileloc
fileloc_fromTok (ltoken t)
{
return (fl);
}
-# endif
/*@only@*/ fileloc
fileloc_createLib (cstring ln)
fileloc fileloc_getExternal (void)
{
- static /*@owned@*/ fileloc res = fileloc_undefined;
-
- if (res == fileloc_undefined)
+ if (s_externalLoc == fileloc_undefined)
{
- res = fileloc_createPrim (FL_EXTERNAL, fileId_invalid, 0, 0);
+ s_externalLoc = fileloc_createPrim (FL_EXTERNAL, fileId_invalid, 0, 0);
}
- return res;
+ return s_externalLoc;
}
fileloc fileloc_observeBuiltin ()
return (fileloc_createPrim (FL_PREPROC, fileId_invalid, 0, 0));
}
+/* We pretend the result is only, because fileloc_free doesn't free it! */
/*@only@*/ fileloc
fileloc_createBuiltin ()
{
- return (fileloc_createPrim (FL_BUILTIN, fileId_invalid, 0, 0));
+ if (fileloc_isUndefined (s_builtinLoc))
+ {
+ s_builtinLoc = fileloc_createPrim (FL_BUILTIN, fileId_invalid, 0, 0);
+ }
+
+ /*@-globstate@*/ /*@-retalias@*/
+ return s_builtinLoc;
+ /*@=globstate@*/ /*@=retalias@*/
}
-# ifndef NOLCL
/*@only@*/ fileloc
fileloc_createImport (cstring fname, int lineno)
{
return (fileloc_createPrim (FL_IMPORT, fid, lineno, 0));
}
-# endif
static /*@only@*/ fileloc
fileloc_createPrim (flkind kind, fileId fid, int line, int col)
return (f);
}
-# ifndef NOLCL
/*@only@*/ fileloc
fileloc_createSpec (fileId fid, int line, int col)
{
return (fileloc_createPrim (FL_SPEC, fid, line, col));
}
-# endif
fileloc fileloc_create (fileId fid, int line, int col)
{
/*@observer@*/ cstring
fileloc_filename (fileloc f)
{
- return (fileloc_isDefined (f) ? rootFileName (f->fid) : cstring_makeLiteralTemp ("<unknown>"));
+ return (fileloc_isDefined (f) ? fileTable_rootFileName (f->fid) : cstring_makeLiteralTemp ("<unknown>"));
}
/*@only@*/ cstring fileloc_outputFilename (fileloc f)
{
if (fileloc_isDefined (f))
{
- return osd_outputPath (rootFileName (f->fid));
+ if (fileId_isValid (f->fid))
+ {
+ return osd_outputPath (fileTable_rootFileName (f->fid));
+ }
+ else
+ {
+ return cstring_makeLiteral ("<invalid>");
+ }
}
else
{
/*@only@*/ cstring
fileloc_unparse (fileloc f)
{
+ static bool in_funparse = FALSE;
bool parenFormat = context_getFlag (FLG_PARENFILEFORMAT);
+ bool htmlFormat = context_getFlag (FLG_HTMLFILEFORMAT);
+ cstring res = cstring_undefined;
+
+ /* watch out for recursive calls when debugging... */
+ llassert (!in_funparse);
+ in_funparse = TRUE;
if (fileloc_isDefined (f))
{
switch (f->kind)
{
case FL_BUILTIN:
- return (cstring_makeLiteral ("Command Line"));
+ {
+ res = cstring_makeLiteral ("Command Line");
+ break;
+ }
case FL_IMPORT:
if (parenFormat)
{
- return (message ("import file %q(%d)", fileloc_outputFilename (f), f->lineno));
+ res = message ("import file %q(%d)", fileloc_outputFilename (f), f->lineno);
}
else
{
- return (message ("import file %q:%d", fileloc_outputFilename (f), f->lineno));
+ res = message ("import file %q:%d", fileloc_outputFilename (f), f->lineno);
}
+ break;
case FL_PREPROC:
- if (parenFormat)
- {
- return (message ("%q(%d)", fileloc_outputFilename (f), f->lineno));
- }
- else
- {
- return (message ("%q:%d", fileloc_outputFilename (f), f->lineno));
- }
+ {
+ if (parenFormat)
+ {
+ res = message ("%q(%d)", fileloc_outputFilename (f), f->lineno);
+ }
+ else
+ {
+ res = message ("%q:%d", fileloc_outputFilename (f), f->lineno);
+ }
+
+ break;
+ }
case FL_EXTERNAL:
- return (cstring_makeLiteral ("<external>"));
+ res = cstring_makeLiteral ("<external>");
+ break;
default:
{
cstring fname;
if (f->kind == FL_LIB)
{
fname = message ("load file %q", fileloc_outputFilename (f));
+
+ if (!context_getFlag (FLG_SHOWLOADLOC))
+ {
+ res = fname;
+ break;
+ }
}
else
{
{
if (parenFormat)
{
- return (message ("%q(%d,%d)", fname, f->lineno, f->column));
+ res = message ("%q(%d,%d)", fname, f->lineno, f->column);
}
else
{
- return (message ("%q:%d:%d", fname, f->lineno, f->column));
+ res = message ("%q:%d:%d", fname, f->lineno, f->column);
}
}
else
{
if (parenFormat)
{
- return (message ("%q(%d)", fname, f->lineno));
+ res = message ("%q(%d)", fname, f->lineno);
}
else
{
- return (message ("%q:%d", fname, f->lineno));
+ res = message ("%q:%d", fname, f->lineno);
}
}
}
-
- return fname;
+ else
+ {
+ res = fname;
+ /*@-branchstate@*/ /* spurious warnings reporteded because of break above */
+ }
}
else if (fileloc_linenoDefined (f))
{
if (parenFormat)
{
- return (message ("%q(%d)", fname, f->lineno));
+ res = message ("%q(%d)", fname, f->lineno);
}
else
{
- return (message ("%q:%d", fname, f->lineno));
+ res = message ("%q:%d", fname, f->lineno);
}
}
else
{
- return fname;
+ res = fname;
}
}
}
- }
- return (cstring_makeLiteral ("< Location unknown >"));
+ if (htmlFormat && fileloc_linenoDefined (f))
+ {
+ res = message ("<a href=\"#line%d\">%s</a>", f->lineno, res);
+ }
+ }
+ else
+ {
+ res = cstring_makeLiteral ("< Location unknown >");
+ }
+ /*@=branchstate@*/ /* this is a spurious warning because of the break */
+
+ in_funparse = FALSE;
+ return res;
}
/*@only@*/ cstring
fileloc_unparseRaw (cstring fname, int lineno)
{
- bool parenFormat = context_getFlag (FLG_PARENFILEFORMAT);
-
- if (parenFormat)
+ if (!cstring_isEmpty (fname))
{
- return (message ("%q(%d)", osd_outputPath (fname), lineno));
+ bool parenFormat = context_getFlag (FLG_PARENFILEFORMAT);
+
+ if (parenFormat)
+ {
+ return (message ("%q(%d)", osd_outputPath (fname), lineno));
+ }
+ else
+ {
+ return (message ("%q:%d", osd_outputPath (fname), lineno));
+ }
}
else
{
- return (message ("%q:%d", osd_outputPath (fname), lineno));
+ return cstring_makeLiteral ("Command Line");
}
}
/*@only@*/ cstring
fileloc_unparseRawCol (cstring fname, int lineno, int col)
{
- if (context_getFlag (FLG_SHOWCOL))
+ if (!cstring_isEmpty (fname))
{
- bool parenFormat = context_getFlag (FLG_PARENFILEFORMAT);
-
- if (parenFormat)
+ if (context_getFlag (FLG_SHOWCOL))
{
- return (message ("%q(%d,%d)", osd_outputPath (fname), lineno, col));
+ bool parenFormat = context_getFlag (FLG_PARENFILEFORMAT);
+
+ if (parenFormat)
+ {
+ return (message ("%q(%d,%d)", osd_outputPath (fname), lineno, col));
+ }
+ else
+ {
+ return (message ("%q:%d:%d", osd_outputPath (fname), lineno, col));
+ }
}
else
{
- return (message ("%q:%d:%d", osd_outputPath (fname), lineno, col));
+ return fileloc_unparseRaw (fname, lineno);
}
}
else
{
- return fileloc_unparseRaw (fname, lineno);
+ return cstring_makeLiteral ("Command Line");
}
}