Lines Matching refs:addTransition
1148 C.addTransition(State); in checkBasicAlloc()
1161 C.addTransition(State); in checkKernelMalloc()
1199 C.addTransition(State); in checkRealloc()
1208 C.addTransition(State); in checkCalloc()
1218 C.addTransition(State); in checkFree()
1227 C.addTransition(State); in checkAlloca()
1238 C.addTransition(State); in checkStrdup()
1249 C.addTransition(State); in checkIfNameIndex()
1258 C.addTransition(State); in checkIfFreeNameIndex()
1299 C.addTransition(State); in checkCXXNewOrCXXDelete()
1309 C.addTransition(State); in checkGMalloc0()
1318 C.addTransition(State); in checkGMemdup()
1329 C.addTransition(State); in checkGMallocN()
1341 C.addTransition(State); in checkGMallocN0()
1370 C.addTransition(State); in preGetdelim()
1397 C.addTransition(MallocUpdateRefState(C, CE, State, AF_Malloc, *LinePtr)); in checkGetdelim()
1407 C.addTransition(State); in checkReallocN()
1436 C.addTransition(State); in checkOwnershipAttr()
1615 C.addTransition(State); in checkNewAllocator()
1663 C.addTransition(State); in checkPostObjCMessage()
2900 C.addTransition(state->set<RegionState>(RS), N); in checkDeadSymbols()
2922 C.addTransition(State); in checkPreCall()
3043 C.addTransition(state); in checkPostStmt()
3077 C.addTransition(State); in suppressDeallocationsInSuspiciousContexts()