Lines Matching refs:ConsumedState

104 static ConsumedState invertConsumedUnconsumed(ConsumedState State) {  in invertConsumedUnconsumed()
119 ConsumedState State) { in isCallableInState()
121 ConsumedState MappedAttrState = CS_None; in isCallableInState()
170 static bool isKnownState(ConsumedState State) { in isKnownState()
194 static ConsumedState mapConsumableAttrState(const QualType QT) { in mapConsumableAttrState()
211 static ConsumedState
224 static ConsumedState
237 static ConsumedState mapSetTypestateAttrState(const SetTypestateAttr *STAttr) { in mapSetTypestateAttrState()
249 static StringRef stateToString(ConsumedState State) { in stateToString()
266 static ConsumedState testsFor(const FunctionDecl *FunDecl) { in testsFor()
281 ConsumedState TestsFor;
312 ConsumedState State;
324 PropagationInfo(const VarDecl *Var, ConsumedState TestsFor) in PropagationInfo()
340 const VarDecl *LVar, ConsumedState LTestsFor, in PropagationInfo()
341 const VarDecl *RVar, ConsumedState RTestsFor) in PropagationInfo()
351 PropagationInfo(ConsumedState State) in PropagationInfo()
357 const ConsumedState &getState() const { in getState()
387 ConsumedState getAsState(const ConsumedStateMap *StateMap) const { in getAsState()
448 ConsumedState State) { in setStateForVarOrTmp()
489 void copyInfo(const Expr *From, const Expr *To, ConsumedState CS);
490 ConsumedState getInfo(const Expr *From);
491 void setInfo(const Expr *To, ConsumedState NS);
546 ConsumedState NS) { in copyInfo()
550 ConsumedState CS = PInfo.getAsState(StateMap); in copyInfo()
559 ConsumedState ConsumedStmtVisitor::getInfo(const Expr *From) { in getInfo()
569 void ConsumedStmtVisitor::setInfo(const Expr *To, ConsumedState NS) { in setInfo()
590 ConsumedState VarState = StateMap->getState(PInfo.getVar()); in checkCallability()
599 ConsumedState TmpState = PInfo.getAsState(StateMap); in checkCallability()
635 ConsumedState ParamState = PInfo.getAsState(StateMap); in handleCall()
636 ConsumedState ExpectedState = mapParamTypestateAttrState(PTA); in handleCall()
692 ConsumedState ReturnState; in propagateReturnType()
783 ConsumedState RetState = mapReturnTypestateAttrState(RTA); in VisitCXXConstructExpr()
792 ConsumedState NS = in VisitCXXConstructExpr()
798 ConsumedState RetState = mapConsumableAttrState(ThisType); in VisitCXXConstructExpr()
819 ConsumedState CS = getInfo(Call->getArg(1)); in VisitCXXOperatorCallExpr()
860 ConsumedState ParamState = consumed::CS_None; in VisitParmVarDecl()
878 ConsumedState ExpectedState = Analyzer.getExpectedReturnState(); in VisitReturnStmt()
884 ConsumedState RetState = Entry->second.getAsState(StateMap); in VisitReturnStmt()
923 ConsumedState St = PInfo.getAsState(StateMap); in VisitVarDecl()
939 ConsumedState VarState = ThenStates->getState(Test.Var); in splitVarStateForIf()
957 ConsumedState LState = LTest.Var ? ThenStates->getState(LTest.Var) : CS_None, in splitVarStateForIfBinOp()
1101 ConsumedState ExpectedState = mapReturnTypestateAttrState(RTA); in checkParamsForReturnTypestate()
1114 ConsumedState ConsumedStateMap::getState(const VarDecl *Var) const { in getState()
1123 ConsumedState
1134 ConsumedState LocalState; in intersect()
1156 ConsumedState LocalState; in intersectAtLoopHead()
1179 void ConsumedStateMap::setState(const VarDecl *Var, ConsumedState State) { in setState()
1184 ConsumedState State) { in setState()
1273 ConsumedState VarState = CurrStates->getState(Test.Var); in splitState()