Commit Graph

1669 Commits

Author SHA1 Message Date
bjorn3
73658c40bb
Remove unsafe code 2018-04-13 16:04:57 +02:00
bjorn3
e09a996b2a
Fix some more tests with some unsafe code 2018-04-13 16:04:57 +02:00
bjorn3
a6cdd8a81b
Fix it 2018-04-13 16:04:57 +02:00
bjorn3
ac42af3789
travis: cache build dir 2018-04-13 16:04:57 +02:00
bjorn3
f55d07745f
Fix init_static 2018-04-13 16:04:57 +02:00
bjorn3
878d66692c
Maybe prevent marking statics as immutable 2018-04-13 16:04:57 +02:00
bjorn3
680bcf86f0
Hack: copy init_static from rustc CompileTimeEvaluator to try to fix uninitialized static error 2018-04-13 16:04:57 +02:00
bjorn3
6a85104945
Use elem align as src align in copy intrinsic 2018-04-13 16:04:57 +02:00
bjorn3
4ecbcc5577
Dont claim to have marked static initialized 2018-04-13 16:04:57 +02:00
bjorn3
d4f30aa9c1
Fix alignment issue 2018-04-13 16:04:58 +02:00
Oliver Schneider
cd89e56f15
Get the tests one step further 2018-04-13 16:04:57 +02:00
bjorn3
a3a01ba5b7
Add stack guard shim 2018-04-13 16:04:57 +02:00
bjorn3
753da676ba
Rustup 2018-04-13 16:04:57 +02:00
David Renshaw
d289c0f464 partially deal with rust/46479 2018-01-15 09:47:17 -05:00
David Renshaw
33af3208fd update for rust/47205 2018-01-14 22:31:59 -05:00
David Renshaw
cabdc5597c update log deps 2018-01-06 10:21:24 -05:00
David Renshaw
03aa8765b1 pass typecheck 2018-01-02 17:43:03 -05:00
David Renshaw
30496f5dd2 update compiletest dependency 2017-12-31 08:35:02 -05:00
Oliver Schneider
5147655031
Merge branch 'master' into def_ty 2017-12-19 08:16:06 +01:00
Ariel Ben-Yehuda
a23e587dc3 stop using Instance::def_ty
that function has been removed
2017-12-16 21:52:39 -06:00
Eduard-Mihai Burtescu
919604e1ea
Merge pull request #358 from kennytm/master
Remove the [workspace] section.
2017-12-16 12:38:50 +02:00
kennytm
b7d382a956
Remove the [workspace] section.
Miri does not need to maintain a workspace anymore. Also, keeping miri a
workspace conflicts with rustc's own workspace.
2017-12-16 03:58:17 +08:00
Oliver Schneider
4654d6d04e
Merge pull request #355 from solson/upstreamed
Use the core miri from rustc
2017-12-15 10:27:58 +01:00
Oliver Schneider
2671cf34a5
Update to some cleanups in rustc 2017-12-15 10:14:02 +01:00
Oliver Schneider
aa9177fec6
Also update rustc_tests to unrelated rustc changes 2017-12-15 10:12:17 +01:00
Oliver Schneider
fc587ac6ae
Without a Cargo.lock it makes no sense to use --locked 2017-12-15 09:32:10 +01:00
Oliver Schneider
bde093fa14
Move validation from rustc to miri 2017-12-14 11:35:33 +01:00
Oliver Schneider
eccf680b5d Remove type_size and type_align calls 2017-12-06 15:03:24 +01:00
Oliver Schneider
dd630a2a26 Rename lvalue to place 2017-12-06 08:39:31 +01:00
Oliver Schneider
bf26b96dc7 Update to latest rustc changes 2017-12-05 17:06:03 +01:00
Oliver Schneider
fd77411a18
Compiler bug 2017-11-30 13:31:37 +01:00
Oliver Schneider
ab0a805440 Use correct alignment 2017-11-27 14:32:09 +01:00
Oliver Schneider
4e8b9451ab Update error messages 2017-11-27 14:31:51 +01:00
Oliver Schneider
a107f14ed8
Rustup after layout optimizations 2017-11-21 13:32:40 +01:00
Oliver Schneider
6dbfe23c4d Rustup 2017-11-02 11:15:50 +01:00
Oliver Schneider
25e0f5b5db Rustup 2017-10-16 16:21:49 +02:00
Oliver Schneider
042430270f repeat expressions abort due to OOM instead of execution time exhaustion 2017-10-12 11:13:56 +02:00
Oliver Schneider
f7f789a547 Use host floats for the intrinsics that we don't have soft float impls for 2017-10-12 11:13:34 +02:00
Oliver Schneider
072c02f9a3
Use numbers instead of indentations
Noone can differentiate between 8 and 9 spaces if they aren't aligned
2017-10-06 17:14:12 +02:00
Oliver Schneider
8d546e8b9a
Use rustc's logging libraries in order to be able to log rustc::mir::interpret 2017-10-06 17:14:12 +02:00
Oliver Schneider
52599adf27
Miri core has moved to rustc::mir::interpret 2017-10-06 17:13:59 +02:00
Oliver Schneider
cf0f6da9af Merge pull request #354 from king6cong/readme
update README.md
2017-09-30 11:22:04 +02:00
Oliver Schneider
fd5ededb29 Merge branch 'master' into readme 2017-09-30 10:46:34 +02:00
Oliver Schneider
cf4b28a5ac Merge pull request #353 from king6cong/master
update trans_fulfill_obligation call signature
2017-09-30 10:46:01 +02:00
king6cong
3d1332d7f8 update README.md 2017-09-30 15:07:07 +08:00
king6cong
6221bbc5a7 update trans_fulfill_obligation call signature 2017-09-30 14:55:16 +08:00
Oliver Schneider
ed674f7cb3 Merge pull request #351 from RalfJung/exchange_malloc
Call exchange_malloc for box stmt
2017-09-27 21:46:41 +02:00
Ralf Jung
6e8650395d fix oom2 test 2017-09-25 16:21:20 +02:00
Ralf Jung
a8980fd5e8 use exchange_malloc lang item for Box statements 2017-09-25 15:55:21 +02:00
Eduard-Mihai Burtescu
a5503a33e6 Merge pull request #350 from RalfJung/inhabited
get rid of ad-hoc inhabitedness test
2017-09-22 14:48:59 +03:00