2021 week 30: rebase off upstream

[adpaco-aws]

No description provided.

[adpaco-aws]

Rebase: Conflict appears in Rust's CI workflow file:

CONFLICT (modify/delete): .github/workflows/ci.yml deleted in Renamed files to avoid name conflicts and modified in HEAD. Version HEAD of .github/workflows/ci.yml left in tree.

Action: Remove file.

Rebase proceeds without any other conflict.

[adpaco-aws]

The regression has failed in the standard library codegen stage:

Starting RMC codegen for the Rust standard library
     Created binary (application) `SizeAndAlignOfDstTest` package
Panic on building standard library
    Updating crates.io index
   Compiling compiler_builtins v0.1.49
   Compiling core v0.0.0 (/home/ubuntu/rmc-rebase-3/build/x86_64-unknown-linux-gnu/stage1/lib/rustlib/src/rust/library/core)
   Compiling libc v0.2.98
   Compiling cc v1.0.69
   Compiling std v0.0.0 (/home/ubuntu/rmc-rebase-3/build/x86_64-unknown-linux-gnu/stage1/lib/rustlib/src/rust/library/std)
   Compiling unwind v0.0.0 (/home/ubuntu/rmc-rebase-3/build/x86_64-unknown-linux-gnu/stage1/lib/rustlib/src/rust/library/unwind)
   Compiling rustc-std-workspace-core v1.99.0 (/home/ubuntu/rmc-rebase-3/build/x86_64-unknown-linux-gnu/stage1/lib/rustlib/src/rust/library/rustc-std-workspace-core)
   Compiling alloc v0.0.0 (/home/ubuntu/rmc-rebase-3/build/x86_64-unknown-linux-gnu/stage1/lib/rustlib/src/rust/library/alloc)
   Compiling cfg-if v0.1.10
   Compiling adler v0.2.3
   Compiling rustc-demangle v0.1.18
thread 'rustc' panicked at 'not implemented: unsupported intrinsic: caller_location
        in function panic::location::Location::<'a>::caller', compiler/rustc_codegen_llvm/src/gotoc/intrinsic.rs:470:18
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

error: internal compiler error: unexpected panic

note: the compiler unexpectedly panicked. this is a bug.

note: we would appreciate a bug report: https://github.com/rust-lang/rust/issues/new?labels=C-bug%2C+I-ICE%2C+T-compiler&template=ice.md

note: rustc 1.56.0-dev running on x86_64-unknown-linux-gnu

note: compiler flags: -Z force-unstable-if-unmarked -Z trim-diagnostic-paths=no -Z codegen-backend=gotoc -C embed-bitcode=no -C debuginfo=2 --crate-type lib

note: some of the compiler flags provided by cargo are hidden

query stack during panic:
end of query stack

[RMC] current codegen item: codegen_function: panic::location::Location::<'a>::caller

RMC unexpectedly panicked during code generation.

If you are seeing this message, please file an issue here instead of on the Rust compiler: https://github.com/model-checking/rmc/issues/new?labels=bug&template=bug_report.md
error: could not compile `core`

To learn more, run the command again with --verbose.
warning: build failed, waiting for other jobs to finish...
error: build failed

[adpaco-aws]

Failing candidate branch pushed to main-154-2021-08-02. A new intrinsic needs to be handled in order to fix the branch.

[adpaco-aws]

Update: main-154-2021-08-02 has not failed in CI. This is quite odd, but my guess is that the std-lib regression script is not doing anything.

Take this run for example. The whole step takes 2m59s to execute. Out of these, 2m26s are spent in the main regression and 13s in unit tests. It seems unlikely that the stdlib is being codegen'd using the remaining 20s. Opened #375 to investigate.

[adpaco-aws]

#376 has added basic support for the new intrinsic. It has been merged so main-154-2021-08-02 is the new default branch.