Ralf Jung
|
97302e86c2
|
remove unused import
|
2018-11-09 11:51:39 +01:00 |
|
Ralf Jung
|
45e14f8dc5
|
use custom test runner so that we can get proper test filtering
|
2018-11-09 11:50:34 +01:00 |
|
Ralf Jung
|
d694dc43f4
|
bump Rust version
|
2018-11-08 08:35:14 +01:00 |
|
Ralf Jung
|
74635a57e2
|
re-do large parts of stacked borrows, now with proper support for partiall frozen data
|
2018-11-08 08:29:34 +01:00 |
|
Ralf Jung
|
a05ba90300
|
disable Rc test for now, it ain't working
|
2018-11-07 14:24:11 +01:00 |
|
Ralf Jung
|
efd2f0e0e4
|
move new test to correct dir
|
2018-11-03 12:33:14 +01:00 |
|
Ralf Jung
|
e68687b840
|
test that we check the layout constraints as early as we can
|
2018-11-03 12:25:57 +01:00 |
|
Ralf Jung
|
5f42aa61d5
|
illegal_write2 does not work with optimizations
|
2018-11-03 10:23:50 +01:00 |
|
Ralf Jung
|
81534496dc
|
rename RefKind to UsageKind, because it not only used for references now
|
2018-11-01 08:58:03 +01:00 |
|
Ralf Jung
|
3302656247
|
More extensive slice and vec tests
Not all of them pass validation...
|
2018-11-01 08:58:03 +01:00 |
|
Ralf Jung
|
430e047a6f
|
start collecting some things ALLOWED by stacked borrows in a run-pass test
|
2018-11-01 08:58:03 +01:00 |
|
Ralf Jung
|
85f821d7e9
|
unify checks on memory access and reborrowing, and update for Machine trait change
|
2018-11-01 08:58:03 +01:00 |
|
Ralf Jung
|
bba3c49e84
|
basic retagging (no fn_entry); this also makes us catch more bugs even with optimizations and we can finally stop mutating the state on deref
|
2018-11-01 08:58:03 +01:00 |
|
Ralf Jung
|
7ac0e79ad5
|
stub Retag hook; fix tests for removal of -Zmir-emit-validate
|
2018-11-01 08:58:03 +01:00 |
|
Ralf Jung
|
40b7502613
|
Reject atomic arithmetic on non-integer types
Fixes #181
|
2018-10-31 11:04:35 +01:00 |
|
Ralf Jung
|
1fa0ff88c0
|
fix nits
|
2018-10-30 10:41:01 +01:00 |
|
Ralf Jung
|
6cbe280094
|
Merge remote-tracking branch 'origin/master' into rustup
|
2018-10-30 09:40:18 +01:00 |
|
Ralf Jung
|
a48b2cc4e9
|
disable validation for some tests that need further investigation
|
2018-10-30 09:40:01 +01:00 |
|
Ralf Jung
|
cba30e8e8b
|
opt level 3 works again :)
|
2018-10-29 11:51:22 +01:00 |
|
Ralf Jung
|
356369dd08
|
test against passing invalid shared refs around
|
2018-10-23 16:01:22 +02:00 |
|
Ralf Jung
|
5388037f8a
|
remove code duplication by letting reactivatable() compute what reactivate() has to do
|
2018-10-23 15:59:50 +02:00 |
|
Ralf Jung
|
fe83ef323c
|
also run compile-fail tests with and without optimizations
|
2018-10-23 13:09:17 +02:00 |
|
Ralf Jung
|
cc328f6374
|
test passing invalid refs around
|
2018-10-23 11:20:04 +02:00 |
|
Ralf Jung
|
8cd73e534f
|
use as(_mut)_ptr on slices to entirely escape them to raw
|
2018-10-22 18:51:06 +02:00 |
|
Ralf Jung
|
44b3c38b44
|
make sure raw ptrs only have to be valid as far as they are used
|
2018-10-22 18:34:48 +02:00 |
|
Ralf Jung
|
26bb4f79dc
|
get rid of implicit Raw at bottom of stack; locals get a uniq at their bottom
|
2018-10-22 18:17:37 +02:00 |
|
Ralf Jung
|
fda03e9d7d
|
some more compile-fail tests
|
2018-10-22 16:48:10 +02:00 |
|
Ralf Jung
|
dd1558f337
|
rustc update and be very selective about what we accept on a deref
|
2018-10-22 16:48:09 +02:00 |
|
Ralf Jung
|
0b22a1c9d9
|
env vars should work on macOS
|
2018-10-22 09:04:32 +02:00 |
|
Ralf Jung
|
fdb3022a11
|
env vars are only available with full MIR
|
2018-10-22 08:41:48 +02:00 |
|
Ralf Jung
|
957d18c343
|
Merge remote-tracking branch 'origin/master' into rustup
|
2018-10-22 08:41:01 +02:00 |
|
Ralf Jung
|
bbb1d80703
|
disable env var test on macOS, win
|
2018-10-21 01:31:46 +02:00 |
|
Ralf Jung
|
8134918390
|
don't use NOTE in tests
|
2018-10-19 12:29:49 +02:00 |
|
Ralf Jung
|
0b6e349417
|
automalically use start-fn if we have all the MIR
|
2018-10-19 10:07:17 +02:00 |
|
Ralf Jung
|
b9fe91e486
|
fix for ptr-to-raw casts properly erasing the tag
|
2018-10-18 12:04:41 +02:00 |
|
Ralf Jung
|
1907782b64
|
reenable some tests that work now, and organize them better with directories
|
2018-10-17 16:58:54 +02:00 |
|
Ralf Jung
|
d4b78b36ab
|
stacked borrows: enforcement at memory accesses
|
2018-10-17 15:15:53 +02:00 |
|
Ralf Jung
|
348f782085
|
add env var emulation test, and fix it complaining about leaks
|
2018-10-16 18:35:27 +02:00 |
|
Ralf Jung
|
37de74f015
|
test with opt levels 0 and 1
|
2018-10-16 17:57:03 +02:00 |
|
Ralf Jung
|
c9cf0344ee
|
enable validation for compile-fail tests, and add some new ones
|
2018-10-12 10:54:37 +02:00 |
|
Ralf Jung
|
62b819ba18
|
whitelist std::ptr::read
|
2018-10-12 10:40:44 +02:00 |
|
Ralf Jung
|
26f9d617c3
|
do not validate start-fn code
|
2018-10-11 16:10:04 +02:00 |
|
Ralf Jung
|
e4dfb7013b
|
enable validation per default, but add a flag to disable it and use that for some run-pass tests
compile-fail does not do validation yet
|
2018-10-11 11:24:22 +02:00 |
|
Ralf Jung
|
a090edbc03
|
explain a test
|
2018-10-11 08:59:39 +02:00 |
|
Ralf Jung
|
a439262859
|
Merge branch 'master' into ptr-offset
|
2018-10-10 10:03:34 +02:00 |
|
Ralf Jung
|
233516b54d
|
Merge remote-tracking branch 'origin/master' into rustup
|
2018-10-10 09:07:26 +02:00 |
|
Ralf Jung
|
0641d5b6d3
|
0-offset is also not always okay
|
2018-10-09 20:13:46 +02:00 |
|
Ralf Jung
|
edf28fa227
|
only allow offset-by-0 on integer pointers
|
2018-10-09 20:13:46 +02:00 |
|
Ralf Jung
|
cc275c63a9
|
fix for fn allocations now having an alignment (1) and a size (0)
|
2018-10-08 13:35:54 +02:00 |
|
Ralf Jung
|
59eb3dbdae
|
use Box::into_raw
|
2018-10-07 10:35:34 +02:00 |
|
Ralf Jung
|
959693f1e5
|
ensure that we cannot use (wrapping_)offset to go from an int ptr to a real ptr
|
2018-10-06 18:32:39 +02:00 |
|
Ralf Jung
|
146f5d8d10
|
rustup; test for return type mismatch
|
2018-10-02 21:16:55 +02:00 |
|
Ralf Jung
|
e8f6973e2d
|
fix test for latest rustc
|
2018-09-29 19:39:34 +02:00 |
|
Ralf Jung
|
f18cb40e4c
|
test mutating a non-mut static with interior mutability
|
2018-09-23 09:14:55 +02:00 |
|
Ralf Jung
|
a85b78d30c
|
test for interestingly aligned field access
|
2018-09-22 08:45:24 +02:00 |
|
Ralf Jung
|
18d7394071
|
more compile-fail ptr equality tests, to rule out any non-determinism; and fix ptr equality to fail all of them.
At least these are the cases I can think of right now.
|
2018-09-17 10:02:31 +02:00 |
|
Ralf Jung
|
cd138bcd0b
|
test more operations on dangling ZST pointers
|
2018-09-17 10:02:31 +02:00 |
|
Ralf Jung
|
130d803b32
|
fix test for rustup
|
2018-09-17 09:18:57 +02:00 |
|
Ralf Jung
|
95d79cc11e
|
Merge remote-tracking branch 'origin/master' into zero-sized-accesses
|
2018-09-17 08:39:59 +02:00 |
|
Ralf Jung
|
95eb77c18e
|
add some compile-fail tests
|
2018-09-16 17:29:53 +02:00 |
|
Ralf Jung
|
1697b93ed9
|
Merge branch 'master' into rustup
|
2018-09-01 10:35:19 +02:00 |
|
Ralf Jung
|
f56841d974
|
unignore a bunch of tests that actually work
|
2018-08-30 15:57:17 +02:00 |
|
Ralf Jung
|
c44267960f
|
ptr equality: only defined for ptrs in the same allocation and live ptrs
|
2018-08-30 10:46:09 +02:00 |
|
Ralf Jung
|
e239fcffc1
|
new tests for new fn arg passing code
|
2018-08-30 10:42:18 +02:00 |
|
Ralf Jung
|
904923fa7a
|
move some more helpers to rustc
|
2018-08-30 10:42:18 +02:00 |
|
Ralf Jung
|
2a244dcb48
|
no TLS dtor and no leak checks on macOS
|
2018-08-30 09:41:57 +02:00 |
|
Ralf Jung
|
d1cd254003
|
no RwLock on Windows
|
2018-08-30 09:20:08 +02:00 |
|
Ralf Jung
|
0db1c6a1b0
|
ignore memory leaks on Windows
|
2018-08-30 08:57:33 +02:00 |
|
Ralf Jung
|
d7a3e040eb
|
pthreads test needs full MIR on Windows
|
2018-08-30 08:33:38 +02:00 |
|
Ralf Jung
|
addcbd8868
|
VecDeque now requries full MIR; update to new nightly
|
2018-08-30 08:21:05 +02:00 |
|
Ralf Jung
|
755c68fdd8
|
some unary operator tests
|
2018-08-26 20:42:02 +02:00 |
|
Ralf Jung
|
5ccdbb8de2
|
small test for extern_type
|
2018-08-26 15:15:26 +02:00 |
|
Ralf Jung
|
823837922b
|
update for enum discriminant changes
|
2018-08-25 11:07:21 +02:00 |
|
Ralf Jung
|
9280d17d98
|
test VecDeque
|
2018-08-24 19:50:31 +02:00 |
|
Ralf Jung
|
bb5079b2bf
|
rustup
|
2018-08-24 19:49:57 +02:00 |
|
Ralf Jung
|
40cc72604a
|
update for bool/char being checked at binops
|
2018-08-24 19:18:21 +02:00 |
|
Ralf Jung
|
1a4ad2bb9f
|
update for miri engine: new function handling, new static handling, fixed leaks
|
2018-08-24 16:45:08 +02:00 |
|
Ralf Jung
|
ee7f22245d
|
Merge remote-tracking branch 'origin/master'
|
2018-08-20 18:57:48 +02:00 |
|
Ralf Jung
|
c424e21692
|
update for memory signedness removal; test some float casts
|
2018-08-16 11:35:38 +02:00 |
|
Ralf Jung
|
259cc6e3dc
|
rustup for big refactor; kill most of validation
|
2018-08-16 10:30:43 +02:00 |
|
Ralf Jung
|
98a5b24ef7
|
test some more things around packed structs
|
2018-08-14 20:10:25 +02:00 |
|
Ralf Jung
|
bfda0a0a90
|
add a scary test case
|
2018-08-14 20:10:25 +02:00 |
|
Ralf Jung
|
04b925135d
|
fix modulo logic
|
2018-08-14 20:10:25 +02:00 |
|
Ralf Jung
|
2b40d39c1e
|
support computing the remainder of a ptr, if covered by alignment
|
2018-08-14 20:10:25 +02:00 |
|
Ralf Jung
|
93fef9a6a2
|
reenable an old test
|
2018-08-14 20:10:25 +02:00 |
|
Ralf Jung
|
354ec11c3e
|
try using types with lower alignment, maybe that helps for Windows
|
2018-08-14 18:52:13 +02:00 |
|
Ralf Jung
|
18546308ce
|
mem(r)chr is working in miri now
|
2018-08-02 00:17:02 +02:00 |
|
Ralf Jung
|
1538b36c80
|
make sure that StorageDead invalidates the backing store
|
2018-07-31 20:29:28 +02:00 |
|
Ralf Jung
|
bb6e7c8243
|
Merge branch 'master' into sanity_checks
|
2018-07-30 08:51:34 +02:00 |
|
Ralf Jung
|
ee98799185
|
we no longer need to mess with the environment in our test suite
|
2018-07-26 16:49:10 +02:00 |
|
Ralf Jung
|
b7c57fee61
|
Ignore tests
the bool thing will be fixed by the validation I have planned, and we already ignored another test around modifing constants.
|
2018-07-26 11:21:49 +02:00 |
|
Ralf Jung
|
d11c668a39
|
no longer run rustc on the tests; instead make sure we actually deny all warnings
Also fix the fallout from that
|
2018-07-16 08:39:06 +02:00 |
|
Ralf Jung
|
5be8bd987d
|
Test some new capabilities we gained from a rustc update
|
2018-07-15 21:25:20 +02:00 |
|
Ralf Jung
|
0b8809bf5f
|
port some tests to check the new error format
|
2018-07-15 12:00:02 +02:00 |
|
Ralf Jung
|
30185d09f6
|
make sure we show error messages even when we cannot show span
|
2018-07-15 11:40:57 +02:00 |
|
Ralf Jung
|
25c067ac7a
|
testsuite: put everything into a single test to fix interleaved output mess
|
2018-07-12 15:05:25 +02:00 |
|
Ralf Jung
|
9718d73ac8
|
colored test output!
|
2018-07-12 11:26:09 +02:00 |
|
Ralf Jung
|
8ce16a7c30
|
remove xargo logic; instead rely on MIRI_SYSROOT being set to run full MIR tests
|
2018-07-12 11:02:48 +02:00 |
|
Ralf Jung
|
01578ca6b3
|
don't run all compile-fail tests with full MIR
|
2018-07-12 11:02:48 +02:00 |
|
Ralf Jung
|
949106148c
|
ignore panic test on Windows
|
2018-07-12 10:24:25 +02:00 |
|
memoryleak47
|
eb8195f095
|
typo
|
2018-07-12 10:22:23 +02:00 |
|
Ralf Jung
|
5f2f254695
|
move tests that no longer need MIR out of fullmir
|
2018-07-12 10:22:23 +02:00 |
|
Ralf Jung
|
ff5b0fee33
|
fix many tests and ignore some others; enable compile_fail tests again
|
2018-07-12 10:22:23 +02:00 |
|
Ralf Jung
|
7023126094
|
stop producing binaries
|
2018-07-11 19:36:45 +02:00 |
|
Ralf Jung
|
d4e8d0b935
|
fix deprecation warning: use dirs crate for home_dir
|
2018-07-11 17:42:35 +02:00 |
|
bjorn3
|
ac25a513af
|
Re-enable never_transmute_humans.rs
|
2018-06-05 18:08:18 +02:00 |
|
bjorn3
|
94754de600
|
Convert legitimate failing errors to the new error format
|
2018-06-05 18:08:18 +02:00 |
|
bjorn3
|
8ae66db798
|
Convert some of the tests to the new format
|
2018-06-05 18:08:18 +02:00 |
|
bjorn3
|
569792acbc
|
Address some review comments
|
2018-06-05 18:08:18 +02:00 |
|
bjorn3
|
3db0568c40
|
Fix a couple of tests
|
2018-06-05 18:08:18 +02:00 |
|
David Renshaw
|
6a4c62c167
|
add iter_any test
|
2018-05-11 13:51:04 +02:00 |
|
Oliver Schneider
|
20c2e0bede
|
Test miri on mac os
|
2018-05-11 11:29:18 +02:00 |
|
Oliver Schneider
|
0eb3c18565
|
Use a deterministic method for executing the start lang item
|
2018-05-07 10:46:32 +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 |
|
Oliver Schneider
|
cd89e56f15
|
Get the tests one step further
|
2018-04-13 16:04:57 +02: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
|
4e8b9451ab
|
Update error messages
|
2017-11-27 14:31:51 +01:00 |
|
Oliver Schneider
|
042430270f
|
repeat expressions abort due to OOM instead of execution time exhaustion
|
2017-10-12 11:13:56 +02:00 |
|
Ralf Jung
|
6e8650395d
|
fix oom2 test
|
2017-09-25 16:21:20 +02:00 |
|
Ralf Jung
|
1ad9709e00
|
get rid of ad-hoc inhabitedness test
|
2017-09-22 13:24:55 +02:00 |
|
Oliver Schneider
|
709ab245df
|
Merge branch 'master' into windows
|
2017-09-16 15:06:26 +02:00 |
|
Oliver Schneider
|
cf92528426
|
Add windows support
|
2017-09-16 14:02:59 +02:00 |
|
Ralf Jung
|
5a5aa49db7
|
get rid of the --miri_host_target hack
|
2017-09-16 13:29:38 +02:00 |
|
Ralf Jung
|
e7b0637e68
|
Merge branch 'master' into tests
|
2017-09-16 12:55:49 +02:00 |
|
Ralf Jung
|
060bb2fa9f
|
use ui test mode rather than mir-opt
These tests are not run per default
|
2017-09-16 12:36:31 +02:00 |
|
Ralf Jung
|
bc240ff606
|
add an undef validation test
|
2017-09-16 12:11:48 +02:00 |
|
Ralf Jung
|
2ea6663440
|
validation: check that int, float etc. are not undef
|
2017-09-16 11:45:56 +02:00 |
|
Ralf Jung
|
5d2ed4d2ba
|
Something in panic handling fails validation with full-MIR
|
2017-09-13 18:15:59 +02:00 |
|
Ralf Jung
|
c1630973d0
|
Disable the address-of-ZST test for now; it is buggy as it disagrees with rustc
|
2017-09-13 18:15:59 +02:00 |
|
Ralf Jung
|
bac89ae1d8
|
enable validation for a bunch of more tests
|
2017-09-13 15:46:53 +02:00 |
|
Ralf Jung
|
aa578de018
|
identify write locks by lvalues, not regions
This makes a new compile-fail test pass.
|
2017-09-13 14:37:31 +02:00 |
|
Oliver Schneider
|
ce3576f7d8
|
Use correct rustc in rust's CI
|
2017-09-11 11:01:26 +02:00 |
|
Ralf Jung
|
ce4875484f
|
there are more tests we can enable again
|
2017-09-09 11:30:15 +02:00 |
|
Ralf Jung
|
41f228824f
|
fix warnings in tests; update validation whitelist
|
2017-09-09 11:18:02 +02:00 |
|
Ralf Jung
|
00c909dbd0
|
we can enable a bunch of tests for validation again
|
2017-09-09 11:18:02 +02:00 |
|
Oliver Schneider
|
5570a78c51
|
Disable validation for some tests
|
2017-09-07 16:56:46 +02:00 |
|
Ralf Jung
|
9fe0d60da6
|
disable optimized tests until rustc is fixed
|
2017-09-06 10:30:00 +02:00 |
|
Ralf Jung
|
59cbfdbf08
|
enable a test that works just fine
|
2017-09-06 10:10:43 +02:00 |
|
Oliver Schneider
|
e9315a60e4
|
Rustup
|
2017-09-06 10:10:15 +02:00 |
|
Ralf Jung
|
3b6852abf0
|
Merge branch 'master' into align_offset
|
2017-09-04 13:22:11 +02:00 |
|
Ralf Jung
|
8dff161bcb
|
update compiletest; we do not need tempdir any more
|
2017-09-04 13:02:55 +02:00 |
|
Ralf Jung
|
ea911ca8a7
|
disable validation in failing tests for now
|
2017-09-04 11:48:48 +02:00 |
|
Oliver Schneider
|
cf25ef9d9d
|
Implement align_offset intrinsic and thus enabling from_utf8
|
2017-09-01 12:26:51 +02:00 |
|
Oliver Schneider
|
58a59e9d23
|
Rustup (generator support)
|
2017-08-30 13:16:27 +02:00 |
|
Ralf Jung
|
e6a874b0bf
|
test new From instances for Rc
|
2017-08-29 16:51:26 +02:00 |
|
Oliver Schneider
|
506a5c7910
|
Mir optimizations treat single variant enums as structs
|
2017-08-29 12:26:20 +02:00 |
|
Oliver Schneider
|
88fc45b37c
|
Get some more rustc tests working
|
2017-08-29 11:58:22 +02:00 |
|
Oliver Schneider
|
206f0bd6df
|
Fix panic in subslice patterns of arrays (fixes #276)
|
2017-08-29 10:03:00 +02:00 |
|