（二）存活性分析 - Rust中文博客

[utterances-bot]

（二）存活性分析 - Rust中文博客

https://frank-king.github.io/rustblog-zh/2022-01-polonius/01-23-%E5%80%9F%E7%94%A8%E6%A3%80%E6%9F%A5%EF%BC%88%E4%BA%8C%EF%BC%89-%E5%AD%98%E6%B4%BB%E6%80%A7%E5%88%86%E6%9E%90.html

[frank-king]

MIR中的StorageLive与StorageDead主要用于LLVM栈空间分配。

StorageLive(_1) indicates that the variable _1 is "live", meaning that it may be used later – this will persist until we encounter a StorageDead(_1) statement, which indicates that the variable _1 is done being used. These "storage statements" are used by LLVM to allocate stack space.

详见https://rustc-dev-guide.rust-lang.org/mir/index.html 。