Hi all, Now in the process of analyzing the compilation step of RUST, I wonder that the MIR code phase. In the MIR stage, Unsafe information is checked as follows. Based on the analysis, I want to find the part that outputs information about Unsafe in the MIR stage in the rustc source code(GitHub - rust-lang/rust: Empowering everyone to build reliable and efficient software.). May I know which directory or source file outputs the unsafe information in the MIR stage?
As the chapter explains, MIR is defined in
rustc_middle::mir module. In particular, there is an enum
rustc_middle::mir::Safety. The link leads to its documentation and it also links to its source location.