diff options
| author | David Wood <david@davidtw.co> | 2018-11-05 15:14:28 +0100 |
|---|---|---|
| committer | David Wood <david@davidtw.co> | 2018-11-05 17:40:40 +0100 |
| commit | 1672c27a7dbeda2ea3b1aa775b259fc90a270870 (patch) | |
| tree | aa1b84c9d3d9ed65f4dcaa794f12b9e63ee9e3c9 /src/liballoc | |
| parent | 8e7786a2d9285fc79ec595d85081064560b9d4e4 (diff) | |
| download | rust-1672c27a7dbeda2ea3b1aa775b259fc90a270870.tar.gz rust-1672c27a7dbeda2ea3b1aa775b259fc90a270870.zip | |
Improve predecessor detection.
It is necessary to detect whether we are making the first assignment into a union. This is checked by looking at the moves and checking if there are any from locations earlier in the control flow graph. This commit improves the detection of this by switching from a naive method that compared only the statement and basic block indices with a more robust method that looks at the predecessors of a location.
Diffstat (limited to 'src/liballoc')
0 files changed, 0 insertions, 0 deletions