Control flow: use domtree analysis

[timholy]

Fixes #96

[codecov]

Codecov Report

Attention: 39 lines in your changes are missing coverage. Please review.

Comparison is base (0380f3c) 90.20% compared to head (5fec6ed) 88.69%.

Files	Patch %	Lines
src/domtree.jl	77.45%	39 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master      #98      +/-   ##
==========================================
- Coverage   90.20%   88.69%   -1.52%     
==========================================
  Files           5        6       +1     
  Lines        1287     1442     +155     
==========================================
+ Hits         1161     1279     +118     
- Misses        126      163      +37     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[timholy]

Ahh, post-dominator trees were only added in 1.10 (xref JuliaLang/julia#46651). Thanks for adding these, @aviatesk!

There seem to be two potential ways to proceed:

• we could vendor the domtree code on Julia < 1.10
• we could retrospectively say (via a commit to the General registry) that LoweredCodeUtils 2.4 requires Julia 1.10+.

@aviatesk, any thoughts on this? Personally I lean towards the latter as this whole issue was caused by #87, which I noticed only in the context of Julia 1.10 (but in reality it just uncovered general problems).

EDIT: upon second thought, I decided to see how bad vendoring it would be. Since the dependencies were all in the same file, it was very easy. Seems better to do the vendoring since I think it will increase correctness.

[timholy]

Given that this fixes a pretty bad bug, I'll go ahead and merge and tag a new release.