diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-11-17 08:10:26 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-11-17 08:10:26 +0100 |
| commit | c188486267c492c1e71d5db26c2fe42376654ed1 (patch) | |
| tree | 22ebf65158b56edb0aee622f5036416fb0ae2f33 /compiler/rustc_codegen_llvm/src/errors.rs | |
| parent | 1cabedc256a590c770f1a64903b61da48622c587 (diff) | |
| parent | 8e81fc00879b640ed6acc6a9ca870814189901e5 (diff) | |
| download | rust-c188486267c492c1e71d5db26c2fe42376654ed1.tar.gz rust-c188486267c492c1e71d5db26c2fe42376654ed1.zip | |
Rollup merge of #117688 - celinval:smir-kani-reach, r=compiler-errors
Misc changes to StableMIR required to Kani use case.
First, I wanted to say that I can split this review into multiple if it makes reviewing easier. I bundled them up, since I've been testing them together (See https://github.com/rust-lang/project-stable-mir/pull/51 for the set of more thorough checks).
So far, this review includes 3 commits:
1. Add more APIs and fix `Instance::body`
- Add more APIs to retrieve information about types.
- Add a few more instance resolution options. For the drop shim, we return None if the drop body is empty. Not sure it will be enough.
- Make `Instance::body()` return an Option<Body>, since not every instance might have an available body. For example, foreign instances, virtual instances, dependencies.
2. Fix a bug on MIRVisitor
- We were not iterating over all local variables due to a typo.
3. Add more SMIR internal impl and callback return value
- In cases like Kani, we will invoke the rustc_internal run command directly for now. It would be handly to be able to have a callback that can return a value.
- We also need extra methods to convert stable constructs into internal ones, so we can break down the transition into finer grain commits.
- For the internal implementation of Region, we're always returning `ReErased` for now.
Diffstat (limited to 'compiler/rustc_codegen_llvm/src/errors.rs')
0 files changed, 0 insertions, 0 deletions