Lines Matching refs:ObjectsUnderConstruction

185 REGISTER_TRAIT_WITH_PROGRAMSTATE(ObjectsUnderConstruction,
550   assert((!State->get<ObjectsUnderConstruction>(Key) ||  in addObjectUnderConstruction()
557   return State->set<ObjectsUnderConstruction>(Key, V);  in addObjectUnderConstruction()
565   return Optional<SVal>::create(State->get<ObjectsUnderConstruction>(Key));  in getObjectUnderConstruction()
573   assert(State->contains<ObjectsUnderConstruction>(Key));  in finishObjectConstruction()
574   return State->remove<ObjectsUnderConstruction>(Key);  in finishObjectConstruction()
583   return State->set<ObjectsUnderConstruction>(Key, UnknownVal());  in elideDestructor()
591   assert(State->contains<ObjectsUnderConstruction>(Key));  in cleanupElidedDestructor()
592   return State->remove<ObjectsUnderConstruction>(Key);  in cleanupElidedDestructor()
599   return State->contains<ObjectsUnderConstruction>(Key);  in isDestructorElided()
608     for (auto I : State->get<ObjectsUnderConstruction>())  in areAllObjectsFullyConstructed()
653   for (const auto &I : State->get<ObjectsUnderConstruction>()) {  in printObjectsUnderConstructionJson()
666   for (const auto &I : State->get<ObjectsUnderConstruction>()) {  in printObjectsUnderConstructionJson()
756   if (LCtx && !State->get<ObjectsUnderConstruction>().isEmpty()) {  in printJson()
888   for (auto I : CleanedState->get<ObjectsUnderConstruction>()) {  in removeDead()
2578       for (auto I : State->get<ObjectsUnderConstruction>())  in processEndOfFunction()
2587           State = State->remove<ObjectsUnderConstruction>(I.first);  in processEndOfFunction()