 Ralf Jung
|
61d8a4e101
|
simplify code
|
2019-08-03 15:01:04 +02:00 |
|
|
Ralf Jung
|
82da68c5ca
|
implement all ptr comparisons through integer casts
|
2019-08-03 15:01:04 +02:00 |
|
|
Ralf Jung
|
bb6a91dc94
|
adjust for ptr_op now being called type-based
|
2019-08-03 14:38:36 +02:00 |
|
|
Ralf Jung
|
e71ca965b9
|
also let bootstrap tell us where to find xargo
|
2019-08-03 13:53:32 +02:00 |
|
|
Ralf Jung
|
8071034b93
|
fix for error refactoring
|
2019-08-03 10:25:55 +02:00 |
|
|
Ralf Jung
|
0dab3d5ee1
|
honor CARGO env var (for rustc bootstrap)
|
2019-08-02 18:02:54 +02:00 |
|
|
bors
|
f0e871785f
|
Auto merge of #870 - RalfJung:miri-rustc, r=oli-obk
Prepare Miri for rustc bootstrap building a separate libstd for it
|
2019-08-02 08:08:35 +00:00 |
|
|
Ralf Jung
|
30fb027f33
|
comment
|
2019-08-02 08:38:22 +02:00 |
|
|
Ralf Jung
|
c4c2716f4e
|
make reborrow shallow, and fix tests for that
|
2019-08-02 08:09:22 +02:00 |
|
|
Ralf Jung
|
56630e0ff0
|
bootstrap no longer carries a copy of these flags
|
2019-07-31 15:15:31 +02:00 |
|
|
Ralf Jung
|
d213c64d85
|
let the user skip the sysroot consistency check
|
2019-07-31 15:15:14 +02:00 |
|
|
Ralf Jung
|
faadb86159
|
bump Rust
|
2019-07-26 22:50:01 +02:00 |
|
|
Lzu Tao
|
e6a677fe63
|
build: Warn if not use 2018 idioms
|
2019-07-24 21:24:26 +07:00 |
|
|
bors
|
aadff8560b
|
Auto merge of #852 - lzutao:rustup, r=RalfJung
build: Fix build after rust-lang/rust#60951
|
2019-07-24 13:05:55 +00:00 |
|
|
Lzu Tao
|
fd71fbea0f
|
build: Fix build after rust-lang/rust#60951
|
2019-07-24 07:45:34 +07:00 |
|
|
Ralf Jung
|
724cf41eb1
|
use checked arithmetic in intrptrcast
|
2019-07-23 23:43:37 +02:00 |
|
|
Ralf Jung
|
068517ae66
|
make sure we always have an RNG
|
2019-07-23 21:38:53 +02:00 |
|
|
Ralf Jung
|
a2541aacd6
|
bump rust
|
2019-07-21 11:56:10 +02:00 |
|
|
Ralf Jung
|
11d71195dd
|
fix miri-rustc-tests
|
2019-07-19 18:03:55 +02:00 |
|
|
Ralf Jung
|
66ca0f2cc2
|
fix for rustc_driver change
|
2019-07-19 17:36:25 +02:00 |
|
|
Ralf Jung
|
a11d1f55ff
|
avoid unnecessary allocation
|
2019-07-13 15:18:15 +02:00 |
|
|
Joshua Nelson
|
ebf65cbdab
|
Give a useful error message if user gives invalid random seed
|
2019-07-13 08:28:33 -04:00 |
|
|
Ralf Jung
|
f8c6eb5e8c
|
thread creation error for Windows
|
2019-07-11 18:59:11 +02:00 |
|
|
Ralf Jung
|
e7b39e382a
|
reenable all tests on Windows
|
2019-07-11 18:41:53 +02:00 |
|
|
Ralf Jung
|
11686f4be2
|
we do this these days
|
2019-07-10 14:38:49 +02:00 |
|
|
Ralf Jung
|
70a5bb7dbb
|
force pointers before reborrowing; fixes cargo miri test suite
|
2019-07-10 14:36:56 +02:00 |
|
|
Ralf Jung
|
f79f31dfa1
|
adjust for rustc changes; normalize mplace before doing freeze-sensitive visit
|
2019-07-10 14:36:56 +02:00 |
|
|
Lzu Tao
|
3ea62d3527
|
Remove SliceConcatExt import
|
2019-07-10 09:56:35 +07:00 |
|
|
bors
|
e4a98ea8d8
|
Auto merge of #826 - RalfJung:uninit, r=RalfJung
uninit intrinsic is gone
Finally. :D
However, to land this we'll need to fix the intptrcast issues that block https://github.com/rust-lang/miri/pull/803.
|
2019-07-06 09:40:51 +00:00 |
|
|
Ralf Jung
|
47bfc62b5b
|
use Memory::read_c_str, avoid a few to_ptr
|
2019-07-06 11:01:07 +02:00 |
|
|
Ralf Jung
|
9e130c6c6f
|
fix for changd machine trait signatures
|
2019-07-06 10:07:22 +02:00 |
|
|
Ralf Jung
|
4fa243be78
|
adjust for get_fn signature change
|
2019-07-06 10:07:22 +02:00 |
|
|
Ralf Jung
|
3ca934f07d
|
gen_random: use check_ptr_access
|
2019-07-06 10:07:22 +02:00 |
|
|
Ralf Jung
|
8093a59ffb
|
move gen_random to helpers
|
2019-07-06 10:07:21 +02:00 |
|
|
Ralf Jung
|
4f6a56f54f
|
better error message when the program tries to spawn a thread
|
2019-07-06 10:07:21 +02:00 |
|
|
Ralf Jung
|
2ca1b94e6d
|
update to FnVal changes; implement basic Dlsym support and use it for getentropy
|
2019-07-06 10:07:21 +02:00 |
|
|
Ralf Jung
|
fa290f1a48
|
uninit intrinsic is gone
|
2019-07-06 10:06:45 +02:00 |
|
|
Ralf Jung
|
5e022773f3
|
fix unused variable warning
|
2019-07-06 09:32:35 +02:00 |
|
|
Ralf Jung
|
b324cbf282
|
Merge remote-tracking branch 'origin/master' into rustup
|
2019-07-06 09:29:17 +02:00 |
|
|
Ralf Jung
|
1729965808
|
rename InterpretCx -> InterpCx
|
2019-07-05 23:48:51 +02:00 |
|
|
Ralf Jung
|
f23b782101
|
align small malloc-allocations even less, and test that we do
|
2019-07-05 23:48:48 +02:00 |
|
|
Ralf Jung
|
89696a4ab9
|
Merge remote-tracking branch 'origin/master'
|
2019-07-05 22:46:11 +02:00 |
|
|
Ralf Jung
|
4d76dd1f09
|
temporarily disable validation on Windows
|
2019-07-05 21:26:58 +02:00 |
|
|
Ralf Jung
|
aad5fde703
|
fix deallocating/reallocating with integer pointers
|
2019-07-05 19:21:21 +02:00 |
|
|
Ralf Jung
|
698b311a59
|
fix NULL in TLS dtors
|
2019-07-05 10:08:57 +02:00 |
|
|
Ralf Jung
|
07d5e9917c
|
avoid Scalar::is_null_ptr, it is going away
|
2019-07-05 09:56:42 +02:00 |
|
|
bors
|
3525943794
|
Auto merge of #822 - RalfJung:tls, r=RalfJung
move tls.rs into shims module
|
2019-07-04 08:51:19 +00:00 |
|
|
Ralf Jung
|
93c62a4912
|
move tls.rs into shims module
|
2019-07-03 23:12:44 +02:00 |
|
|
Ralf Jung
|
b29cb7d551
|
avoid catching errors
|
2019-07-03 10:56:25 +02:00 |
|
|
Ralf Jung
|
eb4128fb42
|
don't call Stacked Borrows hooks at all when validation is disabled
|
2019-07-03 10:47:28 +02:00 |
|