Home
last modified time | relevance | path

Searched refs:SA_CREATED (Results 1 – 5 of 5) sorted by relevance

/dports/devel/splint/splint-3.1.2/src/Headers/
H A DstateInfo.h18 SA_CREATED, enumerator
/dports/devel/splint/splint-3.1.2/src/
H A DstateInfo.c420 case SA_CREATED: return cstring_makeLiteralTemp ("created"); in stateAction_unparse()
H A DconstraintTerm.c675 s = sRef_makeParam (param, t, stateInfo_makeLoc (g_currentloc, SA_CREATED)); in constraintTerm_undump()
H A DsRef.c3386 stateInfo_makeLoc (g_currentloc, SA_CREATED)); in sRef_makeAddress()
3559 s->state = context_createValueTable (s, stateInfo_makeLoc (g_currentloc, SA_CREATED)); in sRef_makeObject()
3594 s->state = context_createValueTable (s, stateInfo_makeLoc (g_currentloc, SA_CREATED)); in sRef_makeDerived()
5721 s->aliasinfo = stateInfo_updateLoc (s->aliasinfo, SA_CREATED, loc); in sRef_setFresh()
6676 (s, stateInfo_makeLoc (g_currentloc, SA_CREATED)); in sRef_buildArrayFetch()
6740 s->state = context_createValueTable (s, stateInfo_makeLoc (g_currentloc, SA_CREATED)); in sRef_buildArrayFetchKnown()
6981 s->state = context_createValueTable (s, stateInfo_makeLoc (g_currentloc, SA_CREATED)); in sRef_constructPointerAux()
7333 s->state = context_createValueTable (s, stateInfo_makeLoc (g_currentloc, SA_CREATED)); in sRef_makeType()
7371 s->state = context_createValueTable (s, stateInfo_makeLoc (g_currentloc, SA_CREATED)); in sRef_makeConst()
H A Duentry.c3076 sRef pref = sRef_makeParam (i, ct, stateInfo_makeLoc (loc, SA_CREATED)); in uentry_makeParam()