Searched refs:StateSet (Results 1 – 3 of 3) sorted by relevance
126 using StateSet = std::bitset<7>; typedef162 using ValueStateMap = DenseMap<InstantiatedValue, StateSet>;346 static bool hasReadOnlyState(StateSet Set) { in hasReadOnlyState()347 return (Set & StateSet(ReadOnlyStateMask)).any(); in hasReadOnlyState()350 static bool hasWriteOnlyState(StateSet Set) { in hasWriteOnlyState()351 return (Set & StateSet(WriteOnlyStateMask)).any(); in hasWriteOnlyState()
39 Mgr.StateSet.RemoveNode(s); in ProgramStateRelease()414 if (ProgramState *I = StateSet.FindNodeOrInsertPos(ID, InsertPos)) in getPersistentState()426 StateSet.InsertNode(newState, InsertPos); in getPersistentState()
481 llvm::FoldingSet<ProgramState> StateSet; variable