rchaser53
b1c0cf2ef9
use copy_op directly insteadof write_scalar
...
- fix volatile_store logic
- rename test to be able to read back from later
- expand test to use assert_eq! and confirm to fix volatile_store
- expand test to use assert_eq! and confirm normal load
2019-02-26 19:49:02 +09:00
Ralf Jung
457741d6d2
update for new bin_op APIs
2019-02-15 09:35:55 +01:00
Ralf Jung
0f6e82db36
fix (un)likely intrinsics
2019-02-09 13:08:23 +01:00
Ralf Jung
661ed7b82d
implement atomic_nand
2019-02-06 11:40:10 +01:00
Ralf Jung
e81d81e5af
implement panic_if_uninhabited intrinsic
2019-01-07 11:23:08 +01:00
Ralf Jung
6b376dc394
get rid of to_bytes hack
2018-12-11 14:32:59 +01:00
Ralf Jung
9de605b32f
avoid repeating signatures in EvalContext extension traits
2018-12-11 14:16:58 +01:00
Oliver Scherer
32e93ed776
Update to Memory -> Allocation method move
2018-11-23 17:00:31 +01:00
Ralf Jung
68ba6cdbaa
fix for new Align type
2018-11-23 09:46:51 +01:00
Ralf Jung
662821f7f7
raw ptr deref no longer erases the tag
2018-11-17 10:11:21 +01:00
Ralf Jung
09919c2b59
Retag is the only operation that generates new tags
2018-11-15 09:35:40 +01:00
Ralf Jung
2ff1f24f2b
bump rust
2018-11-07 10:41:15 +01:00
Ralf Jung
9edac3189a
rustup
2018-11-05 08:52:02 +01:00
Ralf Jung
27b1f47b0a
use crate:: where appropriate
2018-11-01 08:57:22 +01:00
Ralf Jung
40b7502613
Reject atomic arithmetic on non-integer types
...
Fixes #181
2018-10-31 11:04:35 +01:00
Ralf Jung
4a98f64142
Merge remote-tracking branch 'origin/master' into rustup
2018-10-26 15:06:21 +02:00
Ralf Jung
d890a70c39
update for is_null removal
2018-10-25 11:37:42 +02:00
Ralf Jung
01828fde53
respect memory's privacy
2018-10-22 16:48:10 +02:00
Ralf Jung
957d18c343
Merge remote-tracking branch 'origin/master' into rustup
2018-10-22 08:41:01 +02:00
Ralf Jung
186e42d088
move resolve_path to helpers module
2018-10-19 09:54:41 +02:00
Ralf Jung
d4b78b36ab
stacked borrows: enforcement at memory accesses
2018-10-17 15:15:53 +02:00
Ralf Jung
66b4bb7cf2
stacked borrows: track refs and derefs
2018-10-16 18:35:27 +02:00
Ralf Jung
b84f7e2029
add Borrow tag to pointers; remove old locking code
2018-10-16 18:35:27 +02:00
Ralf Jung
837a17625a
Merge remote-tracking branch 'origin/master' into rustup
2018-10-14 10:35:27 +02:00
Ralf Jung
b99e1267be
atomics wrap around on overflow
2018-10-12 09:08:17 +02:00
Ralf Jung
791f464ea0
update for size_and_align considering extern types
2018-10-11 08:59:39 +02:00
Ralf Jung
8ea8cd2919
update for ptr provenance
2018-10-11 08:42:26 +02:00
Ralf Jung
72cd905484
rustup
2018-10-02 09:25:55 +02:00
Ralf Jung
1ce05523c4
remove needs_drop impl
2018-10-01 08:24:42 +02:00
Ralf Jung
95d79cc11e
Merge remote-tracking branch 'origin/master' into zero-sized-accesses
2018-09-17 08:39:59 +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
fe9cd1c98d
strictly enforce pointer validity even for zero-sized accesses
2018-08-30 10:50:13 +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
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
1a4ad2bb9f
update for miri engine: new function handling, new static handling, fixed leaks
2018-08-24 16:45:08 +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
259cc6e3dc
rustup for big refactor; kill most of validation
2018-08-16 10:30:43 +02:00
Ralf Jung
ad5403e2e5
fix layout in discriminant_value
2018-08-14 15:58:49 +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
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
77c8582031
align_offset intrinsic is now a lang item
2018-06-03 13:08:51 +02:00
Oliver Schneider
9655aaf3aa
Comparing Scalar's with differend defined values is false
2018-06-03 13:08:51 +02:00
bjorn3
4143922d1d
Partial rustup
2018-06-03 13:08:51 +02:00
