Toolchain upgrade to nightly-2024-02-18 failed #3044
Comments
adpaco-aws
added a commit
that referenced
this issue
Feb 29, 2024
Upgrades the Rust toolchain to `nightly-2024-02-25`. The Rust compiler PRs that triggered changes in this upgrades are: * rust-lang/rust#121209 * rust-lang/rust#121309 * rust-lang/rust#120863 * rust-lang/rust#117772 * rust-lang/rust#117658 With rust-lang/rust#121309 some intrinsics became inlineable so their names became qualified. This made our `match` on the intrinsic name to fail in those cases, leaving them as unsupported constructs as in this example: ``` warning: Found the following unsupported constructs: - _RNvNtCscyGW2MM2t5j_4core10intrinsics8unlikelyCs1eohKeNmpdS_5arith (3) - caller_location (1) - foreign function (1) Verification will fail if one or more of these constructs is reachable. See https://model-checking.github.io/kani/rust-feature-support.html for more details. [...] Failed Checks: _RNvNtCscyGW2MM2t5j_4core10intrinsics8unlikelyCs1eohKeNmpdS_5arith is not currently supported by Kani. Please post your example at https://github.com/model-checking/kani/issues/new/choose File: "/home/ubuntu/.rustup/toolchains/nightly-2024-02-18-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/library/core/src/num/mod.rs", line 25, in core::num::<impl i8>::checked_add ``` We use `trimmed_name()` to work around this, but that may include type arguments if the intrinsic is defined on generics. So in those cases, we just take the first part of the name so we can keep the rest as before. Resolves #3044
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Updating Rust toolchain from nightly-2024-02-17 to nightly-2024-02-18 requires source changes.
The failed automated run can be found here.
Please review the changes at https://github.com/rust-lang/rust from rust-lang/rust@bccb9bb up to rust-lang/rust@6672c16. The log for this commit range is:
rust-lang/rust@6672c16afc Auto merge of #121204 - cuviper:flatten-one-shot, r=the8472
rust-lang/rust@cabdf3ad25 Auto merge of #121240 - matthiaskrgr:rollup-lfb5i9w, r=matthiaskrgr
rust-lang/rust@eafa74ab62 Rollup merge of #121231 - matthiaskrgr:cloone, r=compiler-errors
rust-lang/rust@4ddc8e4368 Rollup merge of #121228 - onur-ozkan:fix-clippy-stamp-bug, r=albertlarsan68
rust-lang/rust@a78e4610d0 Rollup merge of #121210 - madsmtm:fix-target-abi-i386-apple-ios, r=workingjubilee
rust-lang/rust@a387b71b0c Rollup merge of #121209 - nnethercote:infallible-join_codegen, r=bjorn3
rust-lang/rust@df3712ce21 Rollup merge of #121193 - compiler-errors:coherence-fulfillment, r=lcnr
rust-lang/rust@cb371797d6 Rollup merge of #121149 - SebastianJL:patch-1, r=Mark-Simulacrum
rust-lang/rust@60cc6b93f6 Rollup merge of #121091 - onur-ozkan:bypass-stage0-download-in-tests, r=albertlarsan68
rust-lang/rust@45d5773704 Rollup merge of #121085 - davidtwco:always-eager-diagnostics, r=nnethercote
rust-lang/rust@59972868e6 Rollup merge of #120952 - saethlin:vec-into-iter, r=the8472
rust-lang/rust@12b5498f3b Auto merge of #120023 - klensy:tidy-alloc, r=Mark-Simulacrum
rust-lang/rust@eeeb021954 Auto merge of #121232 - RalfJung:miri, r=RalfJung
rust-lang/rust@fd5a84b529 update lockfile
rust-lang/rust@87b6f415f2 remove a couple of redundant clones
rust-lang/rust@ba824a2e25 Auto merge of #121227 - Nadrieril:rollup-n6qky3z, r=Nadrieril
rust-lang/rust@3ec7d0a57c create stamp file for clippy in
Config::download_clippyrust-lang/rust@e266a12307 Rollup merge of #121197 - beetrees:configure-quotes, r=Nilstrieb
rust-lang/rust@936b666c4a Rollup merge of #121192 - oli-obk:intrinsics2.0, r=WaffleLapkin
rust-lang/rust@ac619c05da Rollup merge of #121191 - Nadrieril:ping, r=compiler-errors
rust-lang/rust@f3d9abc590 Rollup merge of #121187 - Takashiidobe:takashi/examples-for-quickselect, r=Nilstrieb
rust-lang/rust@c7701ba803 Rollup merge of #121135 - Zalathar:no-whole-body-span, r=wesleywiser
rust-lang/rust@5ff9022306 Rollup merge of #121059 - compiler-errors:extension, r=davidtwco,Nilstrieb
rust-lang/rust@f70f13a1d3 Rollup merge of #120932 - RalfJung:mut-ptr-to-static, r=oli-obk
rust-lang/rust@5f21609463 Rollup merge of #119032 - smmalis37:patch-1, r=ChrisDenton
rust-lang/rust@f6fa03bfae compiletest: fix regex rebuilds
rust-lang/rust@12f9de7d0e tidy: wrap regexes with lazy_static
rust-lang/rust@340f8aac7e const_mut_refs: allow mutable refs to statics
rust-lang/rust@dfdbe30004 Auto merge of #119432 - gurry:117949-make-lint-run-on-promoteds, r=oli-obk
rust-lang/rust@bbfce9196f Auto merge of #3303 - rust-lang:rustup-2024-02-17, r=saethlin
rust-lang/rust@d523cab910 Merge from rustc
rust-lang/rust@5010ca001c Enable
ConstPropLintfor promotedsrust-lang/rust@63240d758b Preparing for merge from rustc
rust-lang/rust@4316d0c625 Auto merge of #120563 - reitermarkus:generic-nonzero-get, r=dtolnay
rust-lang/rust@405b22f1a3 Auto merge of #120741 - a1phyr:safe_buffer_advance, r=m-ou-se
rust-lang/rust@d80198595c Fix comment
rust-lang/rust@dae22a598b Fix
cfg(target_abi = "sim")on i386-apple-iosrust-lang/rust@c36ae932f9 Clarify the flatten specialization comment
rust-lang/rust@3b63edeb99 Remove cfg_attr
rust-lang/rust@228441dbd6 Use fulfillment in next trait solver coherence
rust-lang/rust@40719384e1 Use a hardcoded constant instead of calling OpenProcessToken.
rust-lang/rust@ede99234c4 Make
CodegenBackend::join_codegeninfallible.rust-lang/rust@dd40a80102 Give the (
un)likelyintrinsics fallback bodiesrust-lang/rust@6a671bdbf1 Give the
assumeintrinsic a fallback bodyrust-lang/rust@974bc455ee Specialize flattening iterators with only one inner item
rust-lang/rust@d2a4ef39ca Auto merge of #3192 - eduardosm:x86-avx-intrinsics, r=RalfJung
rust-lang/rust@524c16d387 Implement x86 AVX intrinsics
rust-lang/rust@d855ca044d Ensure
./configureworks whenconfigure.pypath contains spacesrust-lang/rust@6c7827c03e Add myself to review rotation
rust-lang/rust@4b732c990d Let rustbot ping me on changes to match lowering
rust-lang/rust@7c2db703b0 Don't use mem::zeroed in vec::IntoIter
rust-lang/rust@f624d55ea7 Nits
rust-lang/rust@a9dbf63087 Move trait into attr so it's greppable
rust-lang/rust@9c25823bb4 Use extension trait derive
rust-lang/rust@3250e95305 Add a simple extension trait derive
rust-lang/rust@b49bd0bba0 Add examples to document the return type of
select_nth_unstable,select_nth_unstable_by, andselect_nth_unstable_by_key.rust-lang/rust@c335b4e4a0 Auto merge of #3301 - rust-lang:rustup-2024-02-16, r=saethlin
rust-lang/rust@840ca093e6 fmt
rust-lang/rust@f1abde7e5d Merge from rustc
rust-lang/rust@089eb6b11f Preparing for merge from rustc
rust-lang/rust@cd9021e8cb coverage: Discard spans that fill the entire function body
rust-lang/rust@75af3c58f9 coverage: Regression test for a span extraction inconsistency
rust-lang/rust@17066870cd Fix typo in VecDeque::handle_capacity_increase() doc comment.
rust-lang/rust@b80fc5d4e8 errors: only eagerly translate subdiagnostics
rust-lang/rust@6c117f6321 Auto merge of #3300 - RalfJung:rustup, r=RalfJung
rust-lang/rust@17693eb549 remove no-longer needed rustfmt::skip
rust-lang/rust@7a086ac887 Merge from rustc
rust-lang/rust@6539a64d73 Preparing for merge from rustc
rust-lang/rust@0925ff8300 use build.rustc config and skip-stage0-validation flag
rust-lang/rust@41555ab4a3 Auto merge of #3298 - rust-lang:rustup-2024-02-13, r=oli-obk
rust-lang/rust@43e9411db8 Prevent rustfmt from messing up experimental syntax
rust-lang/rust@893615fb5f Merge from rustc
rust-lang/rust@760e8d2842 Preparing for merge from rustc
rust-lang/rust@d2e446d39e Auto merge of #3296 - RalfJung:rustup, r=RalfJung
rust-lang/rust@781190f5b7 also test pthread_mutex/rwlock directly
rust-lang/rust@fe4d3274f0 comment tweaks
rust-lang/rust@c41d5b12b8 Merge from rustc
rust-lang/rust@ca7a4b55d7 Preparing for merge from rustc
rust-lang/rust@cad872a70c Auto merge of #3295 - RalfJung:imported_main, r=RalfJung
rust-lang/rust@b38d871eec add tests for imported_main
rust-lang/rust@e2b42a50aa Auto merge of #3285 - sunfishcode:sunfishcode/mmap64, r=RalfJung
rust-lang/rust@064ad45bf7 Move
mmap64's implementation under "File related shims".rust-lang/rust@438f43c7a0 Make the
mmap64implementation Linux-specific.rust-lang/rust@a40a100e4b Auto merge of #3294 - rust-lang:rustup-2024-02-11, r=saethlin
rust-lang/rust@48bb2bf4e6 fmt
rust-lang/rust@31b66251be Merge from rustc
rust-lang/rust@0913e227d3 Preparing for merge from rustc
rust-lang/rust@aa406341b4 Factor out the redundancy between
test_mmapandtest_mmap64.rust-lang/rust@5a3a2d5a5e Auto merge of #3293 - rust-lang:rustup-2024-02-10, r=saethlin
rust-lang/rust@45d5d4b1b3 fmt
rust-lang/rust@3e97b415c3 Merge from rustc
rust-lang/rust@d4b8ed0073 Preparing for merge from rustc
rust-lang/rust@24e2cf01d3 Make
NonZero::getgeneric.rust-lang/rust@a5077d9989 Auto merge of #3292 - rust-lang:rustup-2024-02-08, r=saethlin
rust-lang/rust@964a576dc0 fmt
rust-lang/rust@c232e94bc1 Merge from rustc
rust-lang/rust@cab1cc48ec Preparing for merge from rustc
rust-lang/rust@0a42a540c6 Make
io::BorrowedCursor::advancesaferust-lang/rust@35551d059c Auto merge of #3291 - rust-lang:rustup-2024-02-06, r=saethlin
rust-lang/rust@08e774179e Merge from rustc
rust-lang/rust@eaa2da5d92 Preparing for merge from rustc
rust-lang/rust@f45a5b10a0 Auto merge of #3290 - tv42:master, r=saethlin
rust-lang/rust@5587a37384 Stop recommending cargo clean in README
rust-lang/rust@0602b1350b Auto merge of #2956 - oli-obk:atty, r=RalfJung
rust-lang/rust@fae29fdf63 Auto merge of #3283 - devnexen:fbsd_affinity, r=oli-obk
rust-lang/rust@562d529bcf Auto merge of #3286 - rust-lang:rustup-2024-01-31, r=saethlin
rust-lang/rust@24fece28f6 fmt
rust-lang/rust@38b8bd3737 Merge from rustc
rust-lang/rust@63524ee216 Preparing for merge from rustc
rust-lang/rust@e47bb90928 add num_cpus test
rust-lang/rust@a6f1dbac79 Implement the
mmap64foreign item.rust-lang/rust@3d26a4182f Switch over to rustc's
tracingcrate instead of using our ownlogcraterust-lang/rust@9eb94e8d20 moving out sched_getaffinity interception from linux'shim, FreeBSD supporting it too.
The text was updated successfully, but these errors were encountered: