Commit Graph

1151 Commits

Author SHA1 Message Date
Ralf Jung f925e5dafd cargo miri: show version number 2018-09-16 15:18:18 +02:00
Ralf Jung b488b51b66 bump Rust 2018-09-15 10:34:45 +02:00
Ralf Jung d889da43f8 move MemoryData to memory.rs; remove all the Hashing stuff 2018-09-09 11:01:15 +02:00
Tim 72918c1a97 Remove (overflowing_)add/mul/sub(_with_overflow) 2018-09-06 16:49:08 +02:00
Tim 055c63ab0d Remove unchecked_shr/shl from intrinsics 2018-09-06 16:07:13 +02:00
Ralf Jung 6dff6e84d7 Merge branch 'master' into master 2018-09-01 11:47:52 +02:00
thedarkula 90d7cb2493 Removed transmute from intrinsic.rs 2018-09-01 11:47:20 +02:00
Ralf Jung d3928f6356 more permissive pointer comparison logic 2018-09-01 11:26:54 +02:00
Ralf Jung 2a318264ea also allow comparing pointers with integers so big that they cannot be equal 2018-08-30 11:05:52 +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 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 e2ec521f21 pretend mprotect works 2018-08-30 09:22:01 +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 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 bb5079b2bf rustup 2018-08-24 19:49:57 +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
Ralf Jung 1179d4f8a4 fix int ptr ops on 32bit 2018-08-14 20:25:56 +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 1fbf998b65 Fix remaining windows hooks 2018-08-14 19:47:41 +02:00
Ralf Jung e10d83c8bb fix windows hooks 2018-08-14 18:52:13 +02:00
Ralf Jung ad5403e2e5 fix layout in discriminant_value 2018-08-14 15:58:49 +02:00
Ralf Jung f0070fca1e remove unnecessary features 2018-08-14 09:35:31 +02:00
Oliver Schneider 7b4402746f Add comments explaining why we do something complex for (un)init 2018-08-08 10:34:49 +02:00
Oliver Schneider be91aea0fa Rustup 2018-08-07 15:22:11 +02:00
Ralf Jung 3783cebe80 remove dependency on lazy_static and regex by getting rid of some dead validation hack 2018-08-02 12:16:09 +02:00
Ralf Jung ff3efb4e04 clarify error message when sysroot was not found 2018-07-30 14:49:01 +02:00
Ralf Jung bb6e7c8243 Merge branch 'master' into sanity_checks 2018-07-30 08:51:34 +02:00
Ralf Jung f6d4814fb3 detect another printing function for nicer error 2018-07-26 17:31:00 +02:00
Ralf Jung 851f2ab98e test cargo miri output 2018-07-26 16:43:51 +02:00
Ralf Jung e849fa47fb make miri compile again 2018-07-26 11:21:49 +02:00
Oliver Schneider 53114e3b36 Update to rustc sanity check branch 2018-07-26 11:21:49 +02:00
Oliver Schneider b055ff03f1 Produce the exit codes that compiletest expects 2018-07-25 17:28:16 +02:00
Ralf Jung f9a8d2618e fix for latest rust nightly 2018-07-16 22:26:32 +02:00
Ralf Jung e1a3b9606e TLS on Windows 2018-07-16 11:42:46 +02:00
Ralf Jung 216b8f7407 shim some Windows functions 2018-07-16 10:27:19 +02:00
Ralf Jung 5be8bd987d Test some new capabilities we gained from a rustc update 2018-07-15 21:25:20 +02:00