Open
Description
Rust won't call an AEABI division function with a divide by 0, but other code compiled into the same program (eg: C code) might end up calling an AEABI function with a divide by 0.
Right now, zero_div_fn just makes the division by zero an unreachable_unchecked!()
, which puts us slightly out of spec with what the AEABI division functions are supposed to do.
This is a low-priority bug, but should be handled eventually.
Metadata
Metadata
Assignees
Labels
No labels