Searched refs:maybeAllocated (Results 1 – 1 of 1) sorted by relevance
124 bool maybeAllocated() const { return K == Kind::MaybeAllocated; } in maybeAllocated() function in __anon839dddbd0111::HandleState133 assert(S.maybeAllocated()); in getAllocated()245 if (HState && (HState->isAllocated() || HState->maybeAllocated())) in REGISTER_MAP_WITH_PROGRAMSTATE()520 if (CurItem.second.isAllocated() || CurItem.second.maybeAllocated()) in checkDeadSymbols()560 if (CurItem.second.maybeAllocated()) in evalAssume()565 if (CurItem.second.maybeAllocated()) in evalAssume()