Lines Matching refs:addTransition
339 C.addTransition(State); in evalCall()
365 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()
613 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()
755 C.addTransition(State, C.getNoteTag([ThisRegion](PathSensitiveBugReport &BR, in handleAssignOp()
792 C.addTransition( in updateMovedSmartPointers()
818 C.addTransition(State, C.getNoteTag([OtherSmartPtrRegion, in updateMovedSmartPointers()
864 C.addTransition(State); in handleBoolConversion()
870 C.addTransition(State); in handleBoolConversion()
873 C.addTransition( in handleBoolConversion()
888 C.addTransition(NullState, C.getNoteTag( in handleBoolConversion()
899 C.addTransition( in handleBoolConversion()