Skip to content
ci

arithmetic: Extend model of aliasing to cover more cases. #4486

Sign in to view logs

arithmetic: Extend model of aliasing to cover more cases.

arithmetic: Extend model of aliasing to cover more cases. #4486

Triggered via push January 23, 2025 17:32
@briansmithbriansmith
pushed 73aeb12
b/add
Status Failure
Total duration 17m 37s
Artifacts –

ci.yml

on: push
rustfmt
8s
rustfmt
clippy
1m 38s
clippy
audit
11s
audit
cargo-semver-checks
24s
cargo-semver-checks
deny
14s
deny
rustdoc
18s
rustdoc
package
54s
package
test-bench
32s
test-bench
Matrix: coverage
Matrix: test-doc
Matrix: test-features
Matrix: test-wasm32-browser
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

189 errors
coverage (--features=std, aarch64-apple-darwin, nightly)
Process completed with exit code 101.
coverage (--features=std, x86_64-unknown-linux-musl, nightly)
Process completed with exit code 101.
test (aarch64-apple-darwin, --release, stable)
Process completed with exit code 101.
test (aarch64-apple-ios, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (aarch64-apple-ios, --release, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (aarch64-apple-darwin, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (aarch64-apple-darwin, stable)
Process completed with exit code 101.
test (aarch64-unknown-linux-gnu, --release, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (aarch64-apple-ios, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (aarch64-apple-ios, --release, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (aarch64-pc-windows-msvc, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (aarch64-apple-visionos, nightly, --release, macos-14, 15.2, --no-run -Z build-std)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (aarch64-pc-windows-msvc, 1.63.0)
The operation was canceled.
test (aarch64-unknown-linux-musl, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (aarch64-unknown-linux-gnu, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (aarch64-unknown-linux-gnu, --release, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (aarch64-apple-tvos, nightly, --release, macos-14, --no-run -Z build-std)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (aarch64-apple-watchos, nightly, --release, macos-14, --no-run -Z build-std)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (aarch64-unknown-linux-musl, --release, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (aarch64-pc-windows-msvc, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (aarch64-pc-windows-msvc, stable)
The operation was canceled.
test (aarch64-unknown-linux-musl, --release, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (aarch64-pc-windows-msvc, --release, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (aarch64-pc-windows-msvc, --release, stable)
The operation was canceled.
test (aarch64-unknown-linux-musl, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (arm-unknown-linux-gnueabi, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (arm-unknown-linux-gnueabi, --release, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (arm-unknown-linux-gnueabi, --release, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (arm-unknown-linux-gnueabi, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (armv7-linux-androideabi, --release, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (armv7-linux-androideabi, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (armv7-linux-androideabi, --release, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (armv7-linux-androideabi, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (armv7-unknown-linux-musleabihf, --release, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (armv7-unknown-linux-musleabihf, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (armv7-unknown-linux-musleabihf, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (armv7-unknown-linux-musleabihf, --release, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (i686-pc-windows-msvc, --release, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (i686-pc-windows-msvc, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (i686-pc-windows-msvc, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (i686-unknown-linux-gnu, --release, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (i686-unknown-linux-gnu, --release, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (i686-unknown-linux-gnu, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (i686-unknown-linux-gnu, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (i686-unknown-linux-musl, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (i686-unknown-linux-musl, --release, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (i686-unknown-linux-musl, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (i686-unknown-linux-musl, --release, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (riscv64gc-unknown-linux-gnu, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (riscv64gc-unknown-linux-gnu, --release, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (riscv64gc-unknown-linux-gnu, --release, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (riscv64gc-unknown-linux-gnu, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (wasm32-wasi, --release, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (wasm32-wasip1, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (wasm32-wasip1, --release, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (wasm32-wasi, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (x86_64-apple-darwin, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (wasm32-wasip2, --release, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (wasm32-wasip2, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (x86_64-apple-darwin, --release, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (x86_64-apple-darwin, --release, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (x86_64-pc-windows-gnu, --release, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (x86_64-apple-darwin, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (x86_64-pc-windows-gnu, --release, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (x86_64-pc-windows-gnu, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (x86_64-pc-windows-gnu, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (x86_64-pc-windows-msvc, --release, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (x86_64-pc-windows-msvc, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (x86_64-pc-windows-msvc, --release, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (x86_64-pc-windows-msvc, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (x86_64-unknown-linux-musl, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (x86_64-unknown-linux-musl, --release, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (mips64el-unknown-linux-gnuabi64, --release, 1.71.0, ubuntu-22.04)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (x86_64-unknown-linux-musl, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (mipsel-unknown-linux-gnu, --release, 1.71.0, ubuntu-22.04)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (mips-unknown-linux-gnu, --release, 1.71.0, ubuntu-22.04)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (powerpc-unknown-linux-gnu, --release, stable, ubuntu-22.04)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (powerpc64le-unknown-linux-gnu, --release, stable, ubuntu-22.04)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (powerpc64-unknown-linux-gnu, --release, stable, ubuntu-22.04)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (x86_64-unknown-linux-gnu, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (s390x-unknown-linux-gnu, --release, stable, ubuntu-22.04)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (x86_64-unknown-linux-gnu, --release, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (x86_64-unknown-linux-gnu, --release, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (x86_64-unknown-linux-gnu, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (x86_64-unknown-linux-musl, --release, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (i686-pc-windows-msvc, --release, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (i686-pc-windows-msvc, --release, 1.63.0)
A task was canceled.
test (aarch64-pc-windows-msvc, --release, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (aarch64-pc-windows-msvc, --release, 1.63.0)
The operation was canceled.
test (aarch64-linux-android, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (aarch64-linux-android, stable)
The operation was canceled.
coverage (--features=std, x86_64-apple-darwin, nightly)
Process completed with exit code 101.
test (aarch64-linux-android, --release, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (aarch64-linux-android, --release, 1.63.0)
The operation was canceled.
test (aarch64-unknown-linux-gnu, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (aarch64-unknown-linux-gnu, 1.63.0)
The operation was canceled.
test (aarch64-linux-android, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (aarch64-linux-android, 1.63.0)
The operation was canceled.
test (aarch64-linux-android, --release, stable)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (aarch64-linux-android, --release, stable)
The operation was canceled.
test (aarch64-apple-darwin, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (aarch64-apple-darwin, 1.63.0)
The operation was canceled.
test (aarch64-apple-darwin, --release, 1.63.0)
The job was canceled because "aarch64-apple-darwin_--re" failed.
test (aarch64-apple-darwin, --release, 1.63.0)
The operation was canceled.
coverage (--features=std, powerpc64-unknown-linux-gnu, nightly)
Process completed with exit code 101.
test-doc (nightly)
Process completed with exit code 101.
coverage (--features=std, powerpc64le-unknown-linux-gnu, nightly)
Process completed with exit code 101.
test-bench
Process completed with exit code 101.
coverage (--features=std, riscv64gc-unknown-linux-gnu, nightly)
Process completed with exit code 101.
coverage (--features=std, s390x-unknown-linux-gnu, nightly)
Process completed with exit code 101.
test-doc (stable)
The job was canceled because "nightly" failed.
test-doc (stable)
The operation was canceled.
coverage (--features=std, aarch64-unknown-linux-gnu, nightly)
Process completed with exit code 101.
test-features (--features=std,slow_tests, x86_64-unknown-linux-gnu, --release, stable)
Process completed with exit code 101.
test-features (--no-default-features, i686-pc-windows-msvc, --release, stable)
The job was canceled because "_--features_std_slow_te_7" failed.
test-features (--no-default-features, i686-pc-windows-msvc, --release, stable)
The operation was canceled.
test-features (--features=std,slow_tests, i686-pc-windows-msvc, --release, stable)
The job was canceled because "_--features_std_slow_te_7" failed.
test-features (--features=std,slow_tests, i686-pc-windows-msvc, --release, stable)
The operation was canceled.
test-features (--no-default-features, i686-pc-windows-msvc, --release, nightly)
The job was canceled because "_--features_std_slow_te_7" failed.
test-features (--no-default-features, i686-pc-windows-msvc, --release, nightly)
The operation was canceled.
test-features (--features=std,slow_tests, i686-pc-windows-msvc, --release, 1.63.0)
The job was canceled because "_--features_std_slow_te_7" failed.
test-features (--features=std,slow_tests, i686-pc-windows-msvc, --release, 1.63.0)
The operation was canceled.
test-features (--features=std,slow_tests, i686-pc-windows-msvc, --release, nightly)
The job was canceled because "_--features_std_slow_te_7" failed.
test-features (--features=std,slow_tests, i686-pc-windows-msvc, --release, nightly)
The operation was canceled.
test-features (--no-default-features, i686-pc-windows-msvc, --release, 1.63.0)
The job was canceled because "_--features_std_slow_te_7" failed.
test-features (--no-default-features, i686-pc-windows-msvc, --release, 1.63.0)
The operation was canceled.
test-features (--no-default-features, aarch64-unknown-linux-musl, --release, 1.63.0)
The job was canceled because "_--features_std_slow_te_7" failed.
test-features (--no-default-features, aarch64-unknown-linux-musl, --release, 1.63.0)
The operation was canceled.
test-features (--no-default-features, aarch64-unknown-linux-musl, --release, stable)
The job was canceled because "_--features_std_slow_te_7" failed.
test-features (--no-default-features, aarch64-unknown-linux-musl, --release, stable)
The operation was canceled.
test-features (--features=std,slow_tests, aarch64-unknown-linux-musl, --release, nightly)
The job was canceled because "_--features_std_slow_te_7" failed.
test-features (--features=std,slow_tests, aarch64-unknown-linux-musl, --release, nightly)
The operation was canceled.
test-features (--features=std,slow_tests, aarch64-unknown-linux-musl, --release, 1.63.0)
The job was canceled because "_--features_std_slow_te_7" failed.
test-features (--features=std,slow_tests, aarch64-unknown-linux-musl, --release, 1.63.0)
The operation was canceled.
test-features (--no-default-features, x86_64-unknown-linux-gnu, --release, stable)
The job was canceled because "_--features_std_slow_te_7" failed.
test-features (--no-default-features, x86_64-unknown-linux-gnu, --release, stable)
The operation was canceled.
test-features (--no-default-features, x86_64-unknown-linux-gnu, --release, nightly)
The job was canceled because "_--features_std_slow_te_7" failed.
test-features (--no-default-features, x86_64-unknown-linux-gnu, --release, nightly)
The operation was canceled.
test-features (--features=std,slow_tests, aarch64-unknown-linux-musl, --release, stable)
The job was canceled because "_--features_std_slow_te_7" failed.
test-features (--features=std,slow_tests, aarch64-unknown-linux-musl, --release, stable)
The operation was canceled.
test-features (--features=std,slow_tests, x86_64-unknown-linux-gnu, --release, 1.63.0)
The job was canceled because "_--features_std_slow_te_7" failed.
test-features (--features=std,slow_tests, x86_64-unknown-linux-gnu, --release, 1.63.0)
The operation was canceled.
test-features (--no-default-features, x86_64-unknown-linux-gnu, --release, 1.63.0)
The job was canceled because "_--features_std_slow_te_7" failed.
test-features (--no-default-features, x86_64-unknown-linux-gnu, --release, 1.63.0)
The operation was canceled.
test-features (--no-default-features, aarch64-unknown-linux-musl, --release, nightly)
The job was canceled because "_--features_std_slow_te_7" failed.
test-features (--no-default-features, aarch64-unknown-linux-musl, --release, nightly)
The operation was canceled.
test-features (--features=std,slow_tests, x86_64-unknown-linux-gnu, --release, nightly)
The job was canceled because "_--features_std_slow_te_7" failed.
test-features (--features=std,slow_tests, x86_64-unknown-linux-gnu, --release, nightly)
The operation was canceled.
coverage (--features=std, armv7-unknown-linux-gnueabihf, nightly)
Process completed with exit code 101.
coverage (x86_64-unknown-linux-gnu, --features=std, --release, nightly, Nehalem, ubuntu-24.04)
Process completed with exit code 101.
coverage (x86_64-unknown-linux-gnu, --features=std, --release, nightly, Denverton-v2, ubuntu-24.04)
Process completed with exit code 101.
coverage (x86_64-unknown-linux-gnu, --features=std, --release, nightly, SandyBridge, ubuntu-24.04)
Process completed with exit code 101.
coverage (x86_64-unknown-linux-gnu, --features=std, --release, nightly, Westmere, ubuntu-24.04)
Process completed with exit code 101.
coverage (x86_64-unknown-linux-gnu, --features=std, --release, nightly, Conroe-v1, ubuntu-24.04)
Process completed with exit code 101.
coverage (--features=std, powerpc-unknown-linux-gnu, nightly)
Process completed with exit code 101.
test-wasm32-browser (--features=wasm32_unknown_unknown_js, ubuntu-22.04, beta, wasm32-unknown-unk...
Process completed with exit code 1.
test-wasm32-browser (--features=wasm32_unknown_unknown_js, ubuntu-22.04, --release, beta, wasm32-...
The job was canceled because "_--features_wasm32_unkn_2" failed.
test-wasm32-browser (--features=wasm32_unknown_unknown_js, ubuntu-22.04, --release, beta, wasm32-...
The operation was canceled.
coverage (i686-unknown-linux-gnu, --features=std, nightly, ubuntu-24.04)
Process completed with exit code 101.
test-wasm32-browser (--features=wasm32_unknown_unknown_js, ubuntu-22.04, --release, stable, wasm3...
The job was canceled because "_--features_wasm32_unkn_2" failed.
test-wasm32-browser (--features=wasm32_unknown_unknown_js, ubuntu-22.04, --release, stable, wasm3...
The operation was canceled.
test-wasm32-browser (--no-default-features --features=wasm32_unknown_unknown_js, ubuntu-22.04, be...
The job was canceled because "_--features_wasm32_unkn_2" failed.
test-wasm32-browser (--no-default-features --features=wasm32_unknown_unknown_js, ubuntu-22.04, be...
The operation was canceled.
test-wasm32-browser (--features=wasm32_unknown_unknown_js, ubuntu-22.04, nightly, wasm32-unknown-...
The job was canceled because "_--features_wasm32_unkn_2" failed.
test-wasm32-browser (--features=wasm32_unknown_unknown_js, ubuntu-22.04, nightly, wasm32-unknown-...
The operation was canceled.
test-wasm32-browser (--no-default-features --features=wasm32_unknown_unknown_js, ubuntu-22.04, --...
The job was canceled because "_--features_wasm32_unkn_2" failed.
test-wasm32-browser (--no-default-features --features=wasm32_unknown_unknown_js, ubuntu-22.04, --...
The operation was canceled.
test-wasm32-browser (--features=wasm32_unknown_unknown_js, ubuntu-22.04, --release, nightly, wasm...
The job was canceled because "_--features_wasm32_unkn_2" failed.
test-wasm32-browser (--features=wasm32_unknown_unknown_js, ubuntu-22.04, --release, nightly, wasm...
The operation was canceled.
test-wasm32-browser (--features=wasm32_unknown_unknown_js, ubuntu-22.04, stable, wasm32-unknown-u...
The job was canceled because "_--features_wasm32_unkn_2" failed.
test-wasm32-browser (--features=wasm32_unknown_unknown_js, ubuntu-22.04, stable, wasm32-unknown-u...
The operation was canceled.
test-wasm32-browser (--no-default-features --features=wasm32_unknown_unknown_js, ubuntu-22.04, --...
The job was canceled because "_--features_wasm32_unkn_2" failed.
test-wasm32-browser (--no-default-features --features=wasm32_unknown_unknown_js, ubuntu-22.04, --...
The operation was canceled.
test-wasm32-browser (--no-default-features --features=wasm32_unknown_unknown_js, ubuntu-22.04, ni...
The job was canceled because "_--features_wasm32_unkn_2" failed.
test-wasm32-browser (--no-default-features --features=wasm32_unknown_unknown_js, ubuntu-22.04, ni...
The operation was canceled.
test-wasm32-browser (--no-default-features --features=wasm32_unknown_unknown_js, ubuntu-22.04, st...
The job was canceled because "_--features_wasm32_unkn_2" failed.
test-wasm32-browser (--no-default-features --features=wasm32_unknown_unknown_js, ubuntu-22.04, st...
The operation was canceled.
test-wasm32-browser (--no-default-features --features=wasm32_unknown_unknown_js, ubuntu-22.04, --...
The job was canceled because "_--features_wasm32_unkn_2" failed.
test-wasm32-browser (--no-default-features --features=wasm32_unknown_unknown_js, ubuntu-22.04, --...
The operation was canceled.
coverage (i686-unknown-linux-gnu, --features=std, --release, nightly, Nehalem, ubuntu-24.04)
Process completed with exit code 101.
coverage (i686-unknown-linux-gnu, --features=std, --release, nightly, Westmere, ubuntu-24.04)
Process completed with exit code 101.
coverage (i686-unknown-linux-gnu, --features=std, --release, nightly, SandyBridge, ubuntu-24.04)
Process completed with exit code 101.
coverage (i686-unknown-linux-gnu, --features=std, --release, nightly, Denverton-v2, ubuntu-24.04)
Process completed with exit code 101.
coverage (--features=std, arm-unknown-linux-gnueabi, nightly)
Process completed with exit code 101.
coverage (i686-unknown-linux-gnu, --features=std, --release, nightly, Conroe-v1, ubuntu-24.04)
Process completed with exit code 101.
coverage (x86_64-unknown-linux-gnu, --features=std, --release, nightly, Haswell, ubuntu-24.04)
Process completed with exit code 101.
coverage (--features=unstable-testing-arm-no-neon,std, armv7-unknown-linux-gnueabihf, --release, ...
Process completed with exit code 101.
coverage (i686-unknown-linux-gnu, --features=std, --release, nightly, Haswell, ubuntu-24.04)
Process completed with exit code 101.
coverage (--features=unstable-testing-arm-no-hw,std, aarch64-unknown-linux-gnu, --release, nightl...
Process completed with exit code 101.