Lines Matching refs:Tag
160 /// @param Tag The tag is used to uniquely identify the creation site. If no
165 const ProgramPointTag *Tag = nullptr) {
166 return addTransitionImpl(State ? State : getState(), false, nullptr, Tag);
175 /// @param Tag The tag to uniquely identify the creation site.
178 const ProgramPointTag *Tag = nullptr) {
179 return addTransitionImpl(State, false, Pred, Tag);
186 const ProgramPointTag *Tag = nullptr) {
187 return addTransitionImpl(State ? State : getState(), true, Pred, Tag);
195 /// @param Tag The tag to uniquely identify the creation site. If null,
198 const ProgramPointTag *Tag = nullptr) {
200 (Tag ? Tag : Location.getTag()));
208 /// @param Tag The tag to uniquely identify the creation site. If null,
212 const ProgramPointTag *Tag = nullptr) {
213 return addTransition(State, (Tag ? Tag : Location.getTag()));
223 /// @param Tag The tag to uniquely identify the creation site. If null,
228 const ProgramPointTag *Tag = nullptr) {
229 return addTransition(State, Pred, (Tag ? Tag : Location.getTag()));
343 const ProgramPointTag *Tag = nullptr) {
356 if (!State || (State == Pred->getState() && !Tag && !MarkAsSink))
360 const ProgramPoint &LocalLoc = (Tag ? Location.withTag(Tag) : Location);