Commit Graph

1850 Commits

Author SHA1 Message Date
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
Oliver Schneider 752accf4e4 Merge pull request #434 from solson/rustup
rustup for big refactor; kill most of validation
2018-08-30 10:31:05 +02:00
Ralf Jung 2a244dcb48 no TLS dtor and no leak checks on macOS 2018-08-30 09:41:57 +02:00
Ralf Jung e2ec521f21 pretend mprotect works 2018-08-30 09:22:01 +02:00
Ralf Jung d1cd254003 no RwLock on Windows 2018-08-30 09:20:08 +02:00
Ralf Jung b4ebe72b1b stack address functions for macOS 2018-08-30 09:04:57 +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 1b41b71827 update for MUT_STATIC_KIND 2018-08-26 13:19:03 +02:00
Ralf Jung 1ba6140891 rustup 2018-08-25 21:22:06 +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 42bce6cb36 rustup 2018-08-24 17:44:04 +02:00
Ralf Jung 2ee4aac62f fix leaks with -Zmiri-start-fn 2018-08-24 16:45:08 +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 68194180a8 fix type renaming 2018-08-23 09:29:27 +02:00
Ralf Jung ee7f22245d Merge remote-tracking branch 'origin/master' 2018-08-20 18:57:48 +02:00
Ralf Jung 1a23b3c313 rustup 2018-08-20 16:27:23 +02:00
Ralf Jung 6203bf445f update for rustc memory changes; fix (un)init intrinsic for ZST 2018-08-18 11:59:28 +02:00
Ralf Jung ea27e46a38 fix compilation after rustc change 2018-08-17 09:36:53 +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
Oliver Schneider 66ca0fb0a9 Merge pull request #431 from RalfJung/packed
Allow remainder on pointers, reenable packed-structs test
2018-08-15 09:24:01 +02:00
Ralf Jung 51dbb5aa29 tweak test config in Cargo.toml 2018-08-14 20:57:58 +02:00
Ralf Jung 1179d4f8a4 fix int ptr ops on 32bit 2018-08-14 20:25:56 +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 65357faef8 Merge pull request #425 from solson/rustup
Rustup
2018-08-14 20:09:54 +02:00
Ralf Jung 1fbf998b65 Fix remaining windows hooks 2018-08-14 19:47:41 +02:00
Ralf Jung 7c73df9985 avoid recompiling miri for 2nd test run; avoid unreadable output due to backtraces
also some travis config cleanup
2018-08-14 18:53:46 +02:00
Ralf Jung e10d83c8bb fix windows hooks 2018-08-14 18:52:13 +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 30cef4e9a1 fix rustc_tests 2018-08-14 16:45:18 +02:00
Ralf Jung ad5403e2e5 fix layout in discriminant_value 2018-08-14 15:58:49 +02:00
Ralf Jung cec39d7014 Merge branch 'master' into rustup 2018-08-14 15:58:40 +02:00
Ralf Jung 0efc6b2a9d Merge pull request #429 from RalfJung/cargo-miri-test
Cargo miri test
2018-08-14 10:15:55 +02:00
Ralf Jung c4c8c60279 update README: 'cargo miri' with full MIR; consistent capitalization 2018-08-14 09:41:04 +02:00
Ralf Jung 034bb25f54 fix 'cargo miri test' for full MIR, and run it on CI 2018-08-14 09:41:04 +02:00
Ralf Jung bed48ce5df bump toolchain 2018-08-14 09:40:00 +02:00
Ralf Jung d101e84020 Merge branch 'master' into rustup 2018-08-14 09:39:06 +02:00
Oliver Schneider ff0f856e18 Merge pull request #428 from RalfJung/toolchain
document and fully use rust-toolchain file
2018-08-14 09:37:07 +02:00