Searched refs:maybeAllocated (Results 1 – 1 of 1) sorted by relevance
114 bool maybeAllocated() const { return K == Kind::MaybeAllocated; } in maybeAllocated() function in __anon3ac5be820111::HandleState122 assert(S.maybeAllocated()); in getAllocated()220 if (HState && (HState->isAllocated() || HState->maybeAllocated())) in REGISTER_MAP_WITH_PROGRAMSTATE()463 if (CurItem.second.isAllocated() || CurItem.second.maybeAllocated()) in checkDeadSymbols()503 if (CurItem.second.maybeAllocated()) in evalAssume()508 if (CurItem.second.maybeAllocated()) in evalAssume()