Searched refs:NonSelfAssignState (Results 1 – 1 of 1) sorted by relevance
64 ProgramStateRef NonSelfAssignState = State->bindLoc(Param, ParamVal, LCtx); in checkBeginFunction() local72 C.addTransition(NonSelfAssignState, NonSelfAssignTag); in checkBeginFunction()