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