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 Authored by isuckatcs on Aug 19 2022, 8:56 AM.
Details This patch adds a ProgramPointTag to the EpsilonPoint created As a result, the exploded node turns from this: to this:
Diff Detail
|