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 |
|
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
|
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
|
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 |
|
Oliver Schneider
|
a2baeb516c
|
Run the tls destructors in the correct order
|
2017-06-20 14:28:18 +02:00 |
|
Oliver Schneider
|
43afa20dc7
|
Add pthread docs
|
2017-06-20 14:28:18 +02:00 |
|
Oliver Schneider
|
fcf495821e
|
Get rid of the integer allocation
|
2017-06-20 14:28:18 +02:00 |
|
Oliver Schneider
|
f5ca91e812
|
Update to latest nightly
|
2017-06-20 14:28:18 +02:00 |
|
Oliver Schneider
|
2302f2b81e
|
Merge pull request #199 from dwrensha/end-region
handle EndRegion as no-op
|
2017-06-20 12:59:13 +02:00 |
|
David Renshaw
|
f14ebd1142
|
handle EndRegion as no-op
|
2017-06-20 19:35:46 +09:00 |
|
Oliver Schneider
|
fb3d93cf23
|
Merge pull request #198 from dwrensha/update-compiletest
update compiletest and remove obsolete comment
|
2017-06-20 06:42:36 +02:00 |
|
David Renshaw
|
a28c7990ea
|
update compiletest and remove obsolete comment
|
2017-06-20 07:08:29 +09:00 |
|
Eduard-Mihai Burtescu
|
4566058cc2
|
Merge pull request #195 from RalfJung/test
Test the Rc::{into,from}_raw roundtrip
|
2017-06-13 09:14:01 +03:00 |
|
Ralf Jung
|
4b1a12c240
|
test the Rc::{into,from}_raw roundtrip
This uses some pointer arithmetic based on field offsets
|
2017-06-12 15:32:16 -07:00 |
|
Oliver Schneider
|
03577a905a
|
Fix some clippy warnings
|
2017-06-12 13:56:29 +02:00 |
|
Oliver Schneider
|
ec8cd6da29
|
Merge pull request #194 from RalfJung/test
Enable a test that was accidentally left disabled
|
2017-06-12 08:06:39 +02:00 |
|
Oliver Schneider
|
7b9abf7e0a
|
Merge pull request #193 from RalfJung/xargo
Rustup 1.4 fixed the permissions of the extracted files
|
2017-06-12 08:05:13 +02:00 |
|
Ralf Jung
|
4ac9fa67a4
|
enable a test that was accidentally left disabled
|
2017-06-11 21:16:05 -07:00 |
|
Ralf Jung
|
7504512cbd
|
rustup 1.4 fixed the permissions of the extracted files
|
2017-06-11 17:24:38 -07:00 |
|
Eduard-Mihai Burtescu
|
cb10f2f369
|
Merge pull request #192 from dwrensha/rustup
update for latest nightly rustc
|
2017-06-11 04:39:33 +03:00 |
|
David Renshaw
|
f174cc8a4c
|
tcx.infer_ctxt() no longer takes an argument
|
2017-06-10 20:39:48 -04:00 |
|
Oliver Schneider
|
2daf62f714
|
Merge pull request #188 from RalfJung/overflow
Bail out on overflow
|
2017-06-08 21:34:31 +02:00 |
|
Ralf Jung
|
3a5abf031b
|
fix comment in aux_test
|
2017-06-08 11:34:49 -07:00 |
|
Ralf Jung
|
e0559a6b24
|
typos
|
2017-06-08 10:56:49 -07:00 |
|
Ralf Jung
|
3e1596d8c9
|
Error out when "primitive MIR math" (as opposed to unchecked intrinsics) overflows
Fixes #178
|
2017-06-07 15:39:44 -07:00 |
|
Ralf Jung
|
e1562fbe71
|
comments
|
2017-06-06 10:15:54 -07:00 |
|
Oliver Schneider
|
cad0188c72
|
Merge pull request #187 from dwrensha/fix-issue-184-mark-packed
fix issue 184 by marking the destination as a packed struct
|
2017-06-06 17:47:04 +02:00 |
|
David Renshaw
|
49fb43f293
|
use type_align() and type_size() instaed of size_and_align_of_dst()
|
2017-06-06 10:29:53 -04:00 |
|
David Renshaw
|
c8be312933
|
fix issue 184 by marking the destination as a packed struct
|
2017-06-06 09:49:34 -04:00 |
|
Oliver Schneider
|
58a46392c1
|
Merge pull request #185 from RalfJung/pointers
Various pointer-related things
|
2017-06-06 11:01:50 +02:00 |
|
Ralf Jung
|
91b93bc701
|
less strict kind test for pointer operations
|
2017-06-05 18:23:25 -07:00 |
|
Ralf Jung
|
684de68d6c
|
properly wrap pointer offsets at pointer size
|
2017-06-05 18:07:26 -07:00 |
|
Ralf Jung
|
7bfda59fe2
|
don't bother inserting integer relocations into the relocation table
|
2017-06-05 17:17:16 -07:00 |
|
Ralf Jung
|
36505c7b40
|
fix bitops being accidentally allowed on pointers from the same allocation
|
2017-06-05 17:17:16 -07:00 |
|
Ralf Jung
|
a6e6a6fd29
|
Add some more tests involving Offset/arith_offset and ZST pointers
|
2017-06-05 15:19:07 -07:00 |
|
Ralf Jung
|
a291153414
|
Permit ptr->int->ptr roundtrip
|
2017-06-05 15:18:40 -07:00 |
|
Oliver Schneider
|
c16f24b133
|
Merge pull request #177 from RalfJung/drop-glue
remove our array drop glue and use rustc's instead
|
2017-06-05 23:40:01 +02:00 |
|
Ralf Jung
|
2a231d66fc
|
check bounds when using offset intrinsic or MIR op
|
2017-06-05 14:27:26 -07:00 |
|
Ralf Jung
|
f39e015163
|
check for overflow when doing pointer arithmetic
|
2017-06-05 14:23:35 -07:00 |
|
Ralf Jung
|
70227c87bf
|
fix arith_offset not taking the size of the type into account; test for offset
|
2017-06-05 14:23:35 -07:00 |
|
Ralf Jung
|
1d0e622a81
|
test that we cannot observe the bytes representing a pointer
|
2017-06-05 14:23:35 -07:00 |
|
Ralf Jung
|
6197f4fac9
|
Permit int->ptr->int roundtrip
|
2017-06-05 14:23:35 -07:00 |
|