Toolchain upgrade to nightly-2024-11-28 failed #3752
Comments
tautschnig
added a commit
to tautschnig/kani
that referenced
this issue
Dec 3, 2024
Update parameter and function indices in LLBC tests (again) that appear to have changed without any of the upstream changes obviously causing this. Those tests will eventually be removed in upcoming changes. Resolves: model-checking#3752
github-merge-queue bot
pushed a commit
that referenced
this issue
Dec 3, 2024
Update parameter and function indices in LLBC tests (again) that appear to have changed without any of the upstream changes obviously causing this. Those tests will eventually be removed in upcoming changes. Resolves: #3752 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-11-27 to nightly-2024-11-28 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@dff3e7c up to rust-lang/rust@6b6a867. The log for this commit range is:
rust-lang/rust@6b6a867ae9 Auto merge of #133474 - RalfJung:gvn-miscompile, r=compiler-errors
rust-lang/rust@c322cd5c5a Auto merge of #133393 - compiler-errors:dyn-tweaks, r=lcnr,spastorino
rust-lang/rust@39cb3386dd Auto merge of #133369 - Zalathar:profiler-builtins-no-core, r=jieyouxu
rust-lang/rust@5f8a2405a6 Auto merge of #133527 - matthiaskrgr:rollup-kyre1df, r=matthiaskrgr
rust-lang/rust@762a661705 Rollup merge of #133493 - lcnr:fulfill-fudge, r=compiler-errors
rust-lang/rust@3cce78b0d1 Rollup merge of #133457 - joboet:miri-tlsfree, r=saethlin
rust-lang/rust@04d633366d Rollup merge of #133453 - ferrocene:check-license-metadata, r=Kobzol
rust-lang/rust@dcebc5eddd Rollup merge of #133449 - joboet:io_const_error, r=tgross35
rust-lang/rust@21f6ef577b Rollup merge of #133248 - MarcoIeni:x86_64-msvc-ext-free, r=Kobzol
rust-lang/rust@ee2d862212 Rollup merge of #132979 - onur-ozkan:skip-exact, r=jieyouxu,tgross35
rust-lang/rust@83965efe6a Auto merge of #133274 - ehuss:macro_rules-edition-from-pm, r=compiler-errors
rust-lang/rust@48696f5bd6 Auto merge of #133516 - compiler-errors:rollup-mq334h8, r=compiler-errors
rust-lang/rust@702996c31b Rollup merge of #133513 - ChrisDenton:windows-msvc, r=jieyouxu
rust-lang/rust@219b2a010d Rollup merge of #133475 - nnethercote:MaybeStorage-improvements, r=lcnr
rust-lang/rust@82622c6876 Rollup merge of #133471 - lcnr:uwu-gamer, r=BoxyUwU
rust-lang/rust@32dc3936a0 Rollup merge of #133458 - GuillaumeGomez:fix-prelude-tys-links, r=notriddle
rust-lang/rust@8a2f57f0c4 Rollup merge of #133402 - compiler-errors:drop-and-destruct, r=lcnr
rust-lang/rust@f101562980 Rollup merge of #133304 - lqd:issue-132920, r=estebank
rust-lang/rust@24e7196f92 Rollup merge of #132605 - Kobzol:ci-increase-timeout, r=Mark-Simulacrum
rust-lang/rust@145df3bd70 Rollup merge of #115293 - cjgillot:no-fuel, r=wesleywiser,DianQK
rust-lang/rust@dd2837ec5d Auto merge of #133505 - compiler-errors:rollup-xjp8hdi, r=compiler-errors
rust-lang/rust@787b795d14 Only ignore windows-gnu in avr-jmp-offset
rust-lang/rust@8d404a4af5 don't pass every test arg to test-float-parse
rust-lang/rust@c14d137bfc std: update internal uses of
io::const_error!rust-lang/rust@c4e2b0c605 Rollup merge of #133435 - RalfJung:test_downgrade_observe, r=tgross35
rust-lang/rust@f5c1f7fae1 Rollup merge of #133410 - RalfJung:target-feature-consistency, r=compiler-errors
rust-lang/rust@b0ed5ac730 Rollup merge of #133394 - compiler-errors:dyn-more-errors, r=lcnr
rust-lang/rust@cf09718876 Rollup merge of #133367 - compiler-errors:array-len-mismatch, r=BoxyUwU
rust-lang/rust@479de1f7f2 Rollup merge of #133362 - compiler-errors:existential-preds, r=BoxyUwU
rust-lang/rust@3e1a089257 Rollup merge of #133326 - nnethercote:rm-DefinitelyInitializedPlaces, r=cjgillot
rust-lang/rust@3013cd83cc Rollup merge of #133282 - tgross35:maybe-uninit-debug, r=Amanieu
rust-lang/rust@f010e2dc57 Rollup merge of #133155 - nnethercote:yet-more-rustc_mir_dataflow-cleanups, r=cjgillot
rust-lang/rust@6e5bac19d0 Rollup merge of #133140 - dtolnay:precedence, r=fmease
rust-lang/rust@42459a7971 Rollup merge of #133136 - ChayimFriedman2:get-many-mut, r=Amanieu
rust-lang/rust@9d6a11a435 Rollup merge of #133070 - nnethercote:lexer-tweaks, r=chenyukang
rust-lang/rust@5915190fed Rollup merge of #133042 - cuviper:btreemap-insert_entry, r=Amanieu
rust-lang/rust@fa66288a32 update crashes
rust-lang/rust@982cde9801 Remove extra tests.
rust-lang/rust@d013c18a6f Pacify tidy.
rust-lang/rust@7fa021ad86 Remove -Zfuel.
rust-lang/rust@d25ecfd5d6 do not constrain infer vars in
find_best_leaf_obligationrust-lang/rust@a602cb666a Make some modules non-
pub.rust-lang/rust@e3ef2ff05f Streamline a
BitSetcreation.rust-lang/rust@3d12160dfc Move
always_storage_live_locals.rust-lang/rust@71789427a3 Improve
MaybeStorageLive::initialize_start_block.rust-lang/rust@be7c6a3b43 Make it possible for
ResultsCursorto borrow aResults.rust-lang/rust@1914dbe694 Tweak
MaybeBorrowedLocals::transfer_functionusage.rust-lang/rust@dae019dc9d Remove
selfparam forMaybeBorrowedLocals::transfer_function.rust-lang/rust@7e704afc2d Add some useful comments.
rust-lang/rust@0066acf753 Merge
apply_effects_in_blockandjoin_state_into_successors_of.rust-lang/rust@906f66fb4c comment out the old tests instead of adjusting them
rust-lang/rust@917dd82628 Do not unify dereferences in GVN.
rust-lang/rust@2cc0ee65d9 Add test.
rust-lang/rust@58936c1d2a fix gce typing_mode mismatch
rust-lang/rust@bcfc8ab319 Remove span hack that doesnt do anything
rust-lang/rust@4a896e7e3e No need to store original_span in ClauseWithSupertraitSpan
rust-lang/rust@d3867174c0 Simplify object_region_bounds
rust-lang/rust@bd44b632a8 Constify Drop and Destruct
rust-lang/rust@c8399255f3 Add regression test for prelude types
rust-lang/rust@d0a45cfeaa Fix
ResultandOptionnot getting a jump to def link generatedrust-lang/rust@77fccf59e3 miri: implement
TlsFreerust-lang/rust@d39afacbdf std: expose
const_io_error!asconst_error!rust-lang/rust@db71194416 generate-copyright: Use license-metadata.json from git.
rust-lang/rust@587369b95e Run the license-metadata check in CI.
rust-lang/rust@03cdaeed97 collect-license-metadata: move JSON to root, and add a 'check' mode
rust-lang/rust@16a78526ce generate-copyright: Ensure output has UNIX line-endings for consistency.
rust-lang/rust@e8796c452d CI: split x86_64-msvc-ext job
rust-lang/rust@4a230bba74 Support ranges in
<[T]>::get_many_mut()rust-lang/rust@c9b56b9694 miri: disable test_downgrade_observe test on macOS
rust-lang/rust@16a39bb7ca Streamline
lex_token_treeserror handling.rust-lang/rust@4cd2840f00 Clean up
c_or_byte_string.rust-lang/rust@11c96cfd94 Improve
strip_shebangtesting.rust-lang/rust@ba1a1ddc3f Fix some formatting.
rust-lang/rust@593cf680aa Split
Lexer::bump.rust-lang/rust@98777b4c49 Merge
TokenTreesReaderintoStringReader.rust-lang/rust@6798ecaf10 Coverage test for allowing coverage in a
#![no_core]craterust-lang/rust@972663d8ec Allow injecting a profiler runtime into
#![no_core]cratesrust-lang/rust@5d42f64ad2 target check_consistency: ensure target feature string makes some basic sense
rust-lang/rust@28970a2cb0 Simplify array length mismatch error reporting
rust-lang/rust@bba3567386 Make profiler_builtins
#![no_core]instead of just#![no_std]rust-lang/rust@5967cf1a3a Remove unnecessary
#![allow(unused_features)]rust-lang/rust@7d2d11b595 Sort and separate lint/feature attributes in
profiler_builtinsrust-lang/rust@e6f1ca6752 Clarify logic for whether a profiler runtime is needed
rust-lang/rust@cfa8fcbf58 Dont create trait object if it has errors in it
rust-lang/rust@898ccdb754 Dont create object type when more than one principal is present
rust-lang/rust@b5fc3a10d3 No need to re-sort existential preds
rust-lang/rust@c1707aaf0b Shorten the
MaybeUninitDebugimplementationrust-lang/rust@ae9ac0e383 Remove the
DefinitelyInitializedPlacesanalysis.rust-lang/rust@764e3e264f Revert "Remove less relevant info from diagnostic"
rust-lang/rust@91486607e3 add convoluted test for issue 132920
rust-lang/rust@993e084eb1 Use edition of
macro_ruleswhen compiling the macrorust-lang/rust@a1838660c3 Add tests for the edition of macro_rules from a proc-macro
rust-lang/rust@e5f1555000 Inline ExprPrecedence::order into Expr::precedence
rust-lang/rust@584ec95972 btree: add
{Entry,VacantEntry}::insert_entryrust-lang/rust@1824c7fa32 don't pass every test arg to cg_clif
rust-lang/rust@13d59eca9a use
--exacton--skipto avoid unintended substring matchesrust-lang/rust@b910e977a3 CI: increase timeout from 4h to 6h
The text was updated successfully, but these errors were encountered: