Searched refs:getSuccState (Results 1 – 1 of 1) sorted by relevance
586 static int getSuccState(DenseMap<BasicBlock *, int> &InitialStates, Function &F, in getSuccState() function720 int SuccState = getSuccState(InitialStates, F, ParentBaseState, BB); in addStateStores()