Home | History | Annotate | Download | only in Analysis

Lines Matching defs:Var

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