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