Mirrors/rust
1
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2026-05-31 21:47:15 +03:00
Code Issues Packages Projects Releases Wiki Activity
3,100 Commits 10 Branches 158 Tags
1be4e2ff589e14148dc71a0f4d71ff2923876415
Commit Graph

1626 Commits

Author SHA1 Message Date
Ralf Jung 4f1c9bb607 adjust for typed binary/unary_op 2019-08-18 07:42:15 +02:00
bors 4f6f264c30 Auto merge of #909 - RalfJung:deny-warn, r=oli-obk 
deny warnings on CI
 2019-08-15 09:37:38 +00:00
Ralf Jung f9241be734 fix warning 2019-08-15 11:24:04 +02:00
bors c71b240f85 Auto merge of #863 - RalfJung:deref-checks, r=RalfJung 
adjust tests for eager pointer checks on deref

The Miri side of https://github.com/rust-lang/rust/pull/63075.

Fixes https://github.com/rust-lang/miri/issues/447.
 2019-08-15 09:11:08 +00:00
Ralf Jung a801b0ba3f adjust for fn rename 2019-08-15 11:01:03 +02:00
Christian Poveda aee8f173ec Delegate writing to emulate_foreign_item 2019-08-14 16:50:36 -05:00
Christian Poveda 41f8cfa30e Move env shims to its own module 2019-08-14 16:30:55 -05:00
bors 1f504ea7be Auto merge of #894 - christianpoveda:env-vars-communication, r=RalfJung 
Enable env communication

related issue: https://github.com/rust-lang/miri/issues/800. r? @RalfJung
 2019-08-14 18:58:06 +00:00
Christian Poveda 451a09a685 Remove tcx parameter for EnvVars::alloc_env_value 2019-08-14 13:54:57 -05:00
Christian Poveda 46f902b67d Rename export for shims::env::EnvVars 2019-08-14 11:31:29 -05:00
Christian Poveda afc6713e41 Reorganize shims::env::EnvVars 2019-08-13 16:17:41 -05:00
Christian Poveda 67d13577aa Move test env var to test_runner 2019-08-13 12:10:24 -05:00
Christian Poveda 666cd22fa6 Wrap hashmap for env vars in its own type 2019-08-13 11:34:43 -05:00
bors 47b227e24a Auto merge of #906 - RalfJung:tls, r=RalfJung 
make TLS state private to TLS module
 2019-08-13 11:32:25 +00:00
Ralf Jung 95fb11d51f make TLS state private to TLS module 2019-08-13 09:29:01 +02:00
Ralf Jung 7a9733929b it's called RUSTC_CTFE_BACKTRACE now 2019-08-12 08:26:11 +02:00
Ralf Jung 04892d9155 typo 2019-08-10 11:33:33 +02:00
Ralf Jung 0743ed631e clamp ldexp exponent to i16 2019-08-10 11:27:27 +02:00
Ralf Jung 3ae01a64bc also support scalbn itself 2019-08-10 11:22:32 +02:00
Ralf Jung 5e3035b6cb use apfloat for ldexp 2019-08-09 19:54:01 +02:00
Christian Poveda e1d1cd191f Use ldexp from cmath instead 2019-08-08 15:45:58 -05:00
Ralf Jung 19367fd8de bump xargo version 2019-08-08 19:34:23 +02:00
Christian Poveda 253af9692a Fix formatting 2019-08-07 10:50:46 -05:00
bors b12ebfc3de Auto merge of #895 - RalfJung:uninit, r=oli-obk 
Revert "uninit intrinsic is gone"

This reverts commit fa290f1a48.
Uninit is [being reinstated](https://github.com/rust-lang/rust/pull/63343) because it breaks some broken code.
 2019-08-07 12:42:19 +00:00
Ralf Jung 455531c564 Revert "uninit intrinsic is gone" 
This reverts commit fa290f1a48.
Uninit is being reinstated because it breaks some broken code.
 2019-08-07 10:49:36 +02:00
Christian Poveda b731a6a15f Add support for env communication 2019-08-06 17:40:07 -05:00
Christian Poveda 068c448832 Add communicate field to evaluator and fix formatting 2019-08-06 15:44:44 -05:00
Christian Poveda 655f9af7fe Add flag to enable communication 2019-08-06 15:18:22 -05:00
Ralf Jung 3fe4eec37a mention that we get the toolchain right 2019-08-06 20:52:09 +02:00
Ralf Jung cc8d995605 go back to released xargo (the experiment is done) 2019-08-06 08:05:32 +02:00
Ralf Jung b0cb603e3a rustup 2019-08-05 15:49:19 +02:00
Ralf Jung d26917a9d6 fix for latest rustc 2019-08-05 10:45:48 +02:00
bors 93e110f370 Auto merge of #886 - Aaron1011:shim/getrandom, r=RalfJung 
Shim 'libc::getrandom' in addition to 'libc::syscall(libc::SYS_getrandom)'
 2019-08-04 21:02:08 +00:00
Aaron Hill f830a6c69e Apply more formatting fixes 
Co-Authored-By: Ralf Jung <post@ralfj.de>
 2019-08-04 16:57:17 -04:00
Aaron Hill 8650f02bc9 Add trailing comma 2019-08-04 16:12:24 -04:00
Aaron Hill 56a9a283e7 Cleanup formatting 2019-08-04 16:12:24 -04:00
Aaron Hill a2bdb3bb94 Shim 'libc::getrandom' in addition to 'libc::syscall(libc::SYS_getrandom)' 2019-08-04 16:12:23 -04:00
bors 96adbf65bc Auto merge of #885 - Aaron1011:fix/f-round, r=RalfJung 
Add misssing 'roundf32' and 'roundf64' intrinsics
 2019-08-04 20:12:02 +00:00
Aaron Hill 4d3398fc62 Replace match with expect() 2019-08-04 15:49:14 -04:00
Aaron Hill 3118b9fe42 Add misssing 'roundf32' and 'roundf64' intrinsics 2019-08-04 10:25:29 -04:00
Aaron Hill c2f681f005 Add semicolon 
Co-Authored-By: Ralf Jung <post@ralfj.de>
 2019-08-04 10:13:29 -04:00
Aaron Hill 0505868d18 Do nothing when we try to generate random data of length 0 
This preserves compatibility with programs that pass a null pointer and
a length of zero to getrandom(), or their platform's equivalent.
 2019-08-04 09:21:17 -04:00
Ralf Jung 0096a0df2a gen_random helper: move ptr argument to front 2019-08-04 14:49:10 +02:00
bors ed30152b52 Auto merge of #876 - RalfJung:atomic, r=RalfJung 
check that atomics are sufficiently aligned

Fixes https://github.com/rust-lang/miri/issues/475
 2019-08-04 08:55:18 +00:00
Ralf Jung a4cc58efc6 one more place -> ptr rename 2019-08-04 10:54:07 +02:00
Ralf Jung 19add0bb75 places and pointers are not the same thing; this is a place 2019-08-04 10:52:09 +02:00
Ralf Jung f47e58950b check that atomics are sufficiently aligned, and add test 2019-08-04 10:30:42 +02:00
bors 843691d612 Auto merge of #882 - RalfJung:miri-rustc, r=RalfJung 
install xargo from git temporarily

This is so that once https://github.com/japaric/xargo/pull/246 landed, we can see if that helps with https://github.com/rust-lang/rust/pull/63162.
 2019-08-04 08:26:51 +00:00
Ralf Jung 162c0ffb1f use postfix negation instead of prefix 2019-08-04 10:14:51 +02:00
Ralf Jung 874437d717 install xargo from git temporarily 2019-08-04 10:11:45 +02:00