Searched defs:KernelInfoState (Results 1 – 1 of 1) sorted by relevance
566 struct KernelInfoState : AbstractState { struct568 bool IsAtFixpoint = false;573 ReachedKnownParallelRegions;585 CallBase *KernelInitCB = nullptr;589 CallBase *KernelDeinitCB = nullptr;592 bool IsKernelEntry = false;600 BooleanStateWithSetVector<uint8_t> ParallelLevels;606 KernelInfoState(bool BestState) { in KernelInfoState() function612 bool isValidState() const override { return true; } in isValidState()638 KernelInfoState &getAssumed() { return *this; } in getAssumed()[all …]