[DynInst_API:] [dyninst/dyninst] ffa25a: Prevent Transitive Edge Removal

[bbiiggppiigg <noreply@xxxxxxxxxx>]

  Branch: refs/heads/bbiiggppiigg/prevent-transitive-removal
  Home:   https://github.com/dyninst/dyninst
  Commit: ffa25ae65835a191198311627de4fddfa4fae881
      https://github.com/dyninst/dyninst/commit/ffa25ae65835a191198311627de4fddfa4fae881
  Author: wuxx1279 <bbiiggppiigg@xxxxxxxxx>
  Date:   2026-01-01 (Thu, 01 Jan 2026)

  Changed paths:
    M parseAPI/src/Parser.C

  Log Message:
  -----------
  Prevent Transitive Edge Removal

When a basic block is pointed by more than one jump table entry,
Dyninst considers one of the jump table entry overrun and trim
the edge from the jump table, and transitively remove the
outgoing edge of the shared block. This behavior causes inconsistent
view of CFG between patchAPI and parseAPI, where a relocation block
ending with a control flow widget can have no control flow edge
because they are removed.

This PR prevents this transitive edge removal behavior.



To unsubscribe from these emails, change your notification settings at https://github.com/dyninst/dyninst/settings/notifications