Commit Graph

2540 Commits

Author SHA1 Message Date
Aaron Hill
6b0440e26d
Cleanup argument parsing 2019-04-08 21:40:52 -04:00
Aaron Hill
5530d295ad
Simplify cast using as_mut_ptr() 2019-04-08 21:36:35 -04:00
Ralf Jung
06af617b92 fix dumping uninitialized locals 2019-04-08 13:40:11 +02:00
Ralf Jung
28f2e5b17a
Merge pull request #681 from TimDiekmann/calloc
Add `calloc`
2019-04-08 13:14:43 +02:00
Tim Diekmann
d2d5f00fcb
Merge branch 'master' into calloc 2019-04-08 10:48:21 +02:00
bjorn3
32d01263a9
Update src/fn_call.rs
Co-Authored-By: TimDiekmann <21277928+TimDiekmann@users.noreply.github.com>
2019-04-08 10:44:02 +02:00
Aaron Hill
808b149671
Use raw syscall numbers 2019-04-07 20:09:53 -04:00
Aaron Hill
dddeda7f7d
Use getrandom() syscall number from libc 2019-04-07 19:57:14 -04:00
Aaron Hill
312f938e79
Fix benchmark 2019-04-07 19:30:37 -04:00
Tim Diekmann
fdefac8599
Fix calloc test
Forgot to free the memory. Miri found the bug :)
2019-04-08 01:26:52 +02:00
Aaron Hill
73239573c9
Implement non-deterministc mode
Part of #653

This allows us to properly implement getrandom(),
which unlocks the default HashMap type (e.g. HashMap<K, V>)
with RandomState)

This commit adds a new '-Zmiri-seed=<seed>' option. When present,
this option takes a 64-bit hex value, which is used as the seed
to an internal PRNG. This PRNG is used to implement the 'getrandom()'
syscall.

When '-Zmiri-seed' is not passed, 'getrandom()' will be disabled.
2019-04-07 19:26:20 -04:00
Tim Diekmann
fa0755c9fd
Add calloc test 2019-04-08 01:12:50 +02:00
Tim Diekmann
a59e155206
Tidy up calloc code 2019-04-08 01:12:44 +02:00
Eduard-Mihai Burtescu
68711458b6
Merge pull request #682 from Manishearth/compiletestup
Update compiletest
2019-04-08 00:58:14 +03:00
Manish Goregaokar
3002bbd4ac Update compiletest 2019-04-07 14:33:28 -07:00
Tim Diekmann
d1d05c8b41
Fix tagging order 2019-04-07 21:09:21 +02:00
Tim Diekmann
6e4264bf27
Add calloc 2019-04-07 20:52:12 +02:00
Ralf Jung
3f552fea26 test calling Box<dyn FnOnce> 2019-04-07 20:06:22 +02:00
Ralf Jung
5c5cc2ad3f
Merge pull request #678 from RalfJung/test-env
compiletest env var cleanup
2019-04-07 11:19:54 +02:00
Ralf Jung
336a59d264 rename MIRI_TARGET -> MIRI_COMPILETEST_TARGET to clarify that this affects compiletest only 2019-04-07 10:58:10 +02:00
Ralf Jung
72cd133d1b compiletest can just propagate MIRI_SYSROOT from the outside 2019-04-07 10:58:06 +02:00
Ralf Jung
0e4f9634a6
Merge pull request #677 from RalfJung/async
temporarily ignore async fn test
2019-04-06 21:43:06 +01:00
Ralf Jung
ddb0496642 temporarily ignore async fn test 2019-04-06 22:11:59 +02:00
Ralf Jung
b8b52b0734
Merge pull request #674 from matthewjasper/2phase-on-edition
Use edition flag for 2phase test
2019-04-06 17:54:02 +01:00
Matthew Jasper
3298102a64 Remove unnecessary test directive 2019-04-06 16:17:33 +01:00
Ralf Jung
4b62bc8a2f
Merge branch 'master' into 2phase-on-edition 2019-04-06 15:45:38 +01:00
Ralf Jung
54940f6ae3
Merge pull request #671 from timotree3/patch-1
Add alternative for how to install if a change in nightly broke the rustup component
2019-04-06 14:00:14 +01:00
Ralf Jung
e714be92b1
Merge branch 'master' into patch-1 2019-04-06 11:38:09 +01:00
Ralf Jung
9a0db66380
Merge pull request #676 from RalfJung/appveyor
AppVeyor: ignore already existing rustup-toolchain-install-master
2019-04-06 11:37:52 +01:00
Ralf Jung
3d491884c5 AppVeyor: ignore already existing rustup-toolchain-install-master (WTF windows batch makes no sense) 2019-04-06 11:36:51 +02:00
Ralf Jung
916221b0a4
Merge branch 'master' into patch-1 2019-04-06 10:26:27 +01:00
Matthew Jasper
7213b91cd4 Use edition flag for 2phase test
The compiler now rejects one of the examples with #![feature(nll)]
2019-04-05 14:35:31 +01:00
Ralf Jung
2a03db9ce4
Merge pull request #673 from RalfJung/travis
use rustup-toolchain-install-master for CI
2019-04-04 21:34:46 +01:00
Ralf Jung
159cce1da2 fix AppVeyor 2019-04-04 18:56:52 +01:00
Ralf Jung
081837eff0 fix Travis and adjust AppVeyor 2019-04-04 14:15:02 +01:00
Ralf Jung
31bc4355aa adjust README 2019-04-04 10:21:32 +01:00
Ralf Jung
bebb5bfa38 use rustup-toolchain-install-master for CI 2019-04-04 10:19:18 +01:00
Oliver Scherer
82f9a01730
Merge pull request #672 from rust-lang/update
Update to rustc nightly
2019-04-03 14:50:03 +02:00
Oliver Scherer
9a0eaf6ebd Update to rustc nightly 2019-04-03 10:48:11 +02:00
Timo
7d6c8ad24b
README: Fix missing link
Thanks for your patience 🤦‍♂️
2019-03-31 14:52:57 -04:00
Timo
d54f9dc75c README: Update to RalfJung's suggestion...
...verbatim. Thanks :)
2019-03-31 11:33:41 -04:00
Timo
67e123502c
README: Suggest using a previous nightly, revert other approach 2019-03-31 10:03:03 -04:00
Timo
d5cdba5ee6
Add alternative for how to install if rustup fails
As is the case now: https://rust-lang-nursery.github.io/rust-toolstate/
2019-03-30 17:53:15 -04:00
Ralf Jung
ac61d29351
Merge pull request #668 from kenta7777/rename-evalcontext-to-interpretcx
Renames `EvalContext` to `InterpretCx`
2019-03-30 12:50:11 +01:00
kenta7777
adbda8ca24 adjust rust-version to the latest nightly 2019-03-30 11:01:44 +09:00
0xflotus
83b7f2edc9 fixed environment 2019-03-30 10:58:28 +09:00
kenta7777
d9178b9300 renames EvalContext to InterpretCx 2019-03-30 10:58:28 +09:00
Ralf Jung
11cbfd719a
Merge pull request #669 from 0xflotus/patch-1
fixed environment
2019-03-28 12:58:09 +01:00
0xflotus
1100b4819c
fixed environment 2019-03-28 11:47:51 +01:00
Oliver Scherer
95a842ba40
Merge pull request #666 from RalfJung/readme
explain Miri limitations
2019-03-26 11:36:53 +01:00