Do you mean monitorenter/monitorexit in all control flow of HIR are
balanced?

Thanks,
Chengrong

Reply via email to