Ralf Jung
|
19d6ad74e5
|
add test for div-by-zero with the operator (rather than the intrinsic)
|
2017-07-03 20:59:47 -07:00 |
|
Ralf Jung
|
30f92f8a27
|
catch overflows that are hidden by first casting the RHS to u32
|
2017-07-03 20:50:19 -07:00 |
|
Ralf Jung
|
ffd482e2f5
|
check the assumptions made by the unchecked_ and copy_nonoverlapping intrinsics
|
2017-07-03 20:37:38 -07:00 |
|
Ralf Jung
|
f118ff43e7
|
implement the unchecked_ intrinsics; add all the doctests from one of the integer modules
|
2017-07-03 20:37:33 -07:00 |
|
Ralf Jung
|
79ab4f0e8c
|
make u128 test work (commenting out the use of checked_shl)
|
2017-07-03 20:36:04 -07:00 |
|
Ralf Jung
|
440c4778fa
|
validate size and alignment on reallocate and deallocate
|
2017-07-03 16:47:58 -07:00 |
|
Ralf Jung
|
bdcdb605a4
|
fix test on i686
|
2017-07-03 16:16:05 -07:00 |
|
Ralf Jung
|
dc9f5a205f
|
properly check for: double-free, use-after-reallocate
|
2017-07-03 16:12:11 -07:00 |
|
Ralf Jung
|
030166757c
|
Fix transmute on ByValPair
Fixes #227
|
2017-07-03 13:58:50 -07:00 |
|
Oliver Schneider
|
823b952ef2
|
Only check pointers when dereferencing
Before we also checked whether pointers had alloc_ids when we created rvalue references
|
2017-07-03 14:16:11 +02:00 |
|
Oliver Schneider
|
8ff5d59efe
|
Merge pull request #231 from dwrensha/update-compiletest
update compiletest dependency
|
2017-07-01 12:44:39 +02:00 |
|
David Renshaw
|
7008646bfe
|
update compiletest dependency
|
2017-06-30 12:06:49 -04:00 |
|
Oliver Schneider
|
4fa71ad3eb
|
Merge pull request #230 from dwrensha/cargo-miri
get cargo-miri to work
|
2017-06-29 20:44:48 +02:00 |
|
David Renshaw
|
7a755ce8f9
|
add a dependency to cargo-miri-test
|
2017-06-29 14:00:24 -04:00 |
|
David Renshaw
|
e3fa4fb849
|
get cargo-miri to work
|
2017-06-29 13:06:36 -04:00 |
|
Oliver Schneider
|
8722ce8d4b
|
Merge pull request #223 from oli-obk/lvalue_read
Reinstate `eval_and_read_lvalue` optimizations
|
2017-06-29 15:40:06 +02:00 |
|
Oliver Schneider
|
4a560834b9
|
Merge pull request #226 from dwrensha/rustup
update for upstream changes to TyFnDef
|
2017-06-29 15:03:12 +02:00 |
|
David Renshaw
|
73ab5c77c2
|
normalize signature before passing to check_sig_compat
|
2017-06-29 07:58:22 -04:00 |
|
David Renshaw
|
32e7dcb6fb
|
update for upstream changes to TyFnDef
|
2017-06-28 22:00:17 -04:00 |
|
Oliver Schneider
|
695f9723d2
|
Merge pull request #222 from oli-obk/const_eval_checks
Address comments to previous PR
|
2017-06-28 23:08:58 +02:00 |
|
Oliver Schneider
|
a589ccb839
|
Merge pull request #225 from RalfJung/comments
cast -> transmute
|
2017-06-28 23:08:02 +02:00 |
|
Ralf Jung
|
51b43215a4
|
cast -> transmute
|
2017-06-28 11:37:15 -07:00 |
|
Oliver Schneider
|
917c89e697
|
Optimize lvalue reads from Value::ByVal and Value::ByValPair
|
2017-06-28 13:37:23 +02:00 |
|
Oliver Schneider
|
91409f1d76
|
Code nits
|
2017-06-28 13:10:50 +02:00 |
|
Oliver Schneider
|
c8079c652c
|
Address comments
|
2017-06-28 10:17:14 +02:00 |
|
Oliver Schneider
|
42d3edada7
|
Merge pull request #220 from oli-obk/undo_single_field_opt
Remove the `field` field from `Lvalue::Local`
|
2017-06-28 10:15:36 +02:00 |
|
Oliver Schneider
|
a724a39323
|
Reword comments
|
2017-06-28 09:46:41 +02:00 |
|
Oliver Schneider
|
6edca303e8
|
Merge pull request #221 from dwrensha/rustup
update tests for new error message
|
2017-06-28 08:46:02 +02:00 |
|
David Renshaw
|
54821102b4
|
update tests for new error message
|
2017-06-27 21:31:38 -04:00 |
|
Oliver Schneider
|
5dfaacf310
|
Simplify all the code
|
2017-06-27 13:36:41 +02:00 |
|
Oliver Schneider
|
f3832c6476
|
Merge pull request #218 from oli-obk/minimal_ctfe
Initial work towards checking const eval rules in miri
|
2017-06-27 08:22:21 +02:00 |
|
Oliver Schneider
|
ab400f3eea
|
Initial work towards checking const eval rules in miri
|
2017-06-26 17:58:47 +02:00 |
|
Oliver Schneider
|
14d130946d
|
Merge pull request #210 from RalfJung/ptrcast
Change how pointer casts work
|
2017-06-24 20:39:57 +02:00 |
|
Ralf Jung
|
76a1d66e77
|
fix build after rebase
|
2017-06-24 11:05:53 -07:00 |
|
Ralf Jung
|
4e90e3bcf6
|
remove redundant test
|
2017-06-24 11:05:13 -07:00 |
|
Ralf Jung
|
38d03392fa
|
Clarify pattern matching
|
2017-06-24 11:05:13 -07:00 |
|
Ralf Jung
|
fbc00ddc95
|
make sure that 'identity casting' works
|
2017-06-24 11:05:13 -07:00 |
|
Ralf Jung
|
b1acc130bb
|
check alignment of pointers on Ref
|
2017-06-24 11:05:13 -07:00 |
|
Ralf Jung
|
f0c8df2291
|
handle ptr-int casts explicitly in cast.rs
|
2017-06-24 11:05:13 -07:00 |
|
Ralf Jung
|
7b7f690274
|
Make sure that casting a ptr-integer down to u8 makes it unusable
|
2017-06-24 11:05:13 -07:00 |
|
Eduard-Mihai Burtescu
|
86e2367029
|
Merge pull request #215 from oli-obk/master
Make zst compile-fail tests more readable
|
2017-06-24 13:59:41 +03:00 |
|
Oliver Schneider
|
4aca1d0e0b
|
Make zst compile-fail tests more readable
|
2017-06-24 12:46:35 +02:00 |
|
Oliver Schneider
|
8c6c6d7cad
|
Merge pull request #212 from oli-obk/zero_sense_types
Remove the zst allocation
|
2017-06-23 22:19:38 +02:00 |
|
Oliver Schneider
|
377fcce9b8
|
Ensure tests run with and without full MIR
|
2017-06-23 16:41:56 +02:00 |
|
Oliver Schneider
|
eca9e3429a
|
PrimVal used to allow comparing Undef
|
2017-06-23 16:12:03 +02:00 |
|
Oliver Schneider
|
5ee4fdcd15
|
fetch_tls_dtor "read" an Undef as nonzero
|
2017-06-23 13:31:00 +02:00 |
|
Oliver Schneider
|
c4fc6c677d
|
Typo
|
2017-06-23 13:30:31 +02:00 |
|
Oliver Schneider
|
9be3e9185b
|
Remove the zst allocation
|
2017-06-23 12:55:49 +02:00 |
|
Oliver Schneider
|
f10dd417cb
|
Merge pull request #209 from RalfJung/ptrs
Make HashMap insertion work
|
2017-06-23 07:18:26 +02:00 |
|
Ralf Jung
|
d5c031640f
|
use PrimVal::to_bool rather than bytes_to_bool
|
2017-06-22 20:20:26 -07:00 |
|