Searched refs:maybeAllocated (Results 1 – 1 of 1) sorted by relevance
125 bool maybeAllocated() const { return K == Kind::MaybeAllocated; } in maybeAllocated() function in __anonb3f4bc080111::HandleState134 assert(S.maybeAllocated()); in getAllocated()246 if (HState && (HState->isAllocated() || HState->maybeAllocated())) in REGISTER_MAP_WITH_PROGRAMSTATE()517 if (CurItem.second.isAllocated() || CurItem.second.maybeAllocated()) in checkDeadSymbols()557 if (CurItem.second.maybeAllocated()) in evalAssume()562 if (CurItem.second.maybeAllocated()) in evalAssume()