Searched refs:FactMgr (Results 1 – 1 of 1) sorted by relevance
367 FactGenerator(FactManager &FactMgr, AnalysisDeclContext &AC) in FactGenerator() argument368 : FactMgr(FactMgr), AC(AC) {} in FactGenerator()384 FactMgr.addBlockFacts(Block, CurrentBlockFacts); in run()399 FactMgr.getOriginMgr().getOrCreate(*N); in VisitCXXNullPtrLiteralExpr()421 OriginID OID = FactMgr.getOriginMgr().getOrCreate(*UO); in VisitUnaryOperator()423 const Loan &L = FactMgr.getLoanMgr().addLoan(AddrOfLocalVarPath, in VisitUnaryOperator()426 FactMgr.createFact<IssueFact>(L.ID, OID)); in VisitUnaryOperator()436 OriginID OID = FactMgr.getOriginMgr().getOrCreate(*RetExpr); in VisitReturnStmt()438 FactMgr.createFact<ReturnOfOriginFact>(OID)); in VisitReturnStmt()466 OriginID DestOID = FactMgr.getOriginMgr().getOrCreate(D); in addAssignOriginFact()[all …]