Rapx is panicked at src/analysis/core/range_analysis/domain/ConstraintGraph.rs:880:59 with pathcond subcommand. The panic information is as follows with cargo rapx -pathcond.
thread 'rustc' panicked at src/analysis/core/range_analysis/domain/ConstraintGraph.rs:880:59:
called `Option::unwrap()` on a `None` value
stack backtrace:
0: 0x7f709337cecb - <std[a281d47bcdda01fa]::backtrace::Backtrace>::create
1: 0x7f709337ce15 - <std[a281d47bcdda01fa]::backtrace::Backtrace>::force_capture
2: 0x7f70923fc803 - std[a281d47bcdda01fa]::panicking::update_hook::<alloc[9d17511b3b4830f4]::boxed::Box<rustc_driver_impl[c62d54acffbb1b79]::install_ice_hook::{closure#1}>>::{closure#0}
3: 0x7f709338f852 - std[a281d47bcdda01fa]::panicking::panic_with_hook
4: 0x7f7093371f5a - std[a281d47bcdda01fa]::panicking::panic_handler::{closure#0}
5: 0x7f7093368fe9 - std[a281d47bcdda01fa]::sys::backtrace::__rust_end_short_backtrace::<std[a281d47bcdda01fa]::panicking::panic_handler::{closure#0}, !>
6: 0x7f7093373add - __rustc[1e670509d0475bac]::rust_begin_unwind
7: 0x7f7090537d5c - core[3c22d146b17900d2]::panicking::panic_fmt
8: 0x7f708fe65bd2 - core[3c22d146b17900d2]::panicking::panic
9: 0x7f70907888f9 - core[3c22d146b17900d2]::option::unwrap_failed
10: 0x55a20c279a84 - <rapx[52c7d368577bf59d]::analysis::core::range_analysis::domain::ConstraintGraph::ConstraintGraph<i64>>::build_value_maps
11: 0x55a20c29f011 - <rapx[52c7d368577bf59d]::analysis::core::range_analysis::default::RangeAnalyzer<i64>>::start_path_constraints_analysis
12: 0x55a20c2f9c53 - rapx[52c7d368577bf59d]::start_analyzer
13: 0x55a20c3572dc - rustc_public[706f9b280354cd5c]::rustc_internal::run::<<rapx[52c7d368577bf59d]::RapCallback as rustc_driver_impl[c62d54acffbb1b79]::Callbacks>::after_analysis::{closure#0}, ()>
14: 0x55a20c30f50b - <rapx[52c7d368577bf59d]::RapCallback as rustc_driver_impl[c62d54acffbb1b79]::Callbacks>::after_analysis
15: 0x7f7094c45033 - <rustc_interface[76fc95e16e4b83f8]::passes::create_and_enter_global_ctxt<core[3c22d146b17900d2]::option::Option<rustc_interface[76fc95e16e4b83f8]::queries::Linker>, rustc_driver_impl[c62d54acffbb1b79]::run_compiler::{closure#0}::{closure#2}>::{closure#2} as core[3c22d146b17900d2]::ops::function::FnOnce<(&rustc_session[ac8bf7f8d5234bcc]::session::Session, rustc_middle[e0114d918db60c17]::ty::context::CurrentGcx, alloc[9d17511b3b4830f4]::sync::Arc<rustc_data_structures[def20a9c40e189d]::jobserver::Proxy>, &std[a281d47bcdda01fa]::sync::once_lock::OnceLock<rustc_middle[e0114d918db60c17]::ty::context::GlobalCtxt>, &rustc_data_structures[def20a9c40e189d]::sync::worker_local::WorkerLocal<rustc_middle[e0114d918db60c17]::arena::Arena>, &rustc_data_structures[def20a9c40e189d]::sync::worker_local::WorkerLocal<rustc_hir[a8f875085b9e5248]::Arena>, rustc_driver_impl[c62d54acffbb1b79]::run_compiler::{closure#0}::{closure#2})>>::call_once::{shim:vtable#0}
16: 0x7f7094adbb45 - rustc_interface[76fc95e16e4b83f8]::interface::run_compiler::<(), rustc_driver_impl[c62d54acffbb1b79]::run_compiler::{closure#0}>::{closure#1}
17: 0x7f7094a42bca - std[a281d47bcdda01fa]::sys::backtrace::__rust_begin_short_backtrace::<rustc_interface[76fc95e16e4b83f8]::util::run_in_thread_with_globals<rustc_interface[76fc95e16e4b83f8]::util::run_in_thread_pool_with_globals<rustc_interface[76fc95e16e4b83f8]::interface::run_compiler<(), rustc_driver_impl[c62d54acffbb1b79]::run_compiler::{closure#0}>::{closure#1}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>
18: 0x7f7094a4299d - <std[a281d47bcdda01fa]::thread::lifecycle::spawn_unchecked<rustc_interface[76fc95e16e4b83f8]::util::run_in_thread_with_globals<rustc_interface[76fc95e16e4b83f8]::util::run_in_thread_pool_with_globals<rustc_interface[76fc95e16e4b83f8]::interface::run_compiler<(), rustc_driver_impl[c62d54acffbb1b79]::run_compiler::{closure#0}>::{closure#1}, ()>::{closure#0}, ()>::{closure#0}::{closure#0}, ()>::{closure#1} as core[3c22d146b17900d2]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
19: 0x7f7094a40ab8 - <std[a281d47bcdda01fa]::sys::thread::unix::Thread>::new::thread_start
20: 0x7f708d33c609 - start_thread
at /build/glibc-B3wQXB/glibc-2.31/nptl/pthread_create.c:477:8
21: 0x7f708d110353 - clone
at /build/glibc-B3wQXB/glibc-2.31/misc/../sysdeps/unix/sysv/linux/x86_64/clone.S:95:0
22: 0x0 - <unknown>
rustc version: 1.94.0-nightly (1aa9bab4e 2025-12-05)
platform: x86_64-unknown-linux-gnu
query stack during panic:
end of query stack
Rapx is panicked at src/analysis/core/range_analysis/domain/ConstraintGraph.rs:880:59 with pathcond subcommand. The panic information is as follows with
cargo rapx -pathcond.