mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,357 Commits 2 Branches 0 Tags 1.4 GiB
7ed706d09c
Commit Graph

1357 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Ralf Jung
12935b6514 add some compile-fail tests 2017-06-22 14:46:53 -07:00
Ralf Jung
14cb31fb88 permit bit-anding in pointer values below the alignment 
This makes HashMap work!
 2017-06-22 14:46:53 -07:00
Ralf Jung
269667e152 implement _nonzero intrinsics 2017-06-22 14:46:53 -07:00
Oliver Schneider
1a1d741df9 Merge pull request #203 from RalfJung/offset 
Allow any offset on integer and ZST pointers
 2017-06-22 23:45:25 +02:00