Skip to content

Bug fixes for CCP

Aaron Councilman requested to merge ccp-bugfix into main

Two fixes to CCP

  1. Delay deletion of branches with a constant condition so all unreachable nodes (including these conditions and their projections) are deleted together to avoid leaving uses of deleted nodes.
  2. Compute reachability of data nodes as the join of the reachability of its uses so that data nodes in unreachable parts of code are marked unreachable.

Merge request reports