Lines Matching refs:Var
277 const VarDecl *Var; member
310 const VarDecl *Var; member
321 PropagationInfo(const VarDecl *Var, ConsumedState TestsFor) in PropagationInfo() argument
324 VarTest.Var = Var; in PropagationInfo()
345 BinTest.LTest.Var = LVar; in PropagationInfo()
347 BinTest.RTest.Var = RVar; in PropagationInfo()
354 PropagationInfo(const VarDecl *Var) : InfoType(IT_Var), Var(Var) {} in PropagationInfo() argument
380 return Var; in getVar()
392 return StateMap->getState(Var); in getAsState()
430 return PropagationInfo(VarTest.Var, in invertTest()
436 BinTest.LTest.Var, invertConsumedUnconsumed(BinTest.LTest.TestsFor), in invertTest()
437 BinTest.RTest.Var, invertConsumedUnconsumed(BinTest.RTest.TestsFor)); in invertTest()
505 void VisitVarDecl(const VarDecl *Var);
713 LTest.Var = nullptr; in VisitBinaryOperator()
721 RTest.Var = nullptr; in VisitBinaryOperator()
725 if (!(LTest.Var == nullptr && RTest.Var == nullptr)) in VisitBinaryOperator()
841 if (const VarDecl *Var = dyn_cast_or_null<VarDecl>(DeclRef->getDecl())) in VisitDeclRefExpr() local
842 if (StateMap->getState(Var) != consumed::CS_None) in VisitDeclRefExpr()
843 PropagationMap.insert(PairType(DeclRef, PropagationInfo(Var))); in VisitDeclRefExpr()
852 if (const VarDecl *Var = dyn_cast_or_null<VarDecl>(DeclS->getSingleDecl())) in VisitDeclStmt() local
853 PropagationMap.insert(PairType(DeclS, PropagationInfo(Var))); in VisitDeclStmt()
926 void ConsumedStmtVisitor::VisitVarDecl(const VarDecl *Var) { in VisitVarDecl() argument
927 if (isConsumableType(Var->getType())) { in VisitVarDecl()
928 if (Var->hasInit()) { in VisitVarDecl()
929 MapType::iterator VIT = findInfo(Var->getInit()->IgnoreImplicit()); in VisitVarDecl()
935 StateMap->setState(Var, St); in VisitVarDecl()
941 StateMap->setState(Var, consumed::CS_Unknown); in VisitVarDecl()
952 ConsumedState VarState = ThenStates->getState(Test.Var); in splitVarStateForIf()
955 ThenStates->setState(Test.Var, Test.TestsFor); in splitVarStateForIf()
956 ElseStates->setState(Test.Var, invertConsumedUnconsumed(Test.TestsFor)); in splitVarStateForIf()
972 ConsumedState LState = LTest.Var ? ThenStates->getState(LTest.Var) : CS_None, in splitVarStateForIfBinOp()
973 RState = RTest.Var ? ThenStates->getState(RTest.Var) : CS_None; in splitVarStateForIfBinOp()
975 if (LTest.Var) { in splitVarStateForIfBinOp()
978 ThenStates->setState(LTest.Var, LTest.TestsFor); in splitVarStateForIfBinOp()
992 ElseStates->setState(LTest.Var, in splitVarStateForIfBinOp()
1009 if (RTest.Var) { in splitVarStateForIfBinOp()
1012 ThenStates->setState(RTest.Var, RTest.TestsFor); in splitVarStateForIfBinOp()
1018 ElseStates->setState(RTest.Var, in splitVarStateForIfBinOp()
1139 ConsumedState ConsumedStateMap::getState(const VarDecl *Var) const { in getState()
1140 VarMapType::const_iterator Entry = VarMap.find(Var); in getState()
1204 void ConsumedStateMap::setState(const VarDecl *Var, ConsumedState State) { in setState() argument
1205 VarMap[Var] = State; in setState()
1306 ConsumedState VarState = CurrStates->getState(Test.Var); in splitState()
1310 CurrStates->setState(Test.Var, Test.TestsFor); in splitState()
1316 FalseStates->setState(Test.Var, in splitState()
1398 const VarDecl *Var = DTor.getVarDecl(); in run() local
1400 Visitor.checkCallability(PropagationInfo(Var), in run()