Toolchain upgrade to nightly-2024-08-04 failed #3411
Comments
tautschnig
added a commit
to tautschnig/kani
that referenced
this issue
Aug 5, 2024
* Remove `gen_function_local_variable` and `initializer_fn_name`, the last uses of both of which were removed in model-checking#3305. * Remove `arg_count`, which was introduced in model-checking#3363, but not actually used. * Remove `insert_bb`, which was introduced in model-checking#3382, but not actually used. The toolchain upgrade to 2024-08-04 includes several bugfixes to dead-code analysis in rustc, explaining why we the recent PRs as listed above weren't flagged before for introducing dead code. Resolves: model-checking#3411
github-merge-queue bot
pushed a commit
that referenced
this issue
Aug 5, 2024
* Remove `gen_function_local_variable` and `initializer_fn_name`, the last uses of both of which were removed in #3305. * Mark `arg_count`, which was introduced in #3363, as `allow(dead_code)` as it will soon be used. * Mark `insert_bb`, which was introduced in #3382, as `allow(dead_code)` as it will soon be used. The toolchain upgrade to 2024-08-04 includes several bugfixes to dead-code analysis in rustc, explaining why we the recent PRs as listed above weren't flagged before for introducing dead code. Resolves: #3411 By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Updating Rust toolchain from nightly-2024-08-03 to nightly-2024-08-04 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@fd8d6fb up to rust-lang/rust@64ebd39. The log for this commit range is:
rust-lang/rust@64ebd39da5 Auto merge of #128614 - matthiaskrgr:rollup-d2fextz, r=matthiaskrgr
rust-lang/rust@0655ed234f Rollup merge of #128603 - ChrisDenton:used, r=jieyouxu
rust-lang/rust@3a9d432589 Rollup merge of #128581 - jieyouxu:checked-attr, r=nnethercote
rust-lang/rust@e488ee7efd Rollup merge of #128573 - GuillaumeGomez:simplify-body, r=notriddle
rust-lang/rust@06133811a6 Rollup merge of #128551 - Konippi:refactor-backtrace-style-in-panic, r=tgross35
rust-lang/rust@53a56190af Rollup merge of #128530 - scottmcm:repeat-n-unchecked, r=joboet
rust-lang/rust@0afbe482f0 Rollup merge of #128283 - lolbinarycat:bootstrap-custom-target, r=albertlarsan68
rust-lang/rust@7d9ed2a864 Rollup merge of #127921 - spastorino:stabilize-unsafe-extern-blocks, r=compiler-errors
rust-lang/rust@bbf60c897e Auto merge of #127324 - DianQK:match-br, r=cjgillot
rust-lang/rust@edc4dc337b Auto merge of #128370 - petrochenkov:libsearch, r=bjorn3
rust-lang/rust@a3a09b488f Simplify
bodyusage in rustdocrust-lang/rust@1f47624f9a Auto merge of #128404 - compiler-errors:revert-dead-code-changes, r=pnkfelix
rust-lang/rust@eb451464a7 Remove BAR for run-make/used.rs
rust-lang/rust@b564b70d1c Update run-make/used to use
any_symbol_containsrust-lang/rust@106cf7bec2 Remove another false-negative hidden by dead code changes
rust-lang/rust@a57b8b91db Bless test fallout
rust-lang/rust@cbd27db9a9 Suppress new false-negatives that were masked by dead code analysis changes
rust-lang/rust@ac56007ea7 Revert "Rollup merge of #125572 - mu001999-contrib:dead/enhance, r=pnkfelix"
rust-lang/rust@d29818c9f5 Revert "Rollup merge of #126315 - mu001999-contrib:fix/126289, r=petrochenkov"
rust-lang/rust@22da616245 Revert "Rollup merge of #126618 - mu001999-contrib:dead/enhance, r=pnkfelix"
rust-lang/rust@5f5b4ee128 Revert "Rollup merge of #127107 - mu001999-contrib:dead/enhance-2, r=pnkfelix"
rust-lang/rust@c6b6c1270a Revert "Rollup merge of #127017 - mu001999-contrib:dead/enhance, r=pnkfelix"
rust-lang/rust@361ab1af0c Revert "Rollup merge of #128104 - mu001999-contrib:fix/128053, r=petrochenkov"
rust-lang/rust@1f873f9cf1 Fix linking to sanitizers on Apple targets
rust-lang/rust@35977b47cc linker: Pass fewer search directories to the linker
rust-lang/rust@ad0a2b7180 Auto merge of #128595 - matthiaskrgr:rollup-7a4qa8b, r=matthiaskrgr
rust-lang/rust@9b69042d5b Rollup merge of #128557 - nyurik:dup-init, r=compiler-errors
rust-lang/rust@dee57ce043 Rollup merge of #128483 - nnethercote:still-more-cfg-cleanups, r=petrochenkov
rust-lang/rust@2f549aac39 Rollup merge of #128368 - nnethercote:rustfmt-tweaks, r=cuviper
rust-lang/rust@95d9f1c4ab Rollup merge of #128303 - NobodyXu:specialise-for-pipe, r=cuviper
rust-lang/rust@47a795bbd3 Rollup merge of #128161 - EtomicBomb:just-compiletest, r=notriddle
rust-lang/rust@1f700139f8 Rollup merge of #127586 - zachs18:more-must-use, r=cuviper
rust-lang/rust@8aa18290a4 Rollup merge of #126704 - sayantn:sha, r=Amanieu
rust-lang/rust@a6043039ad Auto merge of #128356 - Oneirical:real-estate-reaLTOr, r=jieyouxu
rust-lang/rust@eefd2eac52 Auto merge of #128576 - weihanglo:update-cargo, r=weihanglo
rust-lang/rust@1f9d9603c0 Re-enable SimplifyToExp in match_branches.
rust-lang/rust@8b9d7b1489 Simplify match based on the cast result of
IntToInt.rust-lang/rust@33cb33441d Add test for
coroutineattributerust-lang/rust@ed010dd32c Assert that all attributes are actually checked via
CheckAttrVisitorand aren't accidentally usable on completely unrelated HIR nodesrust-lang/rust@a798e0f488 chore: refactor backtrace style in panic
rust-lang/rust@05111c90be Update cargo
rust-lang/rust@1df0458781 Auto merge of #128528 - workingjubilee:you-dont-need-to-see-this-cpuid-move-along, r=Amanieu
rust-lang/rust@84e261e5cb chore: use shorthand initializer
rust-lang/rust@290a260721 run cross-lang-lto-pgo-smoketest in CI by renaming it
rust-lang/rust@560e86d753 rewrite cross-lang-lto-pgo-smoketest to rmake
rust-lang/rust@c0d9357a4c rewrite cross-lang-lto-clang to rmake
rust-lang/rust@6264d2eba9 bootstrap: fix bug preventing the use of custom targets
rust-lang/rust@36527d691e rustfmt: Remove
has_cpuidfrom testrust-lang/rust@77ca30f195 Implement
UncheckedIteratordirectly forRepeatNrust-lang/rust@2f0aaaf2b9 std: Remove has_cpuid
rust-lang/rust@41b017ec99 Add the
sha512,sm3andsm4target featuresrust-lang/rust@d1f05fd184 Distinguish the two kinds of token range.
rust-lang/rust@9d77d17f71 Move a comment to a better spot.
rust-lang/rust@2eb2ef1684 Streamline attribute stitching on AST nodes.
rust-lang/rust@fe647f0538 Remove
LhsExpr.rust-lang/rust@281c2fd5bf Inline and remove
parse_local_mk.rust-lang/rust@bd23e0eb26 canonicalize path in another place to fix #128411
rust-lang/rust@70fcf9e790 Insert some blank lines.
rust-lang/rust@bd24763aaf Move a comment.
rust-lang/rust@f91da72cb7 merge conflicts; fix rebase duplicating imports
rust-lang/rust@12d87ee237 file_stem and comment per notriddle
rust-lang/rust@f6f0ef46f5 reformatted rustdoc/cross-crate-info, fixing trailing newline issue
rust-lang/rust@d8211def61 ordering and wrapping cross-crate-info tests
rust-lang/rust@794434ec63 initial implementation of rustdoc nested aux-build
rust-lang/rust@649b4310a3 Enable
std::io::copyspecialisation forstd::pipe::{PipeReader, PipeWriter}rust-lang/rust@8366c7fe9c Stabilize unsafe extern blocks (RFC 3484)
rust-lang/rust@84d84daf17 Explicitly ignore
into_raw_handle()usinglet _ =in sys/pal/windows.rust-lang/rust@6d477d3a9d Add
must_useto IntoRawFd/IntoRawSocket/IntoRawHandle's methods.rust-lang/rust@0d49862998 Clarify/add
must_usemessages for moreinto_raw*functions ofalloctypes.The text was updated successfully, but these errors were encountered: