Function vstd::atomic::wrapping_sub_i32

source ·

pub open spec fn wrapping_sub_i32(a: int, b: int) -> int

Expand description

{
    if a - b > (<i32>::MAX as int) {
        a - b - ((<i32>::MAX as int) - (<i32>::MIN as int) + 1)
    } else if a - b < (<i32>::MIN as int) {
        a - b + ((<i32>::MAX as int) - (<i32>::MIN as int) + 1)
    } else {
        a - b
    }
}