diff options
| author | Paul Daniel Faria <nashenas88@users.noreply.github.com> | 2017-11-17 04:34:02 -0500 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2017-12-04 08:51:11 -0500 |
| commit | a9cb25b23aace3e8a7db3e64468dd84314a6d867 (patch) | |
| tree | bbc932afb29cce1b628aab2700ca54c4181bccf5 /src/rustllvm/RustWrapper.cpp | |
| parent | 08c8d7e91917dd7265042d6ccf204e241f17db32 (diff) | |
| download | rust-a9cb25b23aace3e8a7db3e64468dd84314a6d867.tar.gz rust-a9cb25b23aace3e8a7db3e64468dd84314a6d867.zip | |
inform constraint generation using maybe-init
In particular, if we see a variable is DROP-LIVE, but it is not MAYBE-INIT, then we can ignore the drop. This leavess attempt to use more complex refinements of the idea (e.g., for subpaths or subfields) to future work.
Diffstat (limited to 'src/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions