Email or username:

Password:

Forgot your password?
All posts Federico Mena Quintero's posts Post Back to profile
Federico Mena Quintero

Well well well, turns out that the GCC backend for Rust detects some errors that plain Rust doesn't! gitlab.gnome.org/GNOME/librsvg

I wonder if this sort of thing would be caught by Miri.

9 February at 21:01 | Open on mstdn.mx
3 comments
zbrown

@federicomena oh wow, that's really interesting

9 February at 21:14 | Open on floss.social
Ian Douglas Scott

@federicomena Interesting.

I'd generally expect miri to detect more things than this would, but this would work for things miri doesn't support (like code using ffi).

9 February at 21:28 | Open on fosstodon.org
Misty
Go Up