diff options
| author | Nicholas Nethercote <n.nethercote@gmail.com> | 2023-12-08 09:35:57 +1100 |
|---|---|---|
| committer | Nicholas Nethercote <n.nethercote@gmail.com> | 2023-12-08 09:49:11 +1100 |
| commit | 4b364b6f0f1d7d6db1b289777068a11c1021bc24 (patch) | |
| tree | 63ac985b1016aa93a3e1609ef585d06f7ec50557 /tests/codegen/src-hash-algorithm/src-hash-algorithm-sha1.rs | |
| parent | 0158404e78f26e75bb234782d7bc58a9eda9b00c (diff) | |
| download | rust-4b364b6f0f1d7d6db1b289777068a11c1021bc24.tar.gz rust-4b364b6f0f1d7d6db1b289777068a11c1021bc24.zip | |
Tweak `GenKillAnalysis`.
`GenKillAnalysis` has five methods that take a transfer function arg: - `statement_effect` - `before_statement_effect` - `terminator_effect` - `before_terminator_effect` - `call_return_effect` All the transfer function args have type `&mut impl GenKill<Self::Idx>`, except for `terminator_effect`, which takes the simpler `Self::Domain`. But only the first two need to be `impl GenKill`. The other three can all be `Self::Domain`, just like `Analysis`. So this commit changes the last two to take `Self::Domain`, making `GenKillAnalysis` and `Analysis` more similar. (Another idea would be to make all these methods `impl GenKill`. But that doesn't work: `MaybeInitializedPlaces::terminator_effect` requires the arg be `Self::Domain` so that `self_is_unwind_dead(place, state)` can be called on it.)
Diffstat (limited to 'tests/codegen/src-hash-algorithm/src-hash-algorithm-sha1.rs')
0 files changed, 0 insertions, 0 deletions