From: Ralf Jung Date: Thu, 19 Mar 2020 22:19:17 +0000 (+0100) Subject: we also do not check floats for being init'd X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=c3f6f47f7a773ad00c87cfb550006fb0906cef31;p=rust.git we also do not check floats for being init'd --- diff --git a/README.md b/README.md index a1b97831668..c2957416062 100644 --- a/README.md +++ b/README.md @@ -29,8 +29,8 @@ program, and cannot run all programs: positives here, so if you program runs fine in Miri right now that is by no means a guarantee that it is UB-free when these questions get answered. - In particular, Miri does currently not check that integers are initialized - or that references point to valid data. + In particular, Miri does currently not check that integers/floats are + initialized or that references point to valid data. * If the program relies on unspecified details of how data is laid out, it will still run fine in Miri -- but might break (including causing UB) on different compiler versions or different platforms.