diff options
| author | Ralf Jung <post@ralfj.de> | 2017-07-13 20:08:35 -0700 |
|---|---|---|
| committer | Oliver Schneider <git-spam-no-reply9815368754983@oli-obk.de> | 2017-07-25 10:22:11 +0200 |
| commit | 4457a52d4f34dcc00234f1aa6047fcd5efeaf543 (patch) | |
| tree | 2b5e469d86816a78355add3092dbac585624dbae /src/test/incremental/thinlto | |
| parent | 7c6e6cf4921564c8df713c29e97d88a27a1cff02 (diff) | |
| download | rust-4457a52d4f34dcc00234f1aa6047fcd5efeaf543.tar.gz rust-4457a52d4f34dcc00234f1aa6047fcd5efeaf543.zip | |
Re-do the way locking is done during verification
We now lock at the "leaves" on the types, rather than locking at references. In particular, Validate for sth. of non-reference lvalue will also lock the "outer" memory. Also change the way we release write locks, and some refactoring in the memory.
Diffstat (limited to 'src/test/incremental/thinlto')
0 files changed, 0 insertions, 0 deletions