Lines Matching refs:tag
364 // A tag to track convenience transitions, which can be removed at cleanup.
1256 static SimpleProgramPointTag tag("ExprEngine : Block count exceeded");
1258 nodeBuilder.generateSink(Pred->getState(), Pred, &tag);
1957 const ProgramPoint L = PostStore(StoreE, LC, /*Loc*/0, /*tag*/0);
2001 const ProgramPointTag *tag) {
2008 evalLocation(Tmp, AssignE, LocationE, Pred, state, location, tag, false);
2026 const ProgramPointTag *tag,
2050 evalLoadCommon(Dst, NodeEx, BoundEx, *I, state, location, tag, LoadTy);
2056 evalLoadCommon(Dst, NodeEx, BoundEx, Pred, state, location, tag, LoadTy);
2065 const ProgramPointTag *tag,
2071 evalLocation(Tmp, NodeEx, BoundEx, Pred, state, location, tag, true);
2091 Bldr.generateNode(NodeEx, *NI, state->BindExpr(BoundEx, LCtx, V), tag,
2102 const ProgramPointTag *tag,
2115 // FIXME: If I pass null tag, the graph is incorrect, e.g for
2123 static SimpleProgramPointTag tag("ExprEngine: Location");
2124 Bldr.generateNode(NodeEx, Pred, state, &tag);
2461 if (const ProgramPointTag *tag = Loc.getTag()) {
2462 Out << "\\|Tag: " << tag->getTagDescription();