Compiler unexpectedly panicked when execute cargo mirai

[AiDaiP]

Issue

Compiler unexpectedly panicked when execute cargo mirai in timing_channels.

Steps to Reproduce

cd examples/tag_analysis/timing_channels 
MIRAI_FLAGS="--constant_time SecretTaintKind"  cargo mirai

The output is:

    Checking timing_channels v0.1.0 (/home/aidai/rust_fuzz/MIRAI/examples/tag_analysis/timing_channels)
error: internal compiler error: the following error was constructed but not emitted

warning: the branch condition may have a SecretTaintKind tag
  --> examples/tag_analysis/timing_channels/src/lib.rs:45:16
   |
45 |             if secret[i] != public[i] {
   |                ^^^^^^^^^^^^^^^^^^^^^^

thread 'rustc' panicked at compiler/rustc_errors/src/diagnostic_builder.rs:775:21:
error was constructed but not emitted
stack backtrace:
   0:     0x7f854dc3519c - std::backtrace_rs::backtrace::libunwind::trace::haf256adafafbe58d
                               at /rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5
   1:     0x7f854dc3519c - std::backtrace_rs::backtrace::trace_unsynchronized::hfe1951132ff691c0
                               at /rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
   2:     0x7f854dc3519c - std::sys_common::backtrace::_print_fmt::h9a0fe52434930c36
                               at /rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/library/std/src/sys_common/backtrace.rs:67:5
   3:     0x7f854dc3519c - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h24adccbf3e1ada83
                               at /rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/library/std/src/sys_common/backtrace.rs:44:22
   4:     0x7f854dc9b89c - core::fmt::rt::Argument::fmt::h18ba555e398addfe
                               at /rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/library/core/src/fmt/rt.rs:138:9
   5:     0x7f854dc9b89c - core::fmt::write::hbf3ee2d80be74759
                               at /rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/library/core/src/fmt/mod.rs:1094:21
   6:     0x7f854dc2790e - std::io::Write::write_fmt::hfc2b3251522ff943
                               at /rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/library/std/src/io/mod.rs:1714:15
   7:     0x7f854dc34f85 - std::sys_common::backtrace::_print::hfdc8ddb5f3ddee36
                               at /rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/library/std/src/sys_common/backtrace.rs:47:5
   8:     0x7f854dc34f85 - std::sys_common::backtrace::print::h316f264b298c7a30
                               at /rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/library/std/src/sys_common/backtrace.rs:34:9
   9:     0x7f854dc380da - std::panicking::panic_hook_with_disk_dump::{{closure}}::h136bbb963feeea4a
                               at /rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/library/std/src/panicking.rs:278:22
  10:     0x7f854dc37d73 - std::panicking::panic_hook_with_disk_dump::hd91a018a982a84f7
                               at /rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/library/std/src/panicking.rs:312:9
  11:     0x7f8550ef4799 - rustc_driver_impl[2c2bb0da6cfb3826]::install_ice_hook::{closure#0}
  12:     0x7f854dc38980 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hd99b1fe24ccd07b5
                               at /rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/library/alloc/src/boxed.rs:2021:9
  13:     0x7f854dc38980 - std::panicking::rust_panic_with_hook::h1593161995c9c003
                               at /rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/library/std/src/panicking.rs:733:13
  14:     0x7f854dc386c1 - std::panicking::begin_panic_handler::{{closure}}::h6b4a934e37237346
                               at /rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/library/std/src/panicking.rs:619:13
  15:     0x7f854dc356d6 - std::sys_common::backtrace::__rust_end_short_backtrace::h365e31c6291fdffa
                               at /rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/library/std/src/sys_common/backtrace.rs:170:18
  16:     0x7f854dc38452 - rust_begin_unwind
                               at /rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/library/std/src/panicking.rs:617:5
  17:     0x7f854dc97c53 - core::panicking::panic_fmt::hbd2564497e278309
                               at /rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/library/core/src/panicking.rs:67:14
  18:     0x7f854fb60cc7 - <rustc_errors[4345527545ed2164]::diagnostic_builder::DiagnosticBuilderInner as core[8e2a8f22f3da315]::ops::drop::Drop>::drop
  19:     0x55d6d1e74ee6 - core::ptr::drop_in_place<rustc_errors::diagnostic_builder::DiagnosticBuilderInner>::he06e27b03426f1e9
                               at /rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/library/core/src/ptr/mod.rs:497:1
  20:     0x55d6d1e74ee6 - core::ptr::drop_in_place<rustc_errors::diagnostic_builder::DiagnosticBuilder<()>>::h98319bea3129a12f
                               at /rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/library/core/src/ptr/mod.rs:497:1
  21:     0x55d6d1e74ee6 - mirai::block_visitor::BlockVisitor::check_tag_existence_on_value::he03a8b1dee02691f
                               at /home/aidai/rust_fuzz/MIRAI/checker/src/block_visitor.rs:1408:21
  22:     0x55d6d1e6f0be - mirai::block_visitor::BlockVisitor::visit_switch_int::h4754770542abfa3e
                               at /home/aidai/rust_fuzz/MIRAI/checker/src/block_visitor.rs:376:34
  23:     0x55d6d1e6f0be - mirai::block_visitor::BlockVisitor::visit_terminator::h1e5295fba8d3d163
                               at /home/aidai/rust_fuzz/MIRAI/checker/src/block_visitor.rs:290:17
  24:     0x55d6d1e6cc17 - mirai::block_visitor::BlockVisitor::visit_basic_block::hbdaf333ba38e17ac
                               at /home/aidai/rust_fuzz/MIRAI/checker/src/block_visitor.rs:104:13
  25:     0x55d6d1dd13e0 - mirai::body_visitor::BodyVisitor::visit_basic_block::h9a1ac79840a6643b
                               at /home/aidai/rust_fuzz/MIRAI/checker/src/body_visitor.rs:1100:9
  26:     0x55d6d1dd13e0 - mirai::body_visitor::BodyVisitor::check_for_errors::haace6816c4e0bcce
                               at /home/aidai/rust_fuzz/MIRAI/checker/src/body_visitor.rs:817:13
  27:     0x55d6d1dccbef - mirai::body_visitor::BodyVisitor::visit_body::h738f15ea4af98a00
                               at /home/aidai/rust_fuzz/MIRAI/checker/src/body_visitor.rs:236:13
  28:     0x55d6d1d6d386 - mirai::crate_visitor::CrateVisitor::analyze_body::{{closure}}::h772d7c8f19bebc9c
                               at /home/aidai/rust_fuzz/MIRAI/checker/src/crate_visitor.rs:185:23
  29:     0x55d6d1d6d386 - mirai::crate_visitor::CrateVisitor::analyze_body::h85e258c91eb83ebf
                               at /home/aidai/rust_fuzz/MIRAI/checker/src/crate_visitor.rs:173:5
  30:     0x55d6d1d6d386 - mirai::crate_visitor::CrateVisitor::analyze_some_bodies::{{closure}}::hf21618d4e789c71d
                               at /home/aidai/rust_fuzz/MIRAI/checker/src/crate_visitor.rs:127:13
  31:     0x55d6d1d6d386 - mirai::crate_visitor::CrateVisitor::analyze_some_bodies::h8669f50b365285f8
                               at /home/aidai/rust_fuzz/MIRAI/checker/src/crate_visitor.rs:71:5
  32:     0x55d6d1d64830 - mirai::callbacks::MiraiCallbacks::analyze_with_mirai::{{closure}}::h8a89e8152112d7a5
                               at /home/aidai/rust_fuzz/MIRAI/checker/src/callbacks.rs:172:9
  33:     0x55d6d1d64830 - mirai::callbacks::MiraiCallbacks::analyze_with_mirai::h7593c6b1a14ec673
                               at /home/aidai/rust_fuzz/MIRAI/checker/src/callbacks.rs:131:5
  34:     0x55d6d1d63c57 - <mirai::callbacks::MiraiCallbacks as rustc_driver_impl::Callbacks>::after_analysis::{{closure}}::{{closure}}::h413d7e0e3e1db7d3
                               at /home/aidai/rust_fuzz/MIRAI/checker/src/callbacks.rs:118:26
  35:     0x55d6d1d63c57 - rustc_middle::ty::context::GlobalCtxt::enter::{{closure}}::h7a356c4231d6cc76
                               at /rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/compiler/rustc_middle/src/ty/context.rs:587:37
  36:     0x55d6d1d63c57 - rustc_middle::ty::context::tls::enter_context::{{closure}}::hfb68763f7847365e
                               at /rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/compiler/rustc_middle/src/ty/context/tls.rs:82:9
  37:     0x55d6d1d63c57 - std::thread::local::LocalKey<T>::try_with::hb891c9076e5be573
                               at /rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/library/std/src/thread/local.rs:270:16
  38:     0x55d6d1d63c57 - std::thread::local::LocalKey<T>::with::h0b1f59fc89779a71
                               at /rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/library/std/src/thread/local.rs:246:9
  39:     0x55d6d1d63c57 - rustc_middle::ty::context::tls::enter_context::hcc535926aab8be59
                               at /rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/compiler/rustc_middle/src/ty/context/tls.rs:79:9
  40:     0x55d6d1d63c57 - rustc_middle::ty::context::GlobalCtxt::enter::h08f2d195a8c5a3fc
                               at /rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/compiler/rustc_middle/src/ty/context.rs:587:9
  41:     0x55d6d1d63c57 - rustc_interface::queries::QueryResult<&rustc_middle::ty::context::GlobalCtxt>::enter::h1be76edd6e6a4d6b
                               at /rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/compiler/rustc_interface/src/queries.rs:71:9
  42:     0x55d6d1d63c57 - <mirai::callbacks::MiraiCallbacks as rustc_driver_impl::Callbacks>::after_analysis::{{closure}}::h8ebbce694d548fe6
                               at /home/aidai/rust_fuzz/MIRAI/checker/src/callbacks.rs:115:9
  43:     0x55d6d1d63c57 - <mirai::callbacks::MiraiCallbacks as rustc_driver_impl::Callbacks>::after_analysis::h266abf5427205d26
                               at /home/aidai/rust_fuzz/MIRAI/checker/src/callbacks.rs:98:5
  44:     0x7f855015ff17 - <rustc_interface[b10bd5cb1b971de9]::interface::Compiler>::enter::<rustc_driver_impl[2c2bb0da6cfb3826]::run_compiler::{closure#1}::{closure#2}, core[8e2a8f22f3da315]::result::Result<core[8e2a8f22f3da315]::option::Option<rustc_interface[b10bd5cb1b971de9]::queries::Linker>, rustc_span[9abd768efbccd329]::ErrorGuaranteed>>
  45:     0x7f8550158fc8 - std[b7e5a9c79ea9fbed]::sys_common::backtrace::__rust_begin_short_backtrace::<rustc_interface[b10bd5cb1b971de9]::util::run_in_thread_pool_with_globals<rustc_interface[b10bd5cb1b971de9]::interface::run_compiler<core[8e2a8f22f3da315]::result::Result<(), rustc_span[9abd768efbccd329]::ErrorGuaranteed>, rustc_driver_impl[2c2bb0da6cfb3826]::run_compiler::{closure#1}>::{closure#0}, core[8e2a8f22f3da315]::result::Result<(), rustc_span[9abd768efbccd329]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[8e2a8f22f3da315]::result::Result<(), rustc_span[9abd768efbccd329]::ErrorGuaranteed>>
  46:     0x7f855015874e - <<std[b7e5a9c79ea9fbed]::thread::Builder>::spawn_unchecked_<rustc_interface[b10bd5cb1b971de9]::util::run_in_thread_pool_with_globals<rustc_interface[b10bd5cb1b971de9]::interface::run_compiler<core[8e2a8f22f3da315]::result::Result<(), rustc_span[9abd768efbccd329]::ErrorGuaranteed>, rustc_driver_impl[2c2bb0da6cfb3826]::run_compiler::{closure#1}>::{closure#0}, core[8e2a8f22f3da315]::result::Result<(), rustc_span[9abd768efbccd329]::ErrorGuaranteed>>::{closure#0}::{closure#0}, core[8e2a8f22f3da315]::result::Result<(), rustc_span[9abd768efbccd329]::ErrorGuaranteed>>::{closure#1} as core[8e2a8f22f3da315]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
  47:     0x7f854dc43125 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hb18992c0c074fb04
                               at /rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/library/alloc/src/boxed.rs:2007:9
  48:     0x7f854dc43125 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::ha4998f5f9033c44e
                               at /rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/library/alloc/src/boxed.rs:2007:9
  49:     0x7f854dc43125 - std::sys::unix::thread::Thread::new::thread_start::h3370231efa79af31
                               at /rustc/474709a9a2a74a8bcf0055fadb335d0ca0d2d939/library/std/src/sys/unix/thread.rs:108:17
  50:     0x7f854d90a609 - start_thread
                               at /build/glibc-SzIz7B/glibc-2.31/nptl/pthread_create.c:477:8
  51:     0x7f854d6de133 - clone
                               at /build/glibc-SzIz7B/glibc-2.31/misc/../sysdeps/unix/sysv/linux/x86_64/clone.S:95
  52:                0x0 - <unknown>

error: 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: please attach the file at `/home/aidai/rust_fuzz/MIRAI/rustc-ice-2023-08-26T08:07:28.420140337Z-2350301.txt` to your bug report

note: compiler flags: --crate-type lib -C embed-bitcode=no -C debuginfo=2 -C incremental=[REDACTED] -Z always_encode_mir

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

query stack during panic:
end of query stack
warning: `timing_channels` (lib) generated 1 warning
error: could not compile `timing_channels` (lib); 1 warning emitted

Expected Behavior

Compiler should not panic.

Actual Results

Compiler unexpectedly panicked.

Environment

rustc --version
rustc 1.70.0 (90c541806 2023-05-31)