Ralf Jung
|
a1233a721d
|
adjust Miri to Pointer type overhaul
|
2021-07-16 10:10:12 +02:00 |
|
Tomasz Miąsko
|
0eb341417c
|
rustup to e7c23ab933
|
2021-02-20 00:00:00 +00:00 |
|
Philippe Nadon
|
5161ba346c
|
renamed ScalarMaybeUninit::not_undef to check_init
Related to PR https://github.com/rust-lang/rust/pull/74664
|
2020-07-26 16:05:20 -06:00 |
|
Joe Richey
|
394a57fc22
|
Remove pointer arithmetic intrinsics
These are now implemented in rustc's mir interpreter
Signed-off-by: Joe Richey <joerichey@google.com>
|
2020-05-30 09:06:37 +02:00 |
|
Ralf Jung
|
9f3383d55d
|
rustup for import changes
|
2020-04-03 00:05:35 +02:00 |
|
Ralf Jung
|
8948a29a4c
|
adjust for librustc rename; reduce 'extern crate' to rustc crates
|
2020-03-30 11:07:32 +02:00 |
|
Ralf Jung
|
cc1ebd0af6
|
some formatting
|
2020-03-01 10:29:05 +01:00 |
|
Ralf Jung
|
26d25220ef
|
fix for Panic InterpError refactoring
|
2020-02-13 14:01:35 +01:00 |
|
Oliver Scherer
|
7ead530841
|
Rustfmt all the things
|
2019-12-23 12:56:23 +01:00 |
|
Ralf Jung
|
37b1190def
|
rustup
|
2019-11-08 22:07:52 +01:00 |
|
Ralf Jung
|
8b0c14f9f6
|
ptr_offset: handle negative offsets
|
2019-11-06 10:51:06 +01:00 |
|
Ralf Jung
|
4b9a7d8cff
|
fix error message details
|
2019-11-06 09:24:26 +01:00 |
|
Ralf Jung
|
9eb4e00f6f
|
refactor ptr_offset_inbounds: it can be reduced to check_ptr_access, after all!
|
2019-11-06 09:24:26 +01:00 |
|
Ralf Jung
|
c87f106cac
|
update comments and some tweaks
|
2019-10-24 10:27:14 +02:00 |
|
Yuki Okushi
|
a353e90eed
|
Use memory field instead of memory()
|
2019-10-18 11:11:50 +09:00 |
|
Ralf Jung
|
4f1c9bb607
|
adjust for typed binary/unary_op
|
2019-08-18 07:42:15 +02:00 |
|
Ralf Jung
|
a801b0ba3f
|
adjust for fn rename
|
2019-08-15 11:01:03 +02:00 |
|
Ralf Jung
|
82da68c5ca
|
implement all ptr comparisons through integer casts
|
2019-08-03 15:01:04 +02:00 |
|
Ralf Jung
|
bb6a91dc94
|
adjust for ptr_op now being called type-based
|
2019-08-03 14:38:36 +02:00 |
|
Ralf Jung
|
8071034b93
|
fix for error refactoring
|
2019-08-03 10:25:55 +02:00 |
|
bors
|
aadff8560b
|
Auto merge of #852 - lzutao:rustup, r=RalfJung
build: Fix build after rust-lang/rust#60951
|
2019-07-24 13:05:55 +00:00 |
|
Lzu Tao
|
fd71fbea0f
|
build: Fix build after rust-lang/rust#60951
|
2019-07-24 07:45:34 +07:00 |
|
Ralf Jung
|
068517ae66
|
make sure we always have an RNG
|
2019-07-23 21:38:53 +02:00 |
|
Ralf Jung
|
b29cb7d551
|
avoid catching errors
|
2019-07-03 10:56:25 +02:00 |
|
Ralf Jung
|
c8450bda4f
|
support integers that can be cast to pointers in in-bounds offset operation
|
2019-07-03 10:47:28 +02:00 |
|
Ralf Jung
|
c6e4f760a2
|
allow dangling ptr-to-int casts; use force_bits for ptr comparison
|
2019-07-03 10:47:28 +02:00 |
|
Ralf Jung
|
457c823765
|
only treat integer operations as such
|
2019-07-03 10:47:28 +02:00 |
|
Ralf Jung
|
4135441137
|
don't call Memory::get without checking the pointer first; avoid Memory::get if we just need to know align/size
|
2019-07-01 00:24:56 +02:00 |
|
Ralf Jung
|
67d3779b0c
|
move most of the stuff from lib.rs into machine.rs, and initialization + main loop into eval.rs
|
2019-06-29 13:48:59 +02:00 |
|
Christian Poveda
|
792d665a1f
|
Fix merge conflicts
|
2019-06-25 00:57:33 -05:00 |
|
Christian Poveda
|
84cfbb01b7
|
Reorganize MemoryExtra and AllocExtra structures
|
2019-06-24 17:18:25 -05:00 |
|
Christian Poveda
|
2861ceb2fa
|
Rename new fields and move rng to MemoryExtra
|
2019-06-24 10:03:16 -05:00 |
|
Ralf Jung
|
7e7b5d42ba
|
Apply suggestions from code review
Co-Authored-By: Oliver Scherer <github35764891676564198441@oli-obk.de>
|
2019-06-24 14:50:27 +02:00 |
|
Ralf Jung
|
69e8318b60
|
de-obfuscate ptr comparison a bit
|
2019-06-23 20:30:33 +02:00 |
|
Ralf Jung
|
4dc188a60e
|
adjust for refactored memory pointer checks
|
2019-06-23 20:19:26 +02:00 |
|
Christian Poveda
|
dd732e5862
|
Force intptrcast for binary operations
|
2019-06-22 09:25:16 -05:00 |
|
Ralf Jung
|
04fa38dd1b
|
allow some inequality comparisons between pointers and integers
|
2019-06-20 16:38:55 +02:00 |
|
Ralf Jung
|
ad0c941547
|
rustup for lifetime refactorings
|
2019-06-13 09:18:03 +02:00 |
|
Ralf Jung
|
d6bcfc58e3
|
rustup for EvalResult rename
|
2019-06-08 22:14:47 +02:00 |
|
Ralf Jung
|
7a7b853120
|
adjust for rustc changes
|
2019-05-28 22:46:56 +02:00 |
|
Ralf Jung
|
8b219a1329
|
fix for latest rustc
|
2019-05-27 18:50:32 +02:00 |
|
Ralf Jung
|
3f0a2a2941
|
rewrite Stacked Borrows Core. this passes stacked-borrows.rs!
|
2019-04-17 16:02:57 +02:00 |
|
Ralf Jung
|
378d9d4172
|
be pragmatic about ptr-int comparisons, for now
|
2019-04-16 17:47:37 +02:00 |
|
Oliver Scherer
|
9a0eaf6ebd
|
Update to rustc nightly
|
2019-04-03 10:48:11 +02:00 |
|
Alexander Regueiro
|
12d3ecbaff
|
Various cosmetic improvements.
|
2019-02-26 18:37:46 +00:00 |
|
Ralf Jung
|
2c3ee678b1
|
Fix comparing fat pointers
|
2019-02-15 09:35:55 +01:00 |
|
Ralf Jung
|
457741d6d2
|
update for new bin_op APIs
|
2019-02-15 09:35:55 +01:00 |
|
Ralf Jung
|
f2e14d9314
|
use memory::check_bounds_ptr for offset check
|
2018-12-26 13:16:47 +01:00 |
|
Ralf Jung
|
5a8f9e58f7
|
properly compare unequal function pointers
|
2018-12-25 13:29:38 +01:00 |
|
Ralf Jung
|
4e4569cf4b
|
fix build and tests with latest nightly
|
2018-12-25 13:26:40 +01:00 |
|