Searched refs:SimpleProgramPointTag (Results 1 – 6 of 6) sorted by relevance
46 SimpleProgramPointTag::SimpleProgramPointTag(StringRef MsgProvider, in SimpleProgramPointTag() function in SimpleProgramPointTag50 StringRef SimpleProgramPointTag::getTagDescription() const { in getTagDescription()
28 : SimpleProgramPointTag(CheckerName, Msg) {} in CheckerProgramPointTag()32 : SimpleProgramPointTag(Checker->getCheckName().getName(), Msg) {} in CheckerProgramPointTag()
380 static SimpleProgramPointTag cleanupTag(TagProviderName, "Clean Node"); in removeDead()1379 static SimpleProgramPointTag tag(TagProviderName, "Block count exceeded"); in processCFGBlockEntrance()2216 static SimpleProgramPointTag in evalLoad()2300 static SimpleProgramPointTag tag(TagProviderName, "Location"); in evalLocation()2311 static SimpleProgramPointTag in geteagerlyAssumeBinOpBifurcationTags()
285 static SimpleProgramPointTag retValBind("ExprEngine", "Bind Return Value"); in processCallExit()
663 class SimpleProgramPointTag : public ProgramPointTag {666 SimpleProgramPointTag(StringRef MsgProvider, StringRef Msg);
469 class CheckerProgramPointTag : public SimpleProgramPointTag {