Overflow if ctx.host_current_height().revision_height < ctx.host_chain_history_size()

[vitorenesduarte]

Crate

modules

Summary of Bug

If ctx.host_current_height().revision_height < ctx.host_chain_history_size(), the following will overflow:

https://github.com/informalsystems/ibc-rs/blob/ae36bba8db5404243e28566f2a7ce2dbef1640ae/modules/src/ics03_connection/handler/verify.rs#L200-L201

This issue was found during the MBT work (#546), after initializing the MockContext with max_history_size = usize::MAX.

Version

ae36bba

---

For Admin Use

• Not duplicate issue
• Appropriate labels applied
• Appropriate milestone (priority) applied
• Appropriate contributors tagged
• Contributor assigned/self-assigned