bug: catch blocks should be counted as a single successor
commit4af8d24292e638f2b258b4825dd3d7dc895ca04d
authorAaron Orenstein <aorenste@fb.com>
Fri, 22 Jul 2022 20:38:21 +0000 (22 13:38 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Fri, 22 Jul 2022 20:38:21 +0000 (22 13:38 -0700)
treeb5f616877fc2fc667656cc3ca50243d63982c866
parentd1cf1766856a23c3ca6aa49dc6e197e2c1f0b62f
bug: catch blocks should be counted as a single successor

Summary: This was a bug that caused catch blocks to be counted as a successor for each edge leaving a block.

Differential Revision: D38079666

fbshipit-source-id: 281c258a4441ce524021138cc94c664802ee9867
hphp/hack/src/hackc/ir/analysis/predecessors.rs