Commit Graph

1173 Commits

Author SHA1 Message Date
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
Ralf Jung
c1a6df941e permit all kinds of 0-offsets on ZSTs 2017-06-22 14:26:17 -07:00
Ralf Jung
2f61356858 permit offsetting a NULL-ptr by 0, to fix hashmap test 2017-06-22 13:41:13 -07:00
Ralf Jung
57391bab10 fix unused variable warning 2017-06-22 11:33:39 -07:00
Ralf Jung
6512fa7be8 use PrimVal::is_null 2017-06-22 11:33:31 -07:00
Ralf Jung
3637aa86c8 allow any offset on integer pointers 2017-06-22 11:28:00 -07:00
Oliver Schneider
8de111018d Merge pull request #201 from oli-obk/test_suite_fails
"Support" more libc functions
2017-06-22 14:16:45 +02:00
Oliver Schneider
2b9cfb6850 Update regions-mock-trans.rs 2017-06-22 12:30:02 +02:00
Oliver Schneider
1883aac8c2 Update foreign-fn-linkname.rs 2017-06-22 12:27:18 +02:00
Oliver Schneider
8733bd0e7c Update mod.rs 2017-06-22 11:40:06 +02:00
Oliver Schneider
522ac49364 Merge pull request #206 from RalfJung/ptrs
Pointer Arithmetic
2017-06-22 11:25:05 +02:00
Eduard-Mihai Burtescu
046136a3f7 Merge pull request #207 from dwrensha/update-readme
update xargo usage example for new location of vecs.rs
2017-06-22 11:49:34 +03:00
David Renshaw
86d31fa09c update xargo usage example for new location of vecs.rs 2017-06-22 17:44:20 +09:00
Oliver Schneider
6034655ef1 Merge pull request #205 from RalfJung/tests
run fullmir tests against rustc; add output explaining what is being tested
2017-06-22 09:01:37 +02:00
Oliver Schneider
a805606d45 malloc should return null for zst allocs 2017-06-22 08:52:53 +02:00
Ralf Jung
7b2b0dd56c test HashMap creation in libstd-MIR, and make it work again 2017-06-21 23:09:34 -07:00
Ralf Jung
894306e47d refactor pointer arithmetic handling 2017-06-21 22:59:47 -07:00
Ralf Jung
6eafb10b87 add test for function pointer offsets 2017-06-21 21:54:42 -07:00
Ralf Jung
78aa93fa10 correctly reject functions pointers that had arithmetic done to them 2017-06-21 21:45:51 -07:00
Ralf Jung
7b1582b383 permit integer addition and subtraction on ptr-integers 2017-06-21 21:38:43 -07:00
Ralf Jung
b8c5e7fd0e refactor pointer handling in binops 2017-06-21 21:02:11 -07:00
Ralf Jung
184d3b3bad expand thread-local storage tests to cover dtor order and re-running dtors 2017-06-21 20:17:07 -07:00
Ralf Jung
8101592ab2 run fullmir tests against rustc; add output explaining what is being tested 2017-06-21 14:28:13 -07:00
Oliver Schneider
a630677b01 Report better errors on random numbers and threads 2017-06-21 16:34:40 +02:00
Oliver Schneider
d539fafaf6 Merge pull request #200 from oli-obk/master
Get rid of the integer allocation (Round 2)
2017-06-21 16:22:15 +02:00
Oliver Schneider
ecc44fec7e Implement malloc and free 2017-06-21 15:51:42 +02:00
Oliver Schneider
f22c7e43df Store env vars where necessary 2017-06-21 15:46:30 +02:00
Oliver Schneider
5414825f09
Simplify numeric intrinsics 2017-06-21 15:08:19 +02:00
Oliver Schneider
a6cd7a2e08 Also move some compile-fail tests to fullmir-only 2017-06-21 15:07:40 +02:00
Oliver Schneider
b001b5531b The latest nightly doesn't expose as much MIR anymore as it used to 2017-06-21 09:44:10 +02:00
Oliver Schneider
ef29e6a30b Add fullmir tests 2017-06-21 08:57:17 +02:00
Oliver Schneider
a82fe9ae0c Enable more zst writes and reads 2017-06-20 16:26:53 +02:00
Oliver Schneider
ea6f6079ca
Use PrimVal instead of Pointer where applicable 2017-06-20 14:28:19 +02:00
Oliver Schneider
a6734cd890
Fix unions 2017-06-20 14:28:18 +02:00
Oliver Schneider
75fddee700
Simplify the return lvalue 2017-06-20 14:28:18 +02:00