Toolchain upgrade to nightly-2024-03-02 failed #3057
Comments
celinval
pushed a commit
that referenced
this issue
Mar 12, 2024
Relevant upstream changes: rust-lang/rust#120675: An intrinsic `Symbol` is now wrapped in a `IntrinsicDef` struct, so the relevant part of the code needed to be updated. rust-lang/rust#121464: The second argument of the `create_wrapper_file` function changed from a vector to a string. rust-lang/rust#121662: `NullOp::DebugAssertions` was renamed to `NullOp::UbCheck` and it now has data (currently unused by Kani) rust-lang/rust#121728: Introduces `F16` and `F128`, so needed to add stubs for them rust-lang/rust#121969: `parse_sess` was renamed to `psess`, so updated the relevant code. rust-lang/rust#122059: The `is_val_statically_known` intrinsic is now used in some `core::fmt` code, so had to handle it in (codegen'ed to false). rust-lang/rust#122233: This added a new `retag_box_to_raw` intrinsic. This is an operation that is primarily relevant for stacked borrows. For Kani, we just return the pointer. Resolves #3057
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Updating Rust toolchain from nightly-2024-03-01 to nightly-2024-03-02 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@878c8a2 up to rust-lang/rust@2dceda4. The log for this commit range is:
rust-lang/rust@2dceda4f32 Auto merge of #121859 - matthiaskrgr:rollup-i724wpm, r=matthiaskrgr
rust-lang/rust@ff22925e50 Rollup merge of #121853 - lcnr:normalizes_to-polarity, r=compiler-errors
rust-lang/rust@68dd5e65a9 Rollup merge of #121850 - reitermarkus:generic-nonzero-unsafe-trait, r=Nilstrieb
rust-lang/rust@96e3777a9f Rollup merge of #121831 - gurry:fix-typo, r=oli-obk
rust-lang/rust@01b58bddd4 Rollup merge of #121828 - mu001999:clean, r=Nilstrieb
rust-lang/rust@47a491d9f0 Rollup merge of #121819 - nnethercote:fix-121812, r=oli-obk
rust-lang/rust@b5ef517ed5 Rollup merge of #121818 - rcvalle:rust-cfi-remove-unused-typeid-for-fnsig, r=workingjubilee
rust-lang/rust@1a4c93e3ed Rollup merge of #121784 - Zalathar:if-or-converge, r=Nadrieril
rust-lang/rust@90ca049320 Rollup merge of #121736 - HTGAzureX1212:HTGAzureX1212/remove-mutex-unlock, r=jhpratt
rust-lang/rust@58825b4ea9 Rollup merge of #121580 - Suyashtnt:issue-121502-fix, r=michaelwoerister
rust-lang/rust@dcde08f21c Rollup merge of #121475 - jieyouxu:tidy-stderr-check, r=the8472,compiler-errors
rust-lang/rust@f23c6ddada Rollup merge of #121416 - veera-sivarajan:bugfix-120785, r=nnethercote
rust-lang/rust@80549a8811 Rollup merge of #120646 - clubby789:uninit-destructuring-sugg, r=michaelwoerister
rust-lang/rust@17edacef07 Auto merge of #113026 - jieyouxu:run-make-v2, r=bjorn3
rust-lang/rust@0700ec078f normalizes-to: handle negative impls
rust-lang/rust@6db96de66c Auto merge of #120264 - weihanglo:split-dward-kind-lto, r=michaelwoerister
rust-lang/rust@f6d2607163 Make
ZeroablePrimitivetrait unsafe.rust-lang/rust@b0696a5160 Auto merge of #121462 - compiler-errors:eq-and-sub, r=lcnr
rust-lang/rust@6cbf0926d5 Auto merge of #121728 - tgross35:f16-f128-step1-ty-updates, r=compiler-errors
rust-lang/rust@beac5b12aa Fix typo in comment
rust-lang/rust@2064c19886 Remove unused fluent messages
rust-lang/rust@5072b659ff Rebase fallout from TypeRelating::binders, inline higher_ranked_sub
rust-lang/rust@b1536568db Fallout from removing a_is_expected
rust-lang/rust@04e22627f5 Remove a_is_expected from combine relations
rust-lang/rust@61daee66a8 Get rid of some sub_exp and eq_exp
rust-lang/rust@801dd1d061 Remove cause
rust-lang/rust@c87b727a23 Combine sub and eq
rust-lang/rust@3cb36317cd Preserve variance on error in generalizer
rust-lang/rust@6f435eb0eb Auto merge of #114016 - krtab:delete_sys_memchr, r=workingjubilee
rust-lang/rust@44f0043e82 Handle stashing of delayed bugs.
rust-lang/rust@7e64163951 CFI: Remove unused
typeid_for_fnsigrust-lang/rust@721c741756 Remove unnecessary
Level::qualifiers.rust-lang/rust@77be7a3e0d Auto merge of #121810 - matthiaskrgr:rollup-mawij2g, r=matthiaskrgr
rust-lang/rust@19ee457ea3 Remove stray stdout/stderr files
rust-lang/rust@f11713be75 Error on stray .stderr/.stdout files for (un-)revisioned tests
rust-lang/rust@b961f25c21 Rollup merge of #121809 - tgross35:suggest-path-split-fixup, r=Amanieu
rust-lang/rust@b07419b6d9 Rollup merge of #121806 - RalfJung:const-metadata, r=oli-obk
rust-lang/rust@50e738bc1c Rollup merge of #121798 - AaronChen0:master, r=Nilstrieb
rust-lang/rust@255fdcc858 Rollup merge of #121782 - RalfJung:mutable-ref-in-static, r=oli-obk
rust-lang/rust@2fdcdd9025 Rollup merge of #121753 - mu001999:core/add_cfg, r=cuviper
rust-lang/rust@419f7aeed6 Rollup merge of #121681 - jswrenn:nix-visibility-analysis, r=compiler-errors
rust-lang/rust@509972089b Rollup merge of #121464 - alexcrichton:fix-wasm64, r=wesleywiser
rust-lang/rust@dd4ecd1cf4 Rollup merge of #121326 - fmease:detect-empty-leading-where-clauses-on-ty-aliases, r=compiler-errors
rust-lang/rust@582ad492cd Remove doc aliases to PATH
rust-lang/rust@3ed175cc54 add const test for ptr::metadata
rust-lang/rust@48e9f92ce2 Add supporting infrastructure for
run-makeV2 testsrust-lang/rust@cce81289e6 Detect empty leading where-clauses on type aliases
rust-lang/rust@2b8060578a AST: Refactor type alias where clauses
rust-lang/rust@fb81ee8bd7 Fix links in rustc doc
rust-lang/rust@a7832b14b1 Make the success arms of
if lhs || rhsmeet up in a separate blockrust-lang/rust@a9596fbf2a make mutable_references_err not bitwidth-dependent
rust-lang/rust@3cc8c8d44b allow statics pointing to mutable statics
rust-lang/rust@88b9e7a602 Bless test
rust-lang/rust@61fcdf6655 Add proper cfg
rust-lang/rust@cc13f8278f Update item order in test
rust-lang/rust@3ba50b36e7 Avoid code duplication
rust-lang/rust@49961947c8 Improve error messages for generics with default parameters
rust-lang/rust@406790e9d1 Add a basic test for
f16andf128rust-lang/rust@c17a516a3a Add stubs for
f16andf128to mirirust-lang/rust@ae70502a2e Add stubs for
f16andf128to clippyrust-lang/rust@98e172832f Add basic support for
f16andf128to rustdocrust-lang/rust@e3f63d9375 Add
f16andf128torustc_type_ir::FloatTyandrustc_abi::Primitiverust-lang/rust@a9907b1fdf remove Mutex::unlock
rust-lang/rust@23ab1bda92 safe transmute: revise safety analysis
rust-lang/rust@748c6151be make unused_imports less assertive in test modules
rust-lang/rust@646e8e7291 rustc: Fix wasm64 metadata object files
rust-lang/rust@88ac7ace56 Delete architecture-specific memchr code in std::sys
rust-lang/rust@75da582987 Fix incorrect suggestion for uninitialize binding in destructuring pattern
rust-lang/rust@39e8512179 test: enable
unpacked-ltotestsThe text was updated successfully, but these errors were encountered: