Lines Matching refs:Var
280 const VarDecl *Var; member
314 const VarDecl *Var; member
324 PropagationInfo(const VarDecl *Var, ConsumedState TestsFor) in PropagationInfo() argument
326 VarTest.Var = Var; in PropagationInfo()
345 BinTest.LTest.Var = LVar; in PropagationInfo()
347 BinTest.RTest.Var = RVar; in PropagationInfo()
353 PropagationInfo(const VarDecl *Var) : InfoType(IT_Var), Var(Var) {} in PropagationInfo() argument
379 return Var; in getVar()
391 return StateMap->getState(Var); in getAsState()
429 return PropagationInfo(VarTest.Var, in invertTest()
435 BinTest.LTest.Var, invertConsumedUnconsumed(BinTest.LTest.TestsFor), in invertTest()
436 BinTest.RTest.Var, invertConsumedUnconsumed(BinTest.RTest.TestsFor)); in invertTest()
515 void VisitVarDecl(const VarDecl *Var);
714 LTest.Var = nullptr; in VisitBinaryOperator()
721 RTest.Var = nullptr; in VisitBinaryOperator()
725 if (!(LTest.Var == nullptr && RTest.Var == nullptr)) in VisitBinaryOperator()
834 if (const auto *Var = dyn_cast_or_null<VarDecl>(DeclRef->getDecl())) in VisitDeclRefExpr() local
835 if (StateMap->getState(Var) != consumed::CS_None) in VisitDeclRefExpr()
836 PropagationMap.insert(PairType(DeclRef, PropagationInfo(Var))); in VisitDeclRefExpr()
845 if (const auto *Var = dyn_cast_or_null<VarDecl>(DeclS->getSingleDecl())) in VisitDeclStmt() local
846 PropagationMap.insert(PairType(DeclS, PropagationInfo(Var))); in VisitDeclStmt()
917 void ConsumedStmtVisitor::VisitVarDecl(const VarDecl *Var) { in VisitVarDecl() argument
918 if (isConsumableType(Var->getType())) { in VisitVarDecl()
919 if (Var->hasInit()) { in VisitVarDecl()
920 MapType::iterator VIT = findInfo(Var->getInit()->IgnoreImplicit()); in VisitVarDecl()
926 StateMap->setState(Var, St); in VisitVarDecl()
932 StateMap->setState(Var, consumed::CS_Unknown); in VisitVarDecl()
939 ConsumedState VarState = ThenStates->getState(Test.Var); in splitVarStateForIf()
942 ThenStates->setState(Test.Var, Test.TestsFor); in splitVarStateForIf()
943 ElseStates->setState(Test.Var, invertConsumedUnconsumed(Test.TestsFor)); in splitVarStateForIf()
957 ConsumedState LState = LTest.Var ? ThenStates->getState(LTest.Var) : CS_None, in splitVarStateForIfBinOp()
958 RState = RTest.Var ? ThenStates->getState(RTest.Var) : CS_None; in splitVarStateForIfBinOp()
960 if (LTest.Var) { in splitVarStateForIfBinOp()
963 ThenStates->setState(LTest.Var, LTest.TestsFor); in splitVarStateForIfBinOp()
974 ElseStates->setState(LTest.Var, in splitVarStateForIfBinOp()
988 if (RTest.Var) { in splitVarStateForIfBinOp()
991 ThenStates->setState(RTest.Var, RTest.TestsFor); in splitVarStateForIfBinOp()
996 ElseStates->setState(RTest.Var, in splitVarStateForIfBinOp()
1114 ConsumedState ConsumedStateMap::getState(const VarDecl *Var) const { in getState()
1115 VarMapType::const_iterator Entry = VarMap.find(Var); in getState()
1179 void ConsumedStateMap::setState(const VarDecl *Var, ConsumedState State) { in setState() argument
1180 VarMap[Var] = State; in setState()
1273 ConsumedState VarState = CurrStates->getState(Test.Var); in splitState()
1277 CurrStates->setState(Test.Var, Test.TestsFor); in splitState()
1283 FalseStates->setState(Test.Var, in splitState()
1363 const VarDecl *Var = DTor.getVarDecl(); in run() local
1365 Visitor.checkCallability(PropagationInfo(Var), in run()