Searched refs:sRef_makeInternalState (Results 1 – 5 of 5) sorted by relevance
2046 return sRef_makeInternalState (); in clabstract_unrecognizedGlobal()2268 ret = sRef_makeInternalState (); in fixModifiesId()
1748 sRef_makeInternalState ())) in checkGlobalsConformance()1768 sRef_makeInternalState ()); in checkGlobalsConformance()1940 sRef_makeInternalState ()) in checkModifiesConformance()1960 sRef_makeInternalState ()); in checkModifiesConformance()
753 x->content.ref = sRef_makeInternalState (); in makeStoreRefNodeInternal()2617 n->sref = sRef_makeInternalState (); in makeInternalStateNode()
2432 case SR_INTERNAL: return (sRef_makeInternalState ()); in sRef_undumpGlobal()2510 case SR_INTERNAL: return (sRef_makeInternalState ()); in sRef_undumpBody()4482 sRef_makeInternalState (void) in sRef_makeInternalState() function
362 extern /*@dependent@*/ sRef sRef_makeInternalState (void) /*@*/ ;