diff options
| author | Dylan MacKenzie <ecstaticmorse@gmail.com> | 2018-06-17 02:45:38 -0700 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2018-08-29 10:10:58 +0200 |
| commit | 3a55c85c33ec1ed5222ff7f9c57ce8fc426d9455 (patch) | |
| tree | c93a19fdc4e62ba773cf45ec8520f0ba15498a5d /src/rustllvm/RustWrapper.cpp | |
| parent | ea5570cf277601f479a0a5fc8e65adfac60d2922 (diff) | |
| download | rust-3a55c85c33ec1ed5222ff7f9c57ce8fc426d9455.tar.gz rust-3a55c85c33ec1ed5222ff7f9c57ce8fc426d9455.zip | |
Incorporate RalfJung's suggestions
This splits "valid" into "valid for reads" and "valid for writes", and also adds the concept of operation size to validity. Now functions which operate on sequences state that e.g. pointer args must be "valid for reads of size x".
Diffstat (limited to 'src/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions