Searched refs:StateSet (Results 1 – 4 of 4) sorted by relevance
124 using StateSet = std::bitset<7>; typedef160 using ValueStateMap = DenseMap<InstantiatedValue, StateSet>;344 static bool hasReadOnlyState(StateSet Set) { in hasReadOnlyState()345 return (Set & StateSet(ReadOnlyStateMask)).any(); in hasReadOnlyState()348 static bool hasWriteOnlyState(StateSet Set) { in hasWriteOnlyState()349 return (Set & StateSet(WriteOnlyStateMask)).any(); in hasWriteOnlyState()
255 typedef std::set<State> StateSet; typedef in __anonab3c46770211::DFA256 StateSet states;576 DFA::StateSet::iterator SI = states.begin(); in writeTableAndAPI()
40 Mgr.StateSet.RemoveNode(s); in ProgramStateRelease()410 if (ProgramState *I = StateSet.FindNodeOrInsertPos(ID, InsertPos)) in getPersistentState()422 StateSet.InsertNode(newState, InsertPos); in getPersistentState()
510 llvm::FoldingSet<ProgramState> StateSet; variable