/dports/devel/splint/splint-3.1.2/src/ |
H A D | fileloc.c | 46 static /*@owned@*/ fileloc s_builtinLoc = fileloc_undefined; 47 static /*@owned@*/ fileloc s_externalLoc = fileloc_undefined; 54 s_builtinLoc = fileloc_undefined; in fileloc_destroyMod() 60 s_externalLoc = fileloc_undefined; in fileloc_destroyMod() 114 return fileloc_undefined; in fileloc_noColumn() 148 return fileloc_undefined; in fileloc_copy() 157 return fileloc_undefined; in fileloc_update() 502 if (s_externalLoc == fileloc_undefined) in fileloc_getExternal() 517 static /*@owned@*/ fileloc res = fileloc_undefined; in fileloc_getBuiltin() 519 if (res == fileloc_undefined) in fileloc_getBuiltin()
|
H A D | uentry.c | 910 fileloc_undefined); in reflectImplicitFunctionQualifiers() 999 e->whereDefined = fileloc_undefined; in uentry_makeFunctionAux() 3216 fileloc_undefined); in uentry_makeIdConstant() 3743 fileloc_undefined, in uentry_makeForwardFunction() 4317 e->whereDefined = fileloc_undefined; in uentry_makeConstantBase() 4353 e->whereDefined = fileloc_undefined; in uentry_makeVariableBase() 5987 return fileloc_undefined; in uentry_whereLast() 9327 fileloc_undefined); in uentry_checkConformance() 9559 posLoc = fileloc_undefined; in uentry_clearDecl() 9598 posLoc = fileloc_undefined; in uentry_checkDecl() [all …]
|
H A D | filelocList.c | 107 return (filelocList_add (s, fileloc_undefined)); in filelocList_addUndefined() 170 s->elements[0] = fileloc_undefined; in filelocList_add()
|
H A D | clabstract.c | 72 static /*@dependent@*/ fileloc saveStoreLoc = fileloc_undefined; 113 uentry_setUsed (el, fileloc_undefined); in reflectArgsUsed() 209 sRef_setDefState (sr, defstate, fileloc_undefined); in reflectGlobalQualifiers() 236 sRef_setDefState (sr, defstate, fileloc_undefined); in reflectGlobalQualifiers() 240 sRef_setNullState (sr, NS_POSNULL, fileloc_undefined); in reflectGlobalQualifiers() 244 sRef_setNullState (sr, NS_RELNULL, fileloc_undefined); in reflectGlobalQualifiers() 248 sRef_setNullState (sr, NS_MNOTNULL, fileloc_undefined); in reflectGlobalQualifiers() 319 saveStoreLoc = fileloc_undefined; in makeCurrentParam()
|
H A D | macrocache.c | 331 fileloc lastfl = fileloc_undefined; in macrocache_processUndefinedElements() 376 fileloc lastfl = fileloc_undefined; in macrocache_processFileElements()
|
H A D | mttok.c | 110 t->loc = fileloc_undefined; in mttok_stealLoc()
|
H A D | constraintTerm.c | 222 ret->loc = fileloc_undefined; in constraintTerm_makesRef() 356 ret->loc = fileloc_undefined; in constraintTerm_makeIntLiteral()
|
H A D | stateClause.c | 42 ret->loc = fileloc_undefined; in stateClause_createRaw() 587 ret->loc = fileloc_undefined; in stateClause_undump()
|
H A D | uentryList.c | 421 sRef_setAliasKind (s, AK_IMPDEPENDENT, fileloc_undefined); in uentryList_fixImpParams() 425 sRef_setAliasKind (s, AK_IMPTEMP, fileloc_undefined); in uentryList_fixImpParams()
|
H A D | flagMarkerList.c | 227 fileloc loc = fileloc_undefined; in flagMarkerList_checkSuppressCounts()
|
H A D | stateInfo.c | 293 return fileloc_undefined; in stateInfo_getLoc()
|
H A D | exprNode.c | 445 e->loc = fileloc_undefined; in exprNode_createPlain() 589 ret->loc = fileloc_undefined; in exprNode_createPartialNVCopy() 843 sRef_setAliasKind (e->sref, AK_STATIC, fileloc_undefined); in exprNode_rawStringLiteral() 848 sRef_setAliasKind (e->sref, AK_ERROR, fileloc_undefined); in exprNode_rawStringLiteral() 983 sRef_setDefined (e->sref, fileloc_undefined); in exprNode_createId() 1668 fileloc_undefined); in checkPrintfArgs() 2210 fileloc_undefined); in checkMessageArgs() 3489 stateValue_updateValueLoc (sval, nval, fileloc_undefined); in reflectEnsuresClause() 5210 sRef_clearExKindComplete (ret->sref, fileloc_undefined); in exprNode_cast() 8664 sRef_setDefState (ret->sref, SS_PARTIAL, fileloc_undefined); in exprNode_makeInitialization() [all …]
|
H A D | cscannerHelp.c | 2266 uentry_setUsed (e2, fileloc_undefined); in cscannerHelp_processMacro() 2463 fileloc_undefined); in cscannerHelp_processMacro() 2479 ce = uentry_makeConstant (fname, ctype_unknown, fileloc_undefined); in cscannerHelp_processMacro()
|
H A D | usymtab.c | 2234 sRef_setAliasKind (uref, pkind, fileloc_undefined); in usymtab_handleParams() 2239 sRef_setAliasKind (uref, AK_IMPTEMP, fileloc_undefined); in usymtab_handleParams() 2248 sRef_setDefined (uref, fileloc_undefined); in usymtab_handleParams() 2268 sRef_setAliasKind (uref, AK_NEWREF, fileloc_undefined); in usymtab_handleParams() 3702 uentry_setUsed (field, fileloc_undefined); in usymtab_allUsed() 3726 uentry_setUsed (ce, fileloc_undefined); in usymtab_allUsed() 3817 sRef_setDefState (sr, SS_UNKNOWN, fileloc_undefined); in checkGlobalReturn()
|
H A D | context.c | 3113 gc.saveloc = fileloc_undefined; in context_initMod() 3123 gc.pushloc = fileloc_undefined; in context_initMod() 3693 gc.saveloc = fileloc_undefined; in context_getSaveLocation() 4382 fileloc_free (gc.saveloc); gc.saveloc = fileloc_undefined; in context_destroyMod() 4383 fileloc_free (gc.pushloc); gc.pushloc = fileloc_undefined; in context_destroyMod() 4449 gc.saveloc = fileloc_undefined; in context_pushLoc()
|
H A D | ctype.c | 2268 uentry ue = uentry_makeStructTag (n, ctype_unknown, fileloc_undefined); in ctype_createForwardStruct() 2278 uentry ue = uentry_makeUnionTag (n, ctype_unknown, fileloc_undefined); in ctype_createForwardUnion() 2288 uentry ue = uentry_makeEnumTag (n, ctype_unknown, fileloc_undefined); in ctype_createForwardEnum()
|
H A D | llerror.c | 51 static /*@only@*/ fileloc lastparseerror = fileloc_undefined; 52 static /*@only@*/ fileloc lastbug = fileloc_undefined;
|
H A D | constraintExpr.c | 1880 return fileloc_undefined; in constraintExpr_loc() 1905 return (fileloc_undefined); in constraintExpr_loc()
|
H A D | transferChecks.c | 2469 sRef_setAliasKind (slhs, AK_ERROR, fileloc_undefined); in transferChecks_assign() 3224 sRef_setAliasKind (fref, AK_ERROR, fileloc_undefined); in checkTransferExposure()
|
H A D | symtable.c | 971 fileloc imploc = fileloc_undefined; in parseLine()
|
H A D | sRef.c | 3648 sRef_setNullState (res, NS_ERROR, fileloc_undefined); in sRef_mergeStateQuiet() 4308 sRef_setAliasKind (el, AK_ERROR, fileloc_undefined); in checkDeadState() 5620 sRef_setNullStateAux (s, NS_UNKNOWN, fileloc_undefined); in sRef_setNullError() 7658 sRef_innerAliasSetComplete (sRef_resetStateAux, s, fileloc_undefined); in sRef_resetStateComplete()
|
H A D | cpplib.c | 8121 uentry_setUsed (ue, fileloc_undefined); in cpp_shouldCheckMacro()
|
/dports/devel/splint/splint-3.1.2/src/Headers/ |
H A D | fileloc.h | 86 # define fileloc_undefined ((fileloc) NULL) macro 87 # define fileloc_isDefined(f) ((f) != fileloc_undefined) 88 # define fileloc_isUndefined(f) ((f) == fileloc_undefined)
|