Searched refs:SimpleProgramPointTag (Results 1 – 7 of 7) sorted by relevance
46 SimpleProgramPointTag::SimpleProgramPointTag(StringRef description) in SimpleProgramPointTag() function in SimpleProgramPointTag49 StringRef SimpleProgramPointTag::getTagDescription() const { in getTagDescription()
647 class SimpleProgramPointTag : public ProgramPointTag {650 SimpleProgramPointTag(StringRef description);
335 static SimpleProgramPointTag cleanupTag("ExprEngine : Clean Node"); in removeDead()1138 static SimpleProgramPointTag tag("ExprEngine : Block count exceeded"); in processCFGBlockEntrance()1873 static SimpleProgramPointTag in evalLoad()1957 static SimpleProgramPointTag tag("ExprEngine: Location"); in evalLocation()1968 static SimpleProgramPointTag in geteagerlyAssumeBinOpBifurcationTags()
282 static SimpleProgramPointTag retValBind("ExprEngine : Bind Return Value"); in processCallExit()
2363 typedef llvm::DenseMap<SymbolRef, const SimpleProgramPointTag *> SymbolTagMap;3248 static SimpleProgramPointTag in checkPreStmt()3310 static SimpleProgramPointTag in checkReturnWithRetEffect()3330 static SimpleProgramPointTag in checkReturnWithRetEffect()3597 const SimpleProgramPointTag *&tag = DeadSymbolTags[sym]; in getDeadSymbolTag()3603 tag = new SimpleProgramPointTag(out.str()); in getDeadSymbolTag()
577 static SimpleProgramPointTag Tag("MacOSKeychainAPIChecker : DeadSymbolsLeak"); in checkDeadSymbols()
1234 static SimpleProgramPointTag Tag("MallocChecker : DeadSymbolsLeak"); in checkDeadSymbols()