Home | History | Annotate | Download | only in Analysis

Lines Matching defs:Var

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