Home | History | Annotate | Download | only in Analysis

Lines Matching refs:ExpectedState

632       ConsumedState ExpectedState = mapParamTypestateAttrState(PTA);
634 if (ParamState != ExpectedState)
637 stateToString(ExpectedState), stateToString(ParamState));
887 ConsumedState ExpectedState = Analyzer.getExpectedReturnState();
889 if (ExpectedState != CS_None) {
895 if (RetState != ExpectedState)
897 Ret->getReturnLoc(), stateToString(ExpectedState),
1137 ConsumedState ExpectedState = mapReturnTypestateAttrState(RTA);
1138 if (DM.second != ExpectedState)
1140 Param->getNameAsString(), stateToString(ExpectedState),