<!-- Please report security concerns to us on the [AWS vulnerability reporting](http://aws.amazon.com/security/vulnerability-reporting/) page. --> <!-- Thank you for filing a bug report! 🐛 Please provide a short summary of the issue, along with the information necessary to replicate. --> I tried this code: <!-- If the reproducing code is small, please post it here. Otherwise, please attach the relevant files to this issue. Alternatively, post a link to the repository and branch that exposes the issue. --> ```rust #![feature(core_intrinsics)] use std::intrinsics; fn main() { intrinsics::abort(); } ``` using the following command line invocation: ``` <command> ``` with RMC version: I expected to see this happen: *explanation* <!-- If RMC crashed, please include a backtrace in the code block by setting `RUST_BACKTRACE=1` in your environment. E.g. `RUST_BACKTRACE=1 rmc ...` --> Instead, this happened: *explanation*