Commit Graph

1463 Commits

Author SHA1 Message Date
Ralf Jung
2307d6fc5b Merge branch 'master' into memory 2017-08-26 13:51:13 +02:00
Ralf Jung
54a1f079b8 Merge pull request #312 from RalfJung/compiletest
update compiletest, use tempdir
2017-08-26 13:50:58 +02:00
Ralf Jung
2e28e14474 reorder lets so that build_dir is deleted last 2017-08-26 13:23:04 +02:00
Ralf Jung
df20c0684c use tempdir to create a dedicated directory for each test 2017-08-26 13:12:55 +02:00
Ralf Jung
1ee718a5c9 update compiletest. maybe that helps with the spurious failures. 2017-08-26 12:51:49 +02:00
Ralf Jung
8ce6b06d52 Remove specialize float/bool read/write methods from memory
Notice that the write methods were previously unused, so if this makes us handle some things incorrectly, they probably were already broken
2017-08-25 19:33:12 +02:00
Ralf Jung
ac80212f7e move tests with MIR-opt to their own function we we can run them separately 2017-08-25 19:21:10 +02:00
Ralf Jung
b1ca65447a refactor memory write API to match read API 2017-08-25 19:08:04 +02:00
Ralf Jung
f036fe0d32 refactor memory read API: provide only size-based, no type-based methods 2017-08-25 16:20:13 +02:00
Ralf Jung
8539728607 memory: make sure we check non-NULL/undef even fore 0-sized accesses 2017-08-25 14:41:59 +02:00
Oliver Schneider
d38c328568 Merge pull request #310 from oli-obk/drop
Simplify dropping by reusing `eval_fn_call`
2017-08-25 12:19:24 +02:00
Oliver Schneider
fad1bc8b20 Merge branch 'master' into drop 2017-08-24 23:52:36 +02:00
Oliver Schneider
4e3c502c53 Merge pull request #309 from oli-obk/libstd
Refactoring: Couple values and types into an object when passed around together
2017-08-24 23:50:47 +02:00
Oliver Schneider
19018852c3
Simplify dropping by reusing eval_fn_call 2017-08-24 16:04:50 +02:00
Oliver Schneider
110d50e7f9 Merge branch 'master' into libstd 2017-08-24 15:30:35 +02:00
Oliver Schneider
f860ad8d2e Merge pull request #306 from RalfJung/closures
Handle closures in get_field_ty
2017-08-24 15:30:23 +02:00
Oliver Schneider
9ede346ee2
Refactoring: Couple values and types into an object when passed around together 2017-08-24 14:42:42 +02:00
Ralf Jung
e332ab9b13 Handle closures in get_field_ty
Fixes #304
2017-08-24 13:34:05 +02:00
Ralf Jung
3f3fadae6f Merge pull request #301 from RalfJung/mir-validate
More validation tests
2017-08-24 09:14:36 +02:00
Ralf Jung
ae10b23a7c Merge branch 'master' into mir-validate 2017-08-23 18:09:13 +02:00
Ralf Jung
66108be99d Merge pull request #308 from oli-obk/libstd
rustup
2017-08-23 18:08:53 +02:00
Oliver Schneider
f75dd90961 Also reuse function pointer shims and drop glue from rustc 2017-08-23 17:46:36 +02:00
Oliver Schneider
7b8e2c772d
Rustup (Clone is now a builtin trait) 2017-08-23 17:24:38 +02:00
Ralf Jung
4cfda6ae96 hack to make xargo libstd build work again 2017-08-23 16:47:12 +02:00
Ralf Jung
1f20b7d774 travis: fail fast 2017-08-18 11:42:00 +02:00
Ralf Jung
2fccae8aac add another compile-fail test for validation 2017-08-18 11:30:18 +02:00
Ralf Jung
90edc03eea Add a test demonstrating the limitations of our lfietime resolution 2017-08-18 11:29:51 +02:00
Ralf Jung
5d60c614e6 Merge pull request #302 from RalfJung/mir-validate2
enable a test that waited for a rustc fix
2017-08-12 10:11:18 -07:00
Ralf Jung
7e5d971c56 fix warnings; make test suite pass again 2017-08-12 09:45:44 -07:00
Ralf Jung
2be159bacd enable a test that waited for a rustc fix 2017-08-11 09:12:46 -07:00
Oliver Schneider
dca1be68ff Merge pull request #300 from oli-obk/rustc_tests
Get the test suite working inside the rustc test suite
2017-08-11 09:39:36 +02:00
Oliver Schneider
8019deb0a9 Update compiletest.rs 2017-08-10 19:39:32 +02:00
Oliver Schneider
33ff32cac8
Get the test suite working inside the rustc test suite 2017-08-10 18:32:06 +02:00
Oliver Schneider
63c4843503 Merge pull request #299 from RalfJung/rustfmt
rustfmt
2017-08-10 18:27:57 +02:00
Ralf Jung
1326aed02c rustfmt
Except for error.rs, the result there looks rather ugly
2017-08-10 08:48:41 -07:00
Oliver Schneider
85fd3f8e43 Merge pull request #297 from RalfJung/mir-validate
Validation update
2017-08-10 10:18:54 +02:00
Ralf Jung
8e8c9c862c turns out we can enable this sanity check now 2017-08-09 22:32:13 -07:00
Ralf Jung
34685044f9 add a bunch of compile-fail tests for validation 2017-08-09 18:01:10 -07:00
Ralf Jung
5e018b1deb analyzing hashmap.rs uncovered a deeper problem; disable validation there for now 2017-08-09 15:49:47 -07:00
Ralf Jung
7b5f8a36ab try harder to preserve regions when doing inference
This is not complete yet, but it is enough to make unsized-tuple-impls work.
2017-08-09 15:49:47 -07:00
Ralf Jung
bff1ad156e integer-ops needs a rustc patch to work again 2017-08-09 15:49:47 -07:00
Ralf Jung
668491a892 Work on making validation test pass again
Turns out that tracking write locks by their lifetime is not precise enough,
but for now, we don't have an alternative.  Also, we need to force_allocate
what we acquire or else the memory will not be in the right state.
2017-08-09 15:49:47 -07:00
Ralf Jung
11f0aedc3d add some tests making sure we get the alias checking right 2017-08-09 15:49:47 -07:00
Ralf Jung
de80bcbdbf some tests for RangeMap 2017-08-09 15:49:47 -07:00
Ralf Jung
65a31317a4 Merge pull request #295 from solson/oli-obk-patch-2
Don't rebuild miri even if nothing changed
2017-08-09 12:54:07 -07:00
Oliver Schneider
e71af86259 Merge branch 'master' into oli-obk-patch-2 2017-08-09 21:35:51 +02:00
Ralf Jung
e2de0b2709 Merge pull request #294 from oli-obk/cargo_miri
Make cargo_miri a feature
2017-08-09 11:15:59 -07:00
Oliver Schneider
4ce60abd84 Update build.rs 2017-08-09 18:05:34 +02:00
Oliver Schneider
7e6c497539 Make cargo_miri a feature
1. Speeds up the common compilation path (no serde in the dependency tree)
2. Stage 1 rustc is enough (no serde -> no custom derive)
2017-08-09 16:12:27 +02:00
Oliver Schneider
a6096fbfba Merge pull request #292 from oli-obk/static_alloc_ids
Prepare for splitting off static alloc ids from local alloc ids
2017-08-09 16:06:14 +02:00