Create a MutMirVisitor
#81
Assignees
Labels
good first issue
Good for newcomers
Comments
|
@rustbot claim |
jieyouxu
added a commit
to jieyouxu/rust
that referenced
this issue
Mar 20, 2025
stable_mir: Add `MutMirVisitor` Resolves: [rust-lang/project-stable-mir#81](rust-lang/project-stable-mir#81). I am unsure if we should add a `MutableBody` like Kani did. Currently, I use `&mut Body` in `MutMirVisitor::visit_body()`. r? `@celinval`
Kobzol
added a commit
to Kobzol/rust
that referenced
this issue
Mar 21, 2025
stable_mir: Add `MutMirVisitor` Resolves: [rust-lang/project-stable-mir#81](rust-lang/project-stable-mir#81). I am unsure if we should add a `MutableBody` like Kani did. Currently, I use `&mut Body` in `MutMirVisitor::visit_body()`. r? ``@celinval``
matthiaskrgr
added a commit
to matthiaskrgr/rust
that referenced
this issue
Mar 21, 2025
stable_mir: Add `MutMirVisitor` Resolves: [rust-lang/project-stable-mir#81](rust-lang/project-stable-mir#81). I am unsure if we should add a `MutableBody` like Kani did. Currently, I use `&mut Body` in `MutMirVisitor::visit_body()`. r? ```@celinval```
matthiaskrgr
added a commit
to matthiaskrgr/rust
that referenced
this issue
Mar 21, 2025
stable_mir: Add `MutMirVisitor` Resolves: [rust-lang/project-stable-mir#81](rust-lang/project-stable-mir#81). I am unsure if we should add a `MutableBody` like Kani did. Currently, I use `&mut Body` in `MutMirVisitor::visit_body()`. r? ````@celinval````
tgross35
added a commit
to tgross35/rust
that referenced
this issue
Mar 22, 2025
stable_mir: Add `MutMirVisitor` Resolves: [rust-lang/project-stable-mir#81](rust-lang/project-stable-mir#81). I am unsure if we should add a `MutableBody` like Kani did. Currently, I use `&mut Body` in `MutMirVisitor::visit_body()`. r? `````@celinval`````
matthiaskrgr
added a commit
to matthiaskrgr/rust
that referenced
this issue
Mar 22, 2025
stable_mir: Add `MutMirVisitor` Resolves: [rust-lang/project-stable-mir#81](rust-lang/project-stable-mir#81). I am unsure if we should add a `MutableBody` like Kani did. Currently, I use `&mut Body` in `MutMirVisitor::visit_body()`. r? ``````@celinval``````
rust-timer
added a commit
to rust-lang-ci/rust
that referenced
this issue
Mar 22, 2025
Rollup merge of rust-lang#138536 - makai410:mut-mir-visitor, r=celinval stable_mir: Add `MutMirVisitor` Resolves: [rust-lang/project-stable-mir#81](rust-lang/project-stable-mir#81). I am unsure if we should add a `MutableBody` like Kani did. Currently, I use `&mut Body` in `MutMirVisitor::visit_body()`. r? ``````@celinval``````
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
We currently provide a
MirVisitorthat allows users to visit the MIR of a function body, but without mutating it. It would be super helpful to provide a new version that allows body mutation.The mutation would only be applied to the StableMIR body. But that can be quite handy if tools want to apply some transformations before running any analysis. For example, in Kani we instrument the code with extra checks before the analysis.
The text was updated successfully, but these errors were encountered: