diff options
| author | bors <bors@rust-lang.org> | 2014-03-20 05:51:48 -0700 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2014-03-20 05:51:48 -0700 |
| commit | 8e285208d550c41d5060bbc4a614c9b63c3bff6a (patch) | |
| tree | 8c4ca58b43010ac4bb619df96c7425247e9ba55a /src/rustllvm/ExecutionEngineWrapper.cpp | |
| parent | 95ee0a04fd78deb773da2d1b2544696c4f0278c7 (diff) | |
| parent | 7b19574a2c2faac766c5192b243e5c361e449f3b (diff) | |
| download | rust-8e285208d550c41d5060bbc4a614c9b63c3bff6a.tar.gz rust-8e285208d550c41d5060bbc4a614c9b63c3bff6a.zip | |
auto merge of #12686 : FlaPer87/rust/shared, r=nikomatsakis
`Share` implies that all *reachable* content is *threadsafe*. Threadsafe is defined as "exposing no operation that permits a data race if multiple threads have access to a &T pointer simultaneously". (NB: the type system should guarantee that if you have access to memory via a &T pointer, the only other way to gain access to that memory is through another &T pointer)... Fixes #11781 cc #12577 What this PR will do ================ - [x] Add Share kind and - [x] Replace usages of Freeze with Share in bounds. - [x] Add Unsafe<T> #12577 - [x] Forbid taking the address of a immutable static item with `Unsafe<T>` interior What's left to do in a separate PR (after the snapshot)? =========================================== - Remove `Freeze` completely
Diffstat (limited to 'src/rustllvm/ExecutionEngineWrapper.cpp')
0 files changed, 0 insertions, 0 deletions