Home
last modified time | relevance | path

Searched refs:fileloc_undefined (Results 1 – 23 of 23) sorted by relevance

/dports/devel/splint/splint-3.1.2/src/
H A Dfileloc.c46 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 Duentry.c910 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 DfilelocList.c107 return (filelocList_add (s, fileloc_undefined)); in filelocList_addUndefined()
170 s->elements[0] = fileloc_undefined; in filelocList_add()
H A Dclabstract.c72 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 Dmacrocache.c331 fileloc lastfl = fileloc_undefined; in macrocache_processUndefinedElements()
376 fileloc lastfl = fileloc_undefined; in macrocache_processFileElements()
H A Dmttok.c110 t->loc = fileloc_undefined; in mttok_stealLoc()
H A DconstraintTerm.c222 ret->loc = fileloc_undefined; in constraintTerm_makesRef()
356 ret->loc = fileloc_undefined; in constraintTerm_makeIntLiteral()
H A DstateClause.c42 ret->loc = fileloc_undefined; in stateClause_createRaw()
587 ret->loc = fileloc_undefined; in stateClause_undump()
H A DuentryList.c421 sRef_setAliasKind (s, AK_IMPDEPENDENT, fileloc_undefined); in uentryList_fixImpParams()
425 sRef_setAliasKind (s, AK_IMPTEMP, fileloc_undefined); in uentryList_fixImpParams()
H A DflagMarkerList.c227 fileloc loc = fileloc_undefined; in flagMarkerList_checkSuppressCounts()
H A DstateInfo.c293 return fileloc_undefined; in stateInfo_getLoc()
H A DexprNode.c445 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 DcscannerHelp.c2266 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 Dusymtab.c2234 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 Dcontext.c3113 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 Dctype.c2268 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 Dllerror.c51 static /*@only@*/ fileloc lastparseerror = fileloc_undefined;
52 static /*@only@*/ fileloc lastbug = fileloc_undefined;
H A DconstraintExpr.c1880 return fileloc_undefined; in constraintExpr_loc()
1905 return (fileloc_undefined); in constraintExpr_loc()
H A DtransferChecks.c2469 sRef_setAliasKind (slhs, AK_ERROR, fileloc_undefined); in transferChecks_assign()
3224 sRef_setAliasKind (fref, AK_ERROR, fileloc_undefined); in checkTransferExposure()
H A Dsymtable.c971 fileloc imploc = fileloc_undefined; in parseLine()
H A DsRef.c3648 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 Dcpplib.c8121 uentry_setUsed (ue, fileloc_undefined); in cpp_shouldCheckMacro()
/dports/devel/splint/splint-3.1.2/src/Headers/
H A Dfileloc.h86 # define fileloc_undefined ((fileloc) NULL) macro
87 # define fileloc_isDefined(f) ((f) != fileloc_undefined)
88 # define fileloc_isUndefined(f) ((f) == fileloc_undefined)