4 ms·
isn't there basically some sort of static analysis going on during the rust compilation to ensure memory is accounted for?
by fnord77 5y ago
isn't there basically some sort of static analysis going on during the rust compilation to ensure memory is accounted for?
- kibwen 5y agoThere are a variety of static checks that Rust performs in order to ensure memory safety. rustc might perform these checks at various parts of the pipeline, but it might be possible for a different compiler to perform these checks at other points depending on what information its chosen IRs encode (for example, borrow checking requires a control-flow graph, which only exists at the MIR stage in rustc).