mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

we also do not check floats for being init'd

Browse Source
This commit is contained in:
Ralf Jung 2020-03-19 23:19:17 +01:00
parent 0ff05c4cfe
commit c3f6f47f7a
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@ -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.