Expand description
Call-terminator visiting logic.
When the backward visitor encounters a call terminator, it delegates to this module, which consults the interprocedural dependency summaries to decide which arguments flow through to the destination and whether the call may modify relevant state.
Functions§
- visit 🔒
- Visit a call terminator using an interprocedural dependency summary.