This is an archive of the discontinued LLVM Phabricator instance.

[analyzer][NFC] Be more descriptive when we replay without inlining
ClosedPublic

Authored by isuckatcs on Aug 19 2022, 8:56 AM.

Details

Summary

This patch adds a ProgramPointTag to the EpsilonPoint created
before we replay a call without inlining.

As a result, the exploded node turns from this:

to this:

Diff Detail

Event Timeline

isuckatcs created this revision.Aug 19 2022, 8:56 AM
Herald added a project: Restricted Project. · View Herald TranscriptAug 19 2022, 8:56 AM
isuckatcs requested review of this revision.Aug 19 2022, 8:56 AM
xazax.hun accepted this revision.Aug 19 2022, 8:59 AM
This revision is now accepted and ready to land.Aug 19 2022, 8:59 AM
This revision was landed with ongoing or failed builds.Aug 19 2022, 9:06 AM
This revision was automatically updated to reflect the committed changes.
Herald added a project: Restricted Project. · View Herald TranscriptAug 19 2022, 9:06 AM
Herald added a subscriber: cfe-commits. · View Herald Transcript