Searched refs:SelfAssignState (Results 1 – 1 of 1) sorted by relevance
54 ProgramStateRef SelfAssignState = State->bindLoc(Param, ThisVal, LCtx); in checkBeginFunction() local62 C.addTransition(SelfAssignState, SelfAssignTag); in checkBeginFunction()