reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
544 AllocatedDataTy AMap = State->get<AllocatedData>(); 555 State = State->remove<AllocatedData>(I->first); 555 State = State->remove<AllocatedData>(I->first); 557 ConstraintManager &CMgr = State->getConstraintManager(); 558 ConditionTruthVal AllocFailed = CMgr.isNull(State, I.getKey()); 565 C.addTransition(State); 579 C.addTransition(State, N);