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()
382 static SimpleProgramPointTag cleanupTag(TagProviderName, "Clean Node"); in removeDead()1442 static SimpleProgramPointTag tag(TagProviderName, "Block count exceeded"); in processCFGBlockEntrance()2330 static SimpleProgramPointTag in evalLoad()2414 static SimpleProgramPointTag tag(TagProviderName, "Location"); in evalLocation()2425 static SimpleProgramPointTag in geteagerlyAssumeBinOpBifurcationTags()
288 static SimpleProgramPointTag retValBind("ExprEngine", "Bind Return Value"); in processCallExit()
54 class SimpleProgramPointTag : public ProgramPointTag {57 SimpleProgramPointTag(StringRef MsgProvider, StringRef Msg);
498 class CheckerProgramPointTag : public SimpleProgramPointTag {