Ralf Jung
|
be4108e27c
|
test some new uninit APIs
|
2019-08-18 11:34:09 +02:00 |
|
Ralf Jung
|
94cd0ce734
|
fix test failure due to my own lint
|
2019-08-18 11:16:02 +02:00 |
|
Ralf Jung
|
2f95d4d50c
|
remove dead code
|
2019-08-15 11:01:03 +02:00 |
|
Ralf Jung
|
60a0688185
|
adjust tests for eager pointer checks on deref
|
2019-08-15 11:01:03 +02:00 |
|
bors
|
1f504ea7be
|
Auto merge of #894 - christianpoveda:env-vars-communication, r=RalfJung
Enable env communication
related issue: https://github.com/rust-lang/miri/issues/800. r? @RalfJung
|
2019-08-14 18:58:06 +00:00 |
|
Christian Poveda
|
f451fe21bd
|
Test env isolation
|
2019-08-13 16:17:53 -05:00 |
|
Christian Poveda
|
67d13577aa
|
Move test env var to test_runner
|
2019-08-13 12:10:24 -05:00 |
|
bors
|
a5eb61a4ad
|
Auto merge of #902 - RalfJung:ldexp, r=RalfJung
use apfloat for ldexp
|
2019-08-10 09:34:31 +00:00 |
|
Ralf Jung
|
33eb5657d6
|
ldexp: test overflow behavior
|
2019-08-10 11:31:20 +02:00 |
|
bors
|
7b3de392df
|
Auto merge of #899 - RalfJung:generators, r=RalfJung
More generator tests
Cc @tmandry -- do these look reasonable for checking the new "partial init" case that was discovered?
|
2019-08-09 20:04:20 +00:00 |
|
Ralf Jung
|
b93629262d
|
test that even &Cell must be dereferencable
|
2019-08-09 19:22:47 +02:00 |
|
Ralf Jung
|
abcd244927
|
add async fn with partial initialization
|
2019-08-09 11:01:42 +02:00 |
|
Ralf Jung
|
fc06cb71bf
|
simplify async-fn tests
|
2019-08-09 11:01:42 +02:00 |
|
Ralf Jung
|
d5294a5bf3
|
test generator that yields during initialization of struct with uninhabited field
|
2019-08-09 11:01:42 +02:00 |
|
bors
|
1766d1b84b
|
Auto merge of #896 - tmandry:add-generator-uninhabited-test, r=RalfJung
Add generator, async tests with uninhabited saved local
See discussion in https://github.com/rust-lang/rust/pull/63035.
|
2019-08-09 08:20:00 +00:00 |
|
bors
|
b09ae31da0
|
Auto merge of #871 - RalfJung:miri-rustc-cleanup, r=RalfJung
Cleanup after rustc bootstrap tests Miri with a separate libstd
Should only be merged after https://github.com/rust-lang/rust/pull/63162 got the green light.
|
2019-08-08 20:43:47 +00:00 |
|
Tyler Mandry
|
f544721de4
|
Add generator, async tests with uninhabited saved local
|
2019-08-07 16:56:35 -07:00 |
|
Christian Poveda
|
253af9692a
|
Fix formatting
|
2019-08-07 10:50:46 -05:00 |
|
Christian Poveda
|
af623dede2
|
Add env var test variable in compiletest
|
2019-08-07 09:09:13 -05:00 |
|
Christian Poveda
|
b731a6a15f
|
Add support for env communication
|
2019-08-06 17:40:07 -05:00 |
|
Ralf Jung
|
d26917a9d6
|
fix for latest rustc
|
2019-08-05 10:45:48 +02:00 |
|
bors
|
93e110f370
|
Auto merge of #886 - Aaron1011:shim/getrandom, r=RalfJung
Shim 'libc::getrandom' in addition to 'libc::syscall(libc::SYS_getrandom)'
|
2019-08-04 21:02:08 +00:00 |
|
Aaron Hill
|
a208f2fccf
|
Improve formatting
Co-Authored-By: Ralf Jung <post@ralfj.de>
|
2019-08-04 16:44:32 -04:00 |
|
Aaron Hill
|
66d10c877d
|
Ignore other platforms instead of using only-linux
|
2019-08-04 16:40:30 -04:00 |
|
Aaron Hill
|
8a75817707
|
Fix identation
|
2019-08-04 16:30:33 -04:00 |
|
Aaron Hill
|
a74a04f356
|
Test 'libc::getrandom' as well
|
2019-08-04 16:12:25 -04:00 |
|
Aaron Hill
|
6b087d2536
|
Add test
|
2019-08-04 16:12:24 -04:00 |
|
Aaron Hill
|
4c11c6b737
|
Add test for f32::round and f64::round
|
2019-08-04 15:57:00 -04:00 |
|
Ralf Jung
|
f47e58950b
|
check that atomics are sufficiently aligned, and add test
|
2019-08-04 10:30:42 +02:00 |
|
Ralf Jung
|
702f63e427
|
test AtomicU64
|
2019-08-04 10:30:42 +02:00 |
|
Ralf Jung
|
ca4969d4da
|
consolidate atomic tests
|
2019-08-04 10:30:42 +02:00 |
|
bors
|
d9d6df93a9
|
Auto merge of #881 - RalfJung:rustup, r=RalfJung
adjust for rustc changes
|
2019-08-03 18:56:38 +00:00 |
|
Ralf Jung
|
a41ec9aacb
|
adjust error messages in tests
|
2019-08-03 20:54:57 +02:00 |
|
bors
|
d0e8850267
|
Auto merge of #877 - christianpoveda:ldexp-shim, r=RalfJung
Add shim for ldexp
Fixes https://github.com/rust-lang/miri/issues/821
r? @RalfJung
|
2019-08-03 16:14:20 +00:00 |
|
Ralf Jung
|
bff6b05424
|
more consistent test name
|
2019-08-03 17:27:50 +02:00 |
|
Ralf Jung
|
773f6aeb4c
|
remove some compile-fail tests that now work
|
2019-08-03 15:01:04 +02:00 |
|
Christian Poveda
|
ff2001040f
|
Add shim for ldexp
|
2019-08-02 15:46:28 -05:00 |
|
Ralf Jung
|
2973063fa3
|
test dangling ZST deref
|
2019-08-02 14:26:15 +02:00 |
|
Ralf Jung
|
3318657eaf
|
test Ref/RefMut protector interactions
|
2019-08-02 08:15:52 +02:00 |
|
Ralf Jung
|
c4c2716f4e
|
make reborrow shallow, and fix tests for that
|
2019-08-02 08:09:22 +02:00 |
|
Ralf Jung
|
6c545ba340
|
the compile-fail-norustc hack is no longer needed
|
2019-07-31 15:29:55 +02:00 |
|
bors
|
5bbf6733ea
|
Auto merge of #869 - RalfJung:tests, r=oli-obk
test suite: be fine with warnings when running on rustc CI
r? @oli-obk
|
2019-07-31 11:54:00 +00:00 |
|
Ralf Jung
|
a414492cc7
|
reorder for clarity
|
2019-07-31 13:48:49 +02:00 |
|
Ralf Jung
|
edf7d1c30c
|
dedup code a bit
|
2019-07-31 13:48:15 +02:00 |
|
Ralf Jung
|
6dadb94101
|
test suite: be fine with warnings when running on rustc CI
|
2019-07-31 13:44:55 +02:00 |
|
Yuki Okushi
|
af7570fced
|
Remove await_macro
|
2019-07-31 16:42:38 +09:00 |
|
Ralf Jung
|
87f20fede5
|
adjust for slice pattern changes
|
2019-07-29 10:21:59 +02:00 |
|
Ralf Jung
|
8bec925e04
|
bump Rust
|
2019-07-26 10:14:44 +02:00 |
|
Ralf Jung
|
758d88bbf9
|
explain better what is non-deterministic here
|
2019-07-24 08:57:05 +02:00 |
|
Ralf Jung
|
85be8ab8eb
|
fix non-deterministic test
|
2019-07-23 23:48:28 +02:00 |
|
Ralf Jung
|
d5ca345c36
|
remove redundant tests / flags
|
2019-07-23 23:26:25 +02:00 |
|
Ralf Jung
|
3c1ab78196
|
review failing compile-fail tests
|
2019-07-23 23:25:06 +02:00 |
|
Ralf Jung
|
c094d42504
|
update miri-seed handling for run-pass test suite
|
2019-07-23 21:53:47 +02:00 |
|
Ralf Jung
|
59190e8542
|
disable some compile-fail tests for rustc
|
2019-07-20 22:38:41 +02:00 |
|
Ralf Jung
|
95e6e671bf
|
fix compile-fail tests for latest rustc
|
2019-07-16 18:39:18 +02:00 |
|
Ralf Jung
|
f1b623c313
|
test some const-generic-using methods
|
2019-07-13 10:25:04 +02:00 |
|
Ralf Jung
|
e7b39e382a
|
reenable all tests on Windows
|
2019-07-11 18:41:53 +02:00 |
|
Ralf Jung
|
70a5bb7dbb
|
force pointers before reborrowing; fixes cargo miri test suite
|
2019-07-10 14:36:56 +02:00 |
|
Ralf Jung
|
a6f9bbc9e2
|
now we can also enable the ptr_int_cast test again
|
2019-07-10 14:36:56 +02:00 |
|
Ralf Jung
|
dd6cf30f60
|
ptr_offset works fine with intptrcast now
|
2019-07-10 14:36:56 +02:00 |
|
Lzu Tao
|
3ea62d3527
|
Remove SliceConcatExt import
|
2019-07-10 09:56:35 +07: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
|
ba8728cd8b
|
fix test using mem::uninitialized
|
2019-07-06 09:33:22 +02:00 |
|
Ralf Jung
|
029a29407a
|
dangling-ptr-to-int should work now; move to noseed
|
2019-07-05 23:54:18 +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
|
4d76dd1f09
|
temporarily disable validation on Windows
|
2019-07-05 21:26:58 +02:00 |
|
Ralf Jung
|
9b58492df1
|
temporarily disable intptrcast advanced testing on Windows
|
2019-07-05 19:22:22 +02:00 |
|
Ralf Jung
|
802dcb7f89
|
temporarily disable ptr_offset, maybe that helps
|
2019-07-05 00:06:41 +02:00 |
|
Christian Poveda
|
8dfb278ac5
|
Fix explicit cast test
|
2019-07-03 15:59:32 -05:00 |
|
Christian Poveda
|
074e20eb7b
|
Add intptrcast test for explicit casts
|
2019-07-03 13:38:39 -05:00 |
|
Ralf Jung
|
b29cb7d551
|
avoid catching errors
|
2019-07-03 10:56:25 +02:00 |
|
Ralf Jung
|
8ec25066e7
|
make a test noseed for now that does not work with intptrcast yet
|
2019-07-03 10:47:28 +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 |
|
Ralf Jung
|
44298d86f0
|
dont add the -Zmiri-seed flag twice
|
2019-07-03 10:47:25 +02:00 |
|
Ralf Jung
|
ccbc035f6a
|
run all run-pass tests with intrptrcast. makes many of them fail!
|
2019-07-02 22:20:37 +02:00 |
|
Ralf Jung
|
8d8481fed5
|
fix outdated test name: overalign -> align
|
2019-07-02 13:02:48 +02:00 |
|
bors
|
2a4c4ade30
|
Auto merge of #809 - RalfJung:intptrcast, r=RalfJung
use intptrcast for heap_allocator test; then it should work on Windows
|
2019-06-30 21:19:56 +00:00 |
|
Ralf Jung
|
cb6d4f0c9a
|
test even more size-alignment combinations. found a bug in libstd!
|
2019-06-30 21:23:48 +02:00 |
|
Ralf Jung
|
709b474859
|
fix minimal alignment for system allocation functions
|
2019-06-30 21:10:47 +02:00 |
|
Ralf Jung
|
78261b788d
|
fix setting rustc flags
|
2019-06-30 19:10:09 +02:00 |
|
bors
|
72b2e1045d
|
Auto merge of #806 - varkor:patch-1, r=RalfJung
Fix `unused_must_use` inside `Box`
After https://github.com/rust-lang/rust/pull/62228, this will be linted against (and causes the test to fail). (This blocks https://github.com/rust-lang/rust/pull/62228.)
|
2019-06-30 15:07:03 +00:00 |
|
Ralf Jung
|
0ea4b50025
|
Miri is not deterministic any more
|
2019-06-30 17:02:20 +02:00 |
|
Ralf Jung
|
b067313552
|
use intptrcast for heap_allocator test; then it should work on Windows
|
2019-06-30 16:56:16 +02:00 |
|
Ralf Jung
|
e44d38e051
|
improve comment
|
2019-06-30 16:45:41 +02:00 |
|
Ralf Jung
|
db6283b884
|
better name for a test: threads -> sync
|
2019-06-30 16:44:25 +02:00 |
|
varkor
|
5d4aae8c05
|
Fix unused_must_use inside Box
After https://github.com/rust-lang/rust/pull/62228, this will be linted against (and causes the test to fail).
|
2019-06-30 15:31:14 +01:00 |
|
Ralf Jung
|
11457a4ad9
|
fix comparing function pointers with intptrcast
|
2019-06-30 11:21:31 +02:00 |
|
Ralf Jung
|
0bb50ada34
|
make sure we catch alignment problems even with intrptrcast
|
2019-06-29 14:31:54 +02:00 |
|
Ralf Jung
|
afe42625e5
|
test pointer string formatting
|
2019-06-28 20:42:00 +02:00 |
|
Christian Poveda
|
7fbf8e53a2
|
Fix alignment of base addresses
|
2019-06-26 09:08:28 -05:00 |
|
Christian Poveda
|
792d665a1f
|
Fix merge conflicts
|
2019-06-25 00:57:33 -05:00 |
|
Ralf Jung
|
7e7b5d42ba
|
Apply suggestions from code review
Co-Authored-By: Oliver Scherer <github35764891676564198441@oli-obk.de>
|
2019-06-24 14:50:27 +02:00 |
|
Ralf Jung
|
4d65aa8f20
|
expand and better explain alignment check tests
|
2019-06-24 08:40:45 +02:00 |
|
Ralf Jung
|
4dc188a60e
|
adjust for refactored memory pointer checks
|
2019-06-23 20:19:26 +02:00 |
|
Christian Poveda
|
dd732e5862
|
Force intptrcast for binary operations
|
2019-06-22 09:25:16 -05:00 |
|
Christian Poveda
|
e57447014d
|
Duplicate compile-fail tests for intptrcast
|
2019-06-21 16:32:54 -05:00 |
|
Ralf Jung
|
5472755f16
|
add a failing test where an immovable generator gets moved
|
2019-06-21 21:48:27 +02:00 |
|
Ralf Jung
|
04fa38dd1b
|
allow some inequality comparisons between pointers and integers
|
2019-06-20 16:38:55 +02:00 |
|
Ralf Jung
|
7ce36226e6
|
implement and test unchecked_{add,sub,mul} intrinsics
|
2019-06-16 11:10:33 +02:00 |
|
Ralf Jung
|
cf748149ce
|
test unchecked_rem
|
2019-06-16 11:10:33 +02:00 |
|
Ralf Jung
|
fc90124489
|
test exact_div UB detection
|
2019-06-16 11:10:33 +02:00 |
|
Kenny Goodin
|
46b6a3fb7f
|
Add more missing math functions
Add missing functions for atan2, cosh, sinh, and tan.
Also add f32 calls and tests for cbrt and hypot.
|
2019-06-13 22:28:22 -04:00 |
|
Kenny Goodin
|
535914e3dc
|
Implement cbrt and hypot function calls
Test cases are added to `tests/run-pass/intrinsics-math.rs`
|
2019-06-12 15:44:30 -04:00 |
|
Ralf Jung
|
e2f114a5e0
|
test FMA a bit more
|
2019-06-11 19:41:43 +02:00 |
|
Ralf Jung
|
9c9a947bf4
|
test more enum-int-cast code paths
|
2019-06-11 19:41:43 +02:00 |
|
Ralf Jung
|
5e07ac335f
|
implement min and max floating point intrinsics
|
2019-06-11 19:41:43 +02:00 |
|
Ralf Jung
|
b0b082d4d8
|
do not handle MIRI_SYSROOT in the driver at all, rely fully on the --sysroot flag
|
2019-06-09 17:10:04 +02:00 |
|
Dylan MacKenzie
|
1ceb81b345
|
Use in-core implementation of type_name.
We bump `rust-version` to pick up the new impl from
https://github.com/rust-lang/rust/pull/61498 and add a test.
|
2019-06-05 22:36:53 -07:00 |
|
Ralf Jung
|
27a66a1e42
|
test for no-validation-only failure
|
2019-06-04 13:21:04 +02:00 |
|
Ralf Jung
|
9f48b3029c
|
test that we cannot access unescaped static memory with a raw ptr
|
2019-06-02 22:16:02 +02:00 |
|
Ralf Jung
|
e03255d625
|
fix existing tests
fix thread-local example to no longer write to pointers derived from a shared ref;
fix compile-fail test
|
2019-06-02 22:16:02 +02:00 |
|
Ralf Jung
|
dafd2e7202
|
rustup for ... deprecation
|
2019-06-01 10:04:49 +02:00 |
|
Ralf Jung
|
c748323eb3
|
move fn_item/ptr tests to closures file
|
2019-05-30 11:01:22 +02:00 |
|
Ralf Jung
|
badbd57cee
|
update for rustc warning about missing dyn
|
2019-05-30 10:58:30 +02:00 |
|
Ralf Jung
|
0dfc1c97c5
|
test weak_into_raw
|
2019-05-29 19:36:16 +02:00 |
|
Ralf Jung
|
381c2897b0
|
test for pointer wrapping ICE
|
2019-05-28 22:46:56 +02:00 |
|
Ralf Jung
|
f10ab1991c
|
fix error pattern
|
2019-05-27 19:37:31 +02:00 |
|
Ralf Jung
|
74f98b3803
|
test for new read rules
|
2019-05-21 15:43:18 +02:00 |
|
Ralf Jung
|
0c85dbf3df
|
prepare for MaybeUninit stabilization
|
2019-05-20 10:53:34 +02:00 |
|
Ralf Jung
|
4b9e1544c2
|
give up on two-phase borrows
|
2019-05-17 15:02:31 +02:00 |
|
Ralf Jung
|
b9517ca9f3
|
this also fixed our 2-phase woes
|
2019-05-15 18:12:58 +02:00 |
|
Ralf Jung
|
f676f2265b
|
make writes act stack-like
|
2019-05-15 18:12:58 +02:00 |
|
Ralf Jung
|
7f09e61c31
|
make HashMap test a bit nicer
|
2019-05-13 11:45:39 +02:00 |
|
Ralf Jung
|
b08bf47606
|
fix tests for latest Rust
|
2019-05-01 20:43:43 +02:00 |
|
Ralf Jung
|
617195eb12
|
add arielby's example
|
2019-04-30 20:18:29 +02:00 |
|
Ralf Jung
|
42b70f17d2
|
Merge branch 'master' into exit
|
2019-04-22 11:35:36 +02:00 |
|
Ralf Jung
|
7bb461362e
|
Travis: test cargo miri on foreign arch
|
2019-04-21 22:35:47 +02:00 |
|
Ralf Jung
|
a87a7338e6
|
test System/Global allocator API: alloc_zeroed, realloc
|
2019-04-21 13:47:12 +02:00 |
|
Ralf Jung
|
d410b13139
|
fix compile-fail ref files
|
2019-04-21 13:18:05 +02:00 |
|
Ralf Jung
|
0694435650
|
implement exit
implement exit code via new error kind
|
2019-04-21 12:36:17 +02:00 |
|
Ralf Jung
|
677bd6f656
|
add LinkedList test and mention the bug Miri found there
|
2019-04-19 23:08:24 +02:00 |
|
Ralf Jung
|
287ffb8bba
|
test another version of 'creating a shared ref must not leak the Unique'
|
2019-04-19 08:46:40 +02:00 |
|
Ralf Jung
|
22b57f6435
|
Merge branch 'master' into stacked-borrows-2
|
2019-04-18 19:28:25 +02:00 |
|
Tim Diekmann
|
9ecc07c9b2
|
Add handling for nullptr and size == 0
|
2019-04-18 15:20:32 +02:00 |
|
Ralf Jung
|
7d9dc6e698
|
test that creating a 2nd mutable ref from a NonNull invalidates the first
|
2019-04-18 14:43:25 +02:00 |
|
Tim Diekmann
|
af3c4c0c23
|
Merge branch 'master' into realloc
|
2019-04-18 12:22:58 +02:00 |
|
Tim Diekmann
|
0e6deee76e
|
Add realloc
|
2019-04-18 01:20:21 +02:00 |
|
Ralf Jung
|
e1ed855a44
|
more tests -- also one showing why we are not done yet
|
2019-04-17 16:02:57 +02:00 |
|
Ralf Jung
|
72cec0562c
|
add tests for fixes: sharing no longer leaks, and we can handle entering interior mutability
|
2019-04-17 16:02:57 +02:00 |
|
Ralf Jung
|
46d5fd8487
|
barriers are dead, long live protectors -- this enables overlapping two-phase borrows!
|
2019-04-17 16:02:57 +02:00 |
|
Ralf Jung
|
e7a500b7e1
|
test creating two raw pointers from the same mutable ref
|
2019-04-17 16:02:57 +02:00 |
|
Ralf Jung
|
a503259d8b
|
organize stacked borrows run-pass tests
|
2019-04-17 16:02:57 +02:00 |
|
Ralf Jung
|
97c34c266f
|
try to test the problematic cast-to-raw case... unfortunately with the implicit reborrow that's not currently possible
|
2019-04-17 16:02:57 +02:00 |
|
Ralf Jung
|
ef52be031c
|
adjust compile-fail error messages
This also passes miri-test-libstd!
|
2019-04-17 16:02:57 +02:00 |
|
Ralf Jung
|
966d638760
|
make run-pass tests pass. tweak how we remove barriers.
|
2019-04-17 16:02:57 +02:00 |
|
Ralf Jung
|
6fdc75024b
|
Merge branch 'master' into rand
|
2019-04-16 20:55:58 +02:00 |
|
Ralf Jung
|
af2b42de0a
|
fix compile-fail test
|
2019-04-16 19:09:41 +02:00 |
|
Ralf Jung
|
ceca7c5020
|
tweak entropy tests a bit
|
2019-04-16 19:06:08 +02:00 |
|
Ralf Jung
|
378d9d4172
|
be pragmatic about ptr-int comparisons, for now
|
2019-04-16 17:47:37 +02:00 |
|
Ralf Jung
|
a246116bdc
|
rustup
|
2019-04-14 10:30:00 +02:00 |
|