Lines Matching refs:addTransition
341 C.addTransition(State); in evalCall()
367 C.addTransition(State->BindExpr( in evalCall()
393 C.addTransition( in evalCall()
410 C.addTransition(State, C.getNoteTag([ThisRegion, TrackingExpr, in evalCall()
506 C.addTransition( in handleComparisionOp()
509 C.addTransition( in handleComparisionOp()
512 C.addTransition(State->BindExpr(ResultExpr, LCtx, RetVal)); in handleComparisionOp()
537 C.addTransition(State); in handleOstreamOperator()
553 C.addTransition(State); in checkDeadSymbols()
614 C.addTransition( in handleReset()
650 C.addTransition(State, C.getNoteTag([ThisRegion](PathSensitiveBugReport &BR, in handleRelease()
691 C.addTransition(State, C.getNoteTag([FirstThisRegion, SecondThisRegion]( in handleSwap()
729 C.addTransition(State); in handleGet()
753 C.addTransition(State, C.getNoteTag([ThisRegion](PathSensitiveBugReport &BR, in handleAssignOp()
788 C.addTransition( in updateMovedSmartPointers()
813 C.addTransition(State, C.getNoteTag([OtherSmartPtrRegion, in updateMovedSmartPointers()
857 C.addTransition(State); in handleBoolConversion()
863 C.addTransition(State); in handleBoolConversion()
866 C.addTransition( in handleBoolConversion()
881 C.addTransition(NullState, C.getNoteTag( in handleBoolConversion()
892 C.addTransition( in handleBoolConversion()