On longer block bounds, there are a number of reports related to unentered loops (that can never feasibly be unenetered).
Probably makes sense to just optionally ignore things that come from skipping loop headers (the LLVM has a %loop annotation we can use)
On longer block bounds, there are a number of reports related to unentered loops (that can never feasibly be unenetered). Probably makes sense to just optionally ignore things that come from skipping loop headers (the LLVM has a %loop annotation we can use)