about summary refs log tree commit diff
path: root/compiler/rustc_mir_transform/src/coverage/graph.rs
diff options
context:
space:
mode:
authorNilstrieb <48135649+Nilstrieb@users.noreply.github.com>2024-07-27 15:08:11 +0200
committerNilstrieb <48135649+Nilstrieb@users.noreply.github.com>2024-07-27 15:11:59 +0200
commitf305e188041b586fb162161f961298f1532fe83b (patch)
treee19d0aeb1476a77a00df3f28c72e6e8abbbf705a /compiler/rustc_mir_transform/src/coverage/graph.rs
parent3942254d00bf95cd5920980f85ebea57a1e6ce2a (diff)
downloadrust-f305e188041b586fb162161f961298f1532fe83b.tar.gz
rust-f305e188041b586fb162161f961298f1532fe83b.zip
Disable jump threading of float equality
Jump threading stores values as `u128` (`ScalarInt`) and does its
comparisons for equality as integer comparisons.
This works great for integers. Sadly, not everything is an integer.

Floats famously have wonky equality semantcs, with `NaN!=NaN` and
`0.0 == -0.0`. This does not match our beautiful integer bitpattern
equality and therefore causes things to go horribly wrong.

While jump threading could be extended to support floats by remembering
that they're floats in the value state and handling them properly,
it's signficantly easier to just disable it for now.
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/graph.rs')
0 files changed, 0 insertions, 0 deletions