Have verify reject critical edges
commit76703ed17165b44ffa997922689cbdeed62d8210
authorAaron Orenstein <aorenste@fb.com>
Fri, 10 Jun 2022 02:47:40 +0000 (9 19:47 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Fri, 10 Jun 2022 02:47:40 +0000 (9 19:47 -0700)
treea99bf8de0145f58638fd83b6795c3ef9d961021a
parentb0fa669fc6774dccb245ddb8d3d729ab1ebe4843
Have verify reject critical edges

Summary:
- Teach compute_num_predecessors() about PredecessorFlags so callers can decide how to handle catch blocks and defaults.
- Add an alias for the return of compute_predecessor_blocks().

Reviewed By: edwinsmith

Differential Revision: D37006440

fbshipit-source-id: c7485d756eee0749aa956e65a5ac6c685c8f87d5
hphp/hack/src/hackc/ir/analysis/lib.rs
hphp/hack/src/hackc/ir/analysis/predecessors.rs
hphp/hack/src/hackc/ir/passes/critedge.rs
hphp/hack/src/hackc/ir/passes/rpo_sort.rs
hphp/hack/src/hackc/ir/verify/verify.rs