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
Oliver Schneider
91db25bdef
Rename destructure method to into_alloc_id_kind
2017-08-09 14:54:37 +02:00
