Don't crash when bit-shifting uints

flux-rs / flux

Refinement Types for Rust

MIT License

581 stars 17 forks source link

Closed ranjitjhala closed 4 weeks ago

ranjitjhala commented 1 month ago

Add code to not crash on

// unsigned shift right
pub fn uint_shr(left: u32, right: usize) {
    let blah = left >> right;
}

ranjitjhala commented 4 weeks ago

Am adding support for various little things as I see them...

ranjitjhala commented 4 weeks ago

I think I addressed the comments above, should we merge?

nilehmann commented 4 weeks ago

@ranjitjhala I think you haven't pushed any of the fixes yet. But yeah provided those are included I think this is good to merge.