Lines Matching defs:PropagationInfo
289 class PropagationInfo {
315 PropagationInfo() = default;
316 PropagationInfo(const VarTestResult &VarTest)
319 PropagationInfo(const VarDecl *Var, ConsumedState TestsFor)
325 PropagationInfo(const BinaryOperator *Source, EffectiveOp EOp,
334 PropagationInfo(const BinaryOperator *Source, EffectiveOp EOp,
346 PropagationInfo(ConsumedState State)
348 PropagationInfo(const VarDecl *Var) : InfoType(IT_Var), Var(Var) {}
349 PropagationInfo(const CXXBindTemporaryExpr *Tmp)
420 PropagationInfo invertTest() const {
424 return PropagationInfo(VarTest.Var,
428 return PropagationInfo(BinTest.Source,
442 setStateForVarOrTmp(ConsumedStateMap *StateMap, const PropagationInfo &PInfo,
456 using MapType = llvm::DenseMap<const Stmt *, PropagationInfo>;
457 using PairType= std::pair<const Stmt *, PropagationInfo>;
479 void insertInfo(const Expr *E, const PropagationInfo &PI) {
490 void checkCallability(const PropagationInfo &PInfo,
515 PropagationInfo getInfo(const Expr *StmtNode) const {
544 PropagationInfo& PInfo = Entry->second;
547 insertInfo(To, PropagationInfo(CS));
557 PropagationInfo& PInfo = Entry->second;
567 PropagationInfo& PInfo = Entry->second;
571 insertInfo(To, PropagationInfo(NS));
575 void ConsumedStmtVisitor::checkCallability(const PropagationInfo &PInfo,
626 PropagationInfo PInfo = Entry->second;
659 PropagationInfo PInfo = Entry->second;
674 PropagationInfo(PInfo.getVar(), testsFor(FunD))));
693 PropagationMap.insert(PairType(Call, PropagationInfo(ReturnState)));
721 PropagationMap.insert(PairType(BinOp, PropagationInfo(BinOp,
763 PropagationMap.insert(PairType(Temp, PropagationInfo(Temp)));
779 PropagationMap.insert(PairType(Call, PropagationInfo(RetState)));
782 PropagationInfo(consumed::CS_Consumed)));
794 PropagationMap.insert(PairType(Call, PropagationInfo(RetState)));
831 PropagationMap.insert(PairType(DeclRef, PropagationInfo(Var)));
841 PropagationMap.insert(PairType(DeclS, PropagationInfo(Var)));
917 PropagationInfo PInfo = VIT->second;
946 static void splitVarStateForIfBinOp(const PropagationInfo &PInfo,
1228 PropagationInfo PInfo;
1351 Visitor.checkCallability(PropagationInfo(BTE),
1363 Visitor.checkCallability(PropagationInfo(Var),