Lines Matching defs:StateMap
388 ConsumedState getAsState(const ConsumedStateMap *StateMap) const {
392 return StateMap->getState(Var);
394 return StateMap->getState(Tmp);
445 setStateForVarOrTmp(ConsumedStateMap *StateMap, const PropagationInfo &PInfo,
451 StateMap->setState(PInfo.getVar(), State);
453 StateMap->setState(PInfo.getTmp(), State);
465 ConsumedStateMap *StateMap;
508 ConsumedStateMap *StateMap)
509 : AC(AC), Analyzer(Analyzer), StateMap(StateMap) {}
521 StateMap = NewStateMap;
540 ConsumedState CS = PInfo.getAsState(StateMap);
544 setStateForVarOrTmp(StateMap, PInfo, NS);
554 return PInfo.getAsState(StateMap);
566 setStateForVarOrTmp(StateMap, PInfo, NS);
584 ConsumedState VarState = StateMap->getState(PInfo.getVar());
594 ConsumedState TmpState = PInfo.getAsState(StateMap);
631 ConsumedState ParamState = PInfo.getAsState(StateMap);
645 setStateForVarOrTmp(StateMap, PInfo, consumed::CS_Consumed);
647 setStateForVarOrTmp(StateMap, PInfo, mapReturnTypestateAttrState(RT));
651 setStateForVarOrTmp(StateMap, PInfo, consumed::CS_Unknown);
665 StateMap->setState(PInfo.getVar(), mapSetTypestateAttrState(STA));
669 StateMap->setState(PInfo.getTmp(), mapSetTypestateAttrState(STA));
769 StateMap->setState(Temp, Entry->second.getAsState(StateMap));
842 if (StateMap->getState(Var) != consumed::CS_None)
883 StateMap->setState(Param, ParamState);
893 ConsumedState RetState = Entry->second.getAsState(StateMap);
902 StateMap->checkParamsForReturnTypestate(Ret->getLocStart(),
932 ConsumedState St = PInfo.getAsState(StateMap);
935 StateMap->setState(Var, St);
941 StateMap->setState(Var, consumed::CS_Unknown);
1042 ConsumedStateMap *StateMap,
1050 Entry->intersect(StateMap);
1053 StateMapsArray[Block->getBlockID()] = new ConsumedStateMap(*StateMap);
1056 StateMapsArray[Block->getBlockID()] = StateMap;
1062 ConsumedStateMap *StateMap) {
1069 Entry->intersect(StateMap);
1070 delete StateMap;
1073 StateMapsArray[Block->getBlockID()] = StateMap;
1093 ConsumedStateMap *StateMap = StateMapsArray[Block->getBlockID()];
1095 return new ConsumedStateMap(*StateMap);
1098 return StateMap;
