Here's a link to the bug in question: https://github.com/rust-lang/rust/issues/10184 , which can be realized by casting floats whose value is beyond a certain threshold to integers and then using them to index. The ultimate fix will probably involve migrating away from using LLVM's provided conversion intrinsics and implementing custom support that doesn't invoke undefined behavior.