Function vstd::atomic::wrapping_add_i64

source ·

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

Expand description

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