| /dports/devel/splint/splint-3.1.2/src/ |
| H A D | uentryList.c | 124 st = message ("%q;", uentry_unparse (s->elements[i])); in uentryList_unparse()
127 st = message ("%q %q;", st, uentry_unparse (s->elements[i])); in uentryList_unparse()
564 DPRINTF (("Dump param: %s", uentry_unparse (current))); in uentryList_dumpParams()
583 DPRINTF (("Dump field: %s", uentry_unparse (current))); in uentryList_dumpFields()
588 DPRINTF (("Dump field: %s", uentry_unparse (current))); in uentryList_dumpFields()
800 uentry_unparse (cp1)), in uentryList_showFieldDifference()
845 uentry_unparse (cp2)), in uentryList_showFieldDifference()
|
| H A D | mtscanner.c | 302 DPRINTF (("Found it: %s / %s", uentry_unparse (ue), in mtscanner_lookupType()
312 DPRINTF (("Making mts entry: %s", uentry_unparse (ue))); in mtscanner_lookupType()
|
| H A D | clabstract.c | 432 uentry_unparse (ue), ctype_unparse (ctype_bool))); in declareEnumList()
524 DPRINTF (("setImplicitfcnConstraints doing: %s", uentry_unparse(el))); in setImplicitfcnConstraints()
709 fileloc_unparse (g_currentloc), uentry_unparse (e))); in oldStyleDeclareFunction()
731 fileloc_unparse (g_currentloc), uentry_unparse (e))); in oldStyleCompleteFunction()
890 DPRINTF (("Sub global entry: %s", uentry_unparse (ue))); in declareStaticFunction()
1001 uentry_unparse (ue), in checkTypeDecl()
1340 uentry_unparse (ue), warnClause_unparse (warn))); in clabstract_declareType()
1497 uentry_unparse (e)), in processVariable()
|
| H A D | uentry.c | 579 uentry_unparse (ue) ) ) ); in uentry_getFunctionConditions()
588 uentry_unparse (ue) ) )); in uentry_getFunctionConditions()
1149 uentry_unparse (ue), in uentry_reflectClauses()
2138 uentry_unparse (ue)), in uentry_reflectOtherQualifier()
2238 uentry_unparse (ue)), in uentry_reflectOtherQualifier()
2302 uentry_unparse (ue)), in uentry_reflectOtherQualifier()
2503 uentry_unparse (ue)), in uentry_reflectOtherQualifier()
2578 uentry_unparse (ue)), in uentry_reflectQualifiers()
5315 uentry_unparse (uentry v) in uentry_unparse() function
5773 uentry_unparse (l), in uentry_getGlobs()
[all …]
|
| H A D | context.c | 1873 DPRINTF (("Enter function: %s", uentry_unparse (e))); in context_enterFunction()
1885 DPRINTF (("Enter function: %s / %s", uentry_unparse (e), in context_enterFunction()
1919 DPRINTF (("Enter function: %s", uentry_unparse (e))); in context_completeOldStyleFunction()
1931 DPRINTF (("Enter function: %s / %s", uentry_unparse (e), in context_completeOldStyleFunction()
1939 fileloc_unparse (g_currentloc), uentry_unparse (e))); in context_completeOldStyleFunction()
1952 fileloc_unparse (g_currentloc), uentry_unparse (e))); in context_completeOldStyleFunction()
2549 DPRINTF (("Exit function: %s", uentry_unparse (gc.cont.fcn))); in context_exitFunction()
3216 uentry_unparse (gc.cont.fcn), in context_unparse()
3222 s = message ("Function Macro %q", uentry_unparse (gc.cont.fcn)); in context_unparse()
3228 s = message ("Constant Macro %q", uentry_unparse (gc.cont.fcn)); in context_unparse()
[all …]
|
| H A D | usymtab.c | 480 uentry_unparse (e))); in usymtab_addEntryQuiet()
527 DPRINTF (("Duplicate entry: %s", uentry_unparse (e))); in usymtab_addEntryBase()
690 ("Entry already exists: %s", uentry_unparse (e))); in usymtab_addEntry()
791 DPRINTF (("Found entry: %s", uentry_unparse (ce))); in usymtab_supEntryAux()
930 uentry_unparse (e))); in usymtab_supEntryAux()
1374 DPRINTF (("Sup global entry: %s", uentry_unparse (e))); in usymtab_supGlobalEntry()
1390 DPRINTF (("File entry: %s", uentry_unparse (e))); in usymtab_supReturnFileEntry()
1689 uentry_unparse (ue), uid, in usymtab_convertId()
1690 uentry_unparse (utab->entries[ret]), ret)); in usymtab_convertId()
2381 DPRINTF (("Enter function: %s", uentry_unparse (fcn))); in usymtab_enterFunctionScope()
[all …]
|
| H A D | message.c | 256 (uentry_unparse (va_arg (pvar, uentry))));
|
| H A D | exprChecks.c | 1016 uentry_unparse(ue), constraintList_unparseDetailed(c)))); in exprNode_checkFunction()
1020 DPRINTF((message ("The Function %s has no preconditions", uentry_unparse(ue)))); in exprNode_checkFunction()
1578 uentry_unparse (rval))); in checkSafeReturnExpr()
1585 uentry_unparse (rval))); in checkSafeReturnExpr()
|
| H A D | mtContextNode.c | 105 mtContextNode_unparse (context), uentry_unparse (ue))); in mtContextNode_matchesEntry()
|
| H A D | nameChecks.c | 1359 DPRINTF (("Okay...: %s", uentry_unparse (ue))); in checkAnsiName()
|
| H A D | exprNode.c | 967 DPRINTF (("create id: %s", uentry_unparse (c))); in exprNode_createId()
2929 uentry_unparse (le))); in checkGlobMods()
3244 llbug (message ("Global not variable: %q", uentry_unparse (glob))); in checkGlobUse()
3263 uentry_unparse (le), in reflectEnsuresClause()
3387 DPRINTF (("Meta state constraint for %s: %s", uentry_unparse (le), in reflectEnsuresClause()
3611 uentry_unparse (le), in checkRequiresClause()
|
| H A D | cscannerHelp.c | 2428 uentry_unparse (e2))); in cscannerHelp_processMacro()
|
| H A D | cpplib.c | 7959 DPRINTF (("Lookup macro: %s", uentry_unparse (ue))); in cpp_shouldCheckMacro()
|
| /dports/devel/splint/splint-3.1.2/src/Headers/ |
| H A D | uentry.h | 342 extern cstring uentry_unparse (uentry p_v) /*@*/ ;
|