Commit Graph

2346 Commits

Author SHA1 Message Date
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
d136fdb701
Merge pull request #513 from RalfJung/new-interior-mut
New Stacked Borrows, now with better support for interior mutability
2018-11-08 20:22:54 +01:00
Ralf Jung
d694dc43f4 bump Rust version 2018-11-08 08:35:14 +01:00
Ralf Jung
f4e45ff2b7 sort the fields ourselves 2018-11-08 08:29:34 +01:00
Ralf Jung
00936316d1 treat shared and raw borrows alike 2018-11-08 08:29:34 +01:00
Ralf Jung
74635a57e2 re-do large parts of stacked borrows, now with proper support for partiall frozen data 2018-11-08 08:29:34 +01:00
Ralf Jung
d0b79cf53b
Merge pull request #514 from solson/rustup
bump rust
2018-11-08 08:26:00 +01:00
Ralf Jung
a05ba90300 disable Rc test for now, it ain't working 2018-11-07 14:24:11 +01:00
Ralf Jung
2ff1f24f2b bump rust 2018-11-07 10:41:15 +01:00
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
0e9e0f2d82
Merge pull request #510 from solson/rustup
rustup: value -> immediate, by-value HasLayout, edition 2018
2018-11-05 17:02:38 +01:00
Ralf Jung
f6d6470bc4 move to 2018 edition
I want NLL :D
2018-11-05 15:45:27 +01:00
Ralf Jung
9edac3189a rustup 2018-11-05 08:52:02 +01:00
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
c6ffcd0aa8
Merge pull request #509 from solson/rustup
fix for latest nightly
2018-11-04 11:57:12 +01:00
Ralf Jung
a8af5ae139 fix for latest nightly 2018-11-04 10:30:15 +01:00
Ralf Jung
c62fa57e2b
Merge pull request #507 from RalfJung/nonzero
test that we check the layout constraints as early as we can
2018-11-03 13:47:42 +01:00
Ralf Jung
efd2f0e0e4 move new test to correct dir 2018-11-03 12:33:14 +01:00
Ralf Jung
e68687b840 test that we check the layout constraints as early as we can 2018-11-03 12:25:57 +01:00
Ralf Jung
1d2877d773
Merge pull request #506 from solson/rustup
Rustup for retagging
2018-11-03 12:04:17 +01:00
Ralf Jung
cb691b7ed9 comment on mut-to-shr transmutes 2018-11-03 11:42:38 +01:00
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
8ac5d988e2
typo
Co-Authored-By: RalfJung <post@ralfj.de>
2018-11-03 11:39:50 +01:00
Ralf Jung
8da2c9e34e fix adding default arguments 2018-11-03 11:03:53 +01:00
Ralf Jung
5f42aa61d5 illegal_write2 does not work with optimizations 2018-11-03 10:23:50 +01:00
Ralf Jung
e9f79f5f6f bump Rust version 2018-11-03 09:11:37 +01:00
Ralf Jung
dc859f345d Merge remote-tracking branch 'origin/master' into rustup 2018-11-02 14:32:56 +01:00
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
b1be4ee564
Merge pull request #504 from RalfJung/crate
use crate:: imports where appropriate
2018-11-01 12:16:14 +01:00
Ralf Jung
a68779fd16 use crate:: import to make edition port easier later 2018-11-01 09:00:09 +01:00
Ralf Jung
81534496dc rename RefKind to UsageKind, because it not only used for references now 2018-11-01 08:58:03 +01:00
Ralf Jung
478f137c39 put all the logic into reactivatable() 2018-11-01 08:58:03 +01:00
Ralf Jung
3302656247 More extensive slice and vec tests
Not all of them pass validation...
2018-11-01 08:58:03 +01:00
Ralf Jung
430e047a6f start collecting some things ALLOWED by stacked borrows in a run-pass test 2018-11-01 08:58:03 +01:00
Ralf Jung
85f821d7e9 unify checks on memory access and reborrowing, and update for Machine trait change 2018-11-01 08:58:03 +01:00
Ralf Jung
bba3c49e84 basic retagging (no fn_entry); this also makes us catch more bugs even with optimizations and we can finally stop mutating the state on deref 2018-11-01 08:58:03 +01:00
Ralf Jung
7ac0e79ad5 stub Retag hook; fix tests for removal of -Zmir-emit-validate 2018-11-01 08:58:03 +01:00
Ralf Jung
fba55ba2a9 make the -Z flags we use more consistent 2018-11-01 08:58:03 +01:00
Ralf Jung
27b1f47b0a use crate:: where appropriate 2018-11-01 08:57:22 +01:00
Ralf Jung
2833b54100
Merge pull request #503 from RalfJung/atomic-arith
Reject atomic arithmetic on non-integer types
2018-10-31 13:02:37 +01:00
Ralf Jung
1fe925e758
Merge branch 'master' into atomic-arith 2018-10-31 11:19:26 +01:00
Ralf Jung
75f667e000
Merge pull request #502 from RalfJung/debug
Improve debug env var handling
2018-10-31 11:19:12 +01:00
Ralf Jung
40b7502613 Reject atomic arithmetic on non-integer types
Fixes #181
2018-10-31 11:04:35 +01:00
Ralf Jung
016009a301 properly recognize log levels 2018-10-31 10:58:19 +01:00
Ralf Jung
5397f2e436 when using MIRI_LOG, avoid logging for what rustc does before miri gets started 2018-10-31 10:53:37 +01:00
Ralf Jung
7a6a68731e remove unused extern crate 2018-10-31 10:19:20 +01:00
Ralf Jung
8f811fe12f update README 2018-10-31 10:16:50 +01:00
Ralf Jung
cd256448d5 dumping locals with MIRI_BACKTRACE=1 is feasible now 2018-10-31 10:16:42 +01:00
Ralf Jung
eb153810e3 Use MIRI_ env vars to set RUST_ ones
This means we can do `MIRI_LOG=debug cargo run` and get something reasonable,
even if cargo has to build some dependencies first.
2018-10-31 10:09:55 +01:00
Ralf Jung
f0c1f18314
Merge pull request #501 from RalfJung/travis
rewrite cargo-miri test in Python
2018-10-30 15:29:45 +01:00
Ralf Jung
8fe51ca669 try to find python3 on macOS 2018-10-30 15:07:40 +01:00
Ralf Jung
f6b1f9e487 rewrite cargo-miri test in Python 2018-10-30 11:26:53 +01:00
Ralf Jung
9c57f2ba35
Merge pull request #492 from solson/rustup
Stacked Borrows NG
2018-10-30 11:05:56 +01:00
Ralf Jung
1fa0ff88c0 fix nits 2018-10-30 10:41:01 +01:00
Ralf Jung
9c9552260c test cargo-miri without validation, and fix how we invoke it so we see output in case of failure 2018-10-30 10:40:28 +01:00