• Home
  • Raw
  • Download

Lines Matching refs:ConsumedState

99 static ConsumedState invertConsumedUnconsumed(ConsumedState State) {  in invertConsumedUnconsumed()
114 ConsumedState State) { in isCallableInState()
117 ConsumedState MappedAttrState = CS_None; in isCallableInState()
168 static bool isKnownState(ConsumedState State) { in isKnownState()
192 static ConsumedState mapConsumableAttrState(const QualType QT) { in mapConsumableAttrState()
209 static ConsumedState
222 static ConsumedState
235 static ConsumedState mapSetTypestateAttrState(const SetTypestateAttr *STAttr) { in mapSetTypestateAttrState()
247 static StringRef stateToString(ConsumedState State) { in stateToString()
264 static ConsumedState testsFor(const FunctionDecl *FunDecl) { in testsFor()
278 ConsumedState TestsFor;
308 ConsumedState State;
321 PropagationInfo(const VarDecl *Var, ConsumedState TestsFor) in PropagationInfo()
339 const VarDecl *LVar, ConsumedState LTestsFor, in PropagationInfo()
340 const VarDecl *RVar, ConsumedState RTestsFor) in PropagationInfo()
351 PropagationInfo(ConsumedState State) in PropagationInfo()
358 const ConsumedState & getState() const { in getState()
388 ConsumedState getAsState(const ConsumedStateMap *StateMap) const { in getAsState()
446 ConsumedState State) { in setStateForVarOrTmp()
485 void copyInfo(const Expr *From, const Expr *To, ConsumedState CS);
486 ConsumedState getInfo(const Expr *From);
487 void setInfo(const Expr *To, ConsumedState NS);
542 ConsumedState NS) { in copyInfo()
546 ConsumedState CS = PInfo.getAsState(StateMap); in copyInfo()
556 ConsumedState ConsumedStmtVisitor::getInfo(const Expr *From) { in getInfo()
567 void ConsumedStmtVisitor::setInfo(const Expr *To, ConsumedState NS) { in setInfo()
590 ConsumedState VarState = StateMap->getState(PInfo.getVar()); in checkCallability()
600 ConsumedState TmpState = PInfo.getAsState(StateMap); in checkCallability()
637 ConsumedState ParamState = PInfo.getAsState(StateMap); in handleCall()
638 ConsumedState ExpectedState = mapParamTypestateAttrState(PTA); in handleCall()
695 ConsumedState ReturnState; in propagateReturnType()
792 ConsumedState RetState = mapReturnTypestateAttrState(RTA); in VisitCXXConstructExpr()
801 ConsumedState NS = in VisitCXXConstructExpr()
807 ConsumedState RetState = mapConsumableAttrState(ThisType); in VisitCXXConstructExpr()
832 ConsumedState CS = getInfo(Call->getArg(1)); in VisitCXXOperatorCallExpr()
875 ConsumedState ParamState = consumed::CS_None; in VisitParmVarDecl()
893 ConsumedState ExpectedState = Analyzer.getExpectedReturnState(); in VisitReturnStmt()
899 ConsumedState RetState = Entry->second.getAsState(StateMap); in VisitReturnStmt()
938 ConsumedState St = PInfo.getAsState(StateMap); in VisitVarDecl()
958 ConsumedState VarState = ThenStates->getState(Test.Var); in splitVarStateForIf()
978 ConsumedState LState = LTest.Var ? ThenStates->getState(LTest.Var) : CS_None, in splitVarStateForIfBinOp()
1132 ConsumedState ExpectedState = mapReturnTypestateAttrState(RTA); in checkParamsForReturnTypestate()
1145 ConsumedState ConsumedStateMap::getState(const VarDecl *Var) const { in getState()
1154 ConsumedState
1165 ConsumedState LocalState; in intersect()
1187 ConsumedState LocalState; in intersectAtLoopHead()
1210 void ConsumedStateMap::setState(const VarDecl *Var, ConsumedState State) { in setState()
1215 ConsumedState State) { in setState()
1312 ConsumedState VarState = CurrStates->getState(Test.Var); in splitState()