diff --git a/ci-test.sh b/ci-test.sh index ad79dfa..873ccbd 100644 --- a/ci-test.sh +++ b/ci-test.sh @@ -1,6 +1,9 @@ #!/bin/bash set -euo pipefail +rustc gamma.rs && ./gamma +exit 1 + DEFAULTFLAGS="-Zrandomize-layout -Zmiri-strict-provenance" # make sure we keep using the current toolchain even in subdirs that have a toolchain file diff --git a/gamma.rs b/gamma.rs new file mode 100644 index 0000000..34a65f9 --- /dev/null +++ b/gamma.rs @@ -0,0 +1,5 @@ +#![feature(float_gamma)] + +fn main() { + dbg!(std::hint::black_box(-0.5f32).gamma()); +}