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:
Differential D132246
[analyzer][NFC] Be more descriptive when we replay without inlining isuckatcs on Aug 19 2022, 8:56 AM. Authored by
Details This patch adds a ProgramPointTag to the EpsilonPoint created As a result, the exploded node turns from this: to this:
Diff Detail
|