Lines Matching refs:addTransition

203       C.addTransition(State->BindExpr(  in evalCall()
229       C.addTransition(  in evalCall()
246       C.addTransition(State, C.getNoteTag([ThisRegion, TrackingExpr,  in evalCall()
287   C.addTransition(State);  in checkDeadSymbols()
348   C.addTransition(  in handleReset()
384   C.addTransition(State, C.getNoteTag([ThisRegion](PathSensitiveBugReport &BR,  in handleRelease()
423   C.addTransition(  in handleSwap()
461   C.addTransition(State);  in handleGet()
485     C.addTransition(State, C.getNoteTag([ThisRegion](PathSensitiveBugReport &BR,  in handleAssignOp()
520     C.addTransition(  in updateMovedSmartPointers()
545     C.addTransition(State, C.getNoteTag([OtherSmartPtrRegion,  in updateMovedSmartPointers()
589     C.addTransition(State);  in handleBoolConversion()
595     C.addTransition(State);  in handleBoolConversion()
598     C.addTransition(  in handleBoolConversion()
613     C.addTransition(NullState, C.getNoteTag(  in handleBoolConversion()
624     C.addTransition(  in handleBoolConversion()