Lines Matching refs:Var
279 const VarDecl *Var; member
313 const VarDecl *Var; member
323 PropagationInfo(const VarDecl *Var, ConsumedState TestsFor) in PropagationInfo() argument
325 VarTest.Var = Var; in PropagationInfo()
344 BinTest.LTest.Var = LVar; in PropagationInfo()
346 BinTest.RTest.Var = RVar; in PropagationInfo()
352 PropagationInfo(const VarDecl *Var) : InfoType(IT_Var), Var(Var) {} in PropagationInfo() argument
378 return Var; in getVar()
390 return StateMap->getState(Var); in getAsState()
428 return PropagationInfo(VarTest.Var, in invertTest()
434 BinTest.LTest.Var, invertConsumedUnconsumed(BinTest.LTest.TestsFor), in invertTest()
435 BinTest.RTest.Var, invertConsumedUnconsumed(BinTest.RTest.TestsFor)); in invertTest()
514 void VisitVarDecl(const VarDecl *Var);
713 LTest.Var = nullptr; in VisitBinaryOperator()
720 RTest.Var = nullptr; in VisitBinaryOperator()
724 if (!(LTest.Var == nullptr && RTest.Var == nullptr)) in VisitBinaryOperator()
833 if (const auto *Var = dyn_cast_or_null<VarDecl>(DeclRef->getDecl())) in VisitDeclRefExpr() local
834 if (StateMap->getState(Var) != consumed::CS_None) in VisitDeclRefExpr()
835 PropagationMap.insert(PairType(DeclRef, PropagationInfo(Var))); in VisitDeclRefExpr()
844 if (const auto *Var = dyn_cast_or_null<VarDecl>(DeclS->getSingleDecl())) in VisitDeclStmt() local
845 PropagationMap.insert(PairType(DeclS, PropagationInfo(Var))); in VisitDeclStmt()
916 void ConsumedStmtVisitor::VisitVarDecl(const VarDecl *Var) { in VisitVarDecl() argument
917 if (isConsumableType(Var->getType())) { in VisitVarDecl()
918 if (Var->hasInit()) { in VisitVarDecl()
919 MapType::iterator VIT = findInfo(Var->getInit()->IgnoreImplicit()); in VisitVarDecl()
925 StateMap->setState(Var, St); in VisitVarDecl()
931 StateMap->setState(Var, consumed::CS_Unknown); in VisitVarDecl()
938 ConsumedState VarState = ThenStates->getState(Test.Var); in splitVarStateForIf()
941 ThenStates->setState(Test.Var, Test.TestsFor); in splitVarStateForIf()
942 ElseStates->setState(Test.Var, invertConsumedUnconsumed(Test.TestsFor)); in splitVarStateForIf()
956 ConsumedState LState = LTest.Var ? ThenStates->getState(LTest.Var) : CS_None, in splitVarStateForIfBinOp()
957 RState = RTest.Var ? ThenStates->getState(RTest.Var) : CS_None; in splitVarStateForIfBinOp()
959 if (LTest.Var) { in splitVarStateForIfBinOp()
962 ThenStates->setState(LTest.Var, LTest.TestsFor); in splitVarStateForIfBinOp()
973 ElseStates->setState(LTest.Var, in splitVarStateForIfBinOp()
987 if (RTest.Var) { in splitVarStateForIfBinOp()
990 ThenStates->setState(RTest.Var, RTest.TestsFor); in splitVarStateForIfBinOp()
995 ElseStates->setState(RTest.Var, in splitVarStateForIfBinOp()
1113 ConsumedState ConsumedStateMap::getState(const VarDecl *Var) const { in getState()
1114 VarMapType::const_iterator Entry = VarMap.find(Var); in getState()
1178 void ConsumedStateMap::setState(const VarDecl *Var, ConsumedState State) { in setState() argument
1179 VarMap[Var] = State; in setState()
1272 ConsumedState VarState = CurrStates->getState(Test.Var); in splitState()
1276 CurrStates->setState(Test.Var, Test.TestsFor); in splitState()
1282 FalseStates->setState(Test.Var, in splitState()
1362 const VarDecl *Var = DTor.getVarDecl(); in run() local
1364 Visitor.checkCallability(PropagationInfo(Var), in run()