Make <*const/mut T>::offset_from `const fn` by oli-obk · Pull Request #63810 · rust-lang/rust

oli-obk · 2019-08-22T16:52:11Z

This reenables offset_of cc @mjbshaw after #63075 broke it

rust-highfive · 2019-08-22T16:52:14Z

r? @varkor

(rust_highfive has picked a reviewer for you, use r? to override)

oli-obk · 2019-08-22T16:53:31Z

cc @RalfJung this moves the logic of exact_div from miri to the engine

src/libcore/ptr/mod.rs

src/librustc_codegen_llvm/intrinsic.rs

src/test/ui/consts/offset_of.rs

RalfJung · 2019-08-23T15:46:55Z

In terms of const safety this seems fine, since it return an integer that actually is a true integer. It is an unsafe operation, but the cases where it fails during CTFE are all also UB at run-time, but there is no "unconst" weirdness. So this seems reaosonable to me.

This reenables offset_of cc @mjbshaw after #63075 broke it

Well, assuming "all the feature gates". ;)

src/test/ui/consts/offset_of.rs

mjbshaw · 2019-08-23T18:44:38Z

Thank you for putting this together!

rust-highfive · 2019-08-30T02:35:37Z

The job x86_64-gnu-llvm-6.0 of your PR failed (raw log). Through arcane magic we have determined that the following fragments from the build log may contain information about the problem.

Click to expand the log.

2019-08-30T01:00:34.6319473Z ##[command]git remote add origin https://github.com/rust-lang/rust
2019-08-30T01:00:34.6506952Z ##[command]git config gc.auto 0
2019-08-30T01:00:34.6583798Z ##[command]git config --get-all http.https://github.com/rust-lang/rust.extraheader
2019-08-30T01:00:34.6659132Z ##[command]git config --get-all http.proxy
2019-08-30T01:00:34.6809809Z ##[command]git -c http.extraheader="AUTHORIZATION: basic ***" fetch --force --tags --prune --progress --no-recurse-submodules --depth=2 origin +refs/heads/*:refs/remotes/origin/* +refs/pull/63810/merge:refs/remotes/pull/63810/merge
---
2019-08-30T02:03:48.0598293Z .................................................................................................... 1500/8976
2019-08-30T02:03:53.7714407Z .................................................................................................... 1600/8976
2019-08-30T02:04:06.5898456Z ..................................................i...............i................................. 1700/8976
2019-08-30T02:04:15.0011523Z .................................................................................................... 1800/8976
2019-08-30T02:04:29.4461125Z .........................................iiiii...................................................... 1900/8976
2019-08-30T02:04:40.3601132Z .................................................................................................... 2100/8976
2019-08-30T02:04:42.9872492Z .................................................................................................... 2200/8976
2019-08-30T02:04:47.0262787Z .................................................................................................... 2300/8976
2019-08-30T02:04:54.8508027Z .................................................................................................... 2400/8976
---
2019-08-30T02:07:55.3139143Z ............................i...............i....................................................... 4700/8976
2019-08-30T02:08:07.3078232Z .................................................................................................... 4800/8976
2019-08-30T02:08:13.5149918Z .................................................................................................... 4900/8976
2019-08-30T02:08:24.2692775Z .................................................................................................... 5000/8976
2019-08-30T02:08:30.0047253Z .........ii.ii...................................................................................... 5100/8976
2019-08-30T02:08:43.1335726Z .................................................................................................... 5300/8976
2019-08-30T02:08:51.4910581Z ........................................................................i........................... 5400/8976
2019-08-30T02:08:58.7932234Z .................................................................................................... 5500/8976
2019-08-30T02:09:05.3767700Z .................................................................................................... 5600/8976
2019-08-30T02:09:05.3767700Z .................................................................................................... 5600/8976
2019-08-30T02:09:16.1484645Z ..................................................................ii...i..ii...........i............ 5700/8976
2019-08-30T02:09:41.7645744Z .................................................................................................... 5900/8976
2019-08-30T02:09:52.1348028Z .................................................................................................... 6000/8976
2019-08-30T02:09:52.1348028Z .................................................................................................... 6000/8976
2019-08-30T02:09:58.9908737Z ...................................................................i..ii............................ 6100/8976
2019-08-30T02:10:28.3476976Z .................................................................................................... 6300/8976
2019-08-30T02:10:30.4812566Z ......................i............................................................................. 6400/8976
2019-08-30T02:10:32.7149802Z ..............................................................................................i..... 6500/8976
2019-08-30T02:10:35.5150966Z .................................................................................................... 6600/8976
---
2019-08-30T02:15:19.7974133Z  finished in 21.279
2019-08-30T02:15:19.8176827Z Check compiletest suite=codegen mode=codegen (x86_64-unknown-linux-gnu -> x86_64-unknown-linux-gnu)
2019-08-30T02:15:20.0039691Z 
2019-08-30T02:15:20.0043503Z running 149 tests
2019-08-30T02:15:23.3104416Z i....iii......iii..iiii....i.............................i..i..................i....i.........ii.i.i 100/149
2019-08-30T02:15:25.2602978Z ..iiii..............i.........iii.i......ii......
2019-08-30T02:15:25.2603615Z 
2019-08-30T02:15:25.2606915Z  finished in 5.443
2019-08-30T02:15:25.2791596Z Check compiletest suite=codegen-units mode=codegen-units (x86_64-unknown-linux-gnu -> x86_64-unknown-linux-gnu)
2019-08-30T02:15:25.4373278Z 
---
2019-08-30T02:15:27.5343572Z  finished in 2.255
2019-08-30T02:15:27.5522996Z Check compiletest suite=assembly mode=assembly (x86_64-unknown-linux-gnu -> x86_64-unknown-linux-gnu)
2019-08-30T02:15:27.7118433Z 
2019-08-30T02:15:27.7119139Z running 9 tests
2019-08-30T02:15:27.7120330Z iiiiiiiii
2019-08-30T02:15:27.7123128Z 
2019-08-30T02:15:27.7123398Z  finished in 0.160
2019-08-30T02:15:27.7297645Z Check compiletest suite=incremental mode=incremental (x86_64-unknown-linux-gnu -> x86_64-unknown-linux-gnu)
2019-08-30T02:15:27.9245740Z 
---
2019-08-30T02:15:46.1664821Z  finished in 18.436
2019-08-30T02:15:46.1868827Z Check compiletest suite=debuginfo mode=debuginfo-gdb+lldb (x86_64-unknown-linux-gnu -> x86_64-unknown-linux-gnu)
2019-08-30T02:15:46.3616896Z 
2019-08-30T02:15:46.3617536Z running 123 tests
2019-08-30T02:16:10.4653965Z .iiiii...i.....i..i...i..i.i.i..i.ii..i.i.....i..i....ii..........iiii..........i...ii...i.......ii. 100/123
2019-08-30T02:16:15.3935125Z i.i.i......iii.i.....ii
2019-08-30T02:16:15.3937109Z 
2019-08-30T02:16:15.3941383Z  finished in 29.207
2019-08-30T02:16:15.3954240Z Uplifting stage1 rustc (x86_64-unknown-linux-gnu -> x86_64-unknown-linux-gnu)
2019-08-30T02:16:15.3955677Z Copying stage2 rustc from stage1 (x86_64-unknown-linux-gnu -> x86_64-unknown-linux-gnu / x86_64-unknown-linux-gnu)
---
2019-08-30T02:30:24.3599198Z 
2019-08-30T02:30:24.3599956Z    Doc-tests core
2019-08-30T02:30:29.5551103Z 
2019-08-30T02:30:29.5580251Z running 2379 tests
2019-08-30T02:30:42.0071186Z ......iiiii......................................................................................... 100/2379
2019-08-30T02:30:54.5404931Z .........................................................................ii......................... 200/2379
2019-08-30T02:31:24.7131542Z .................................................................................................... 400/2379
2019-08-30T02:31:24.7131542Z .................................................................................................... 400/2379
2019-08-30T02:31:35.8217270Z ..............................i..i.................iiii............................................. 500/2379
2019-08-30T02:31:59.2136432Z .................................................................................................... 700/2379
2019-08-30T02:32:10.9282931Z .................................................................................................... 800/2379
2019-08-30T02:32:23.1439731Z .................................................................................................... 900/2379
2019-08-30T02:32:35.0943743Z .................................................................................................... 1000/2379
---
2019-08-30T02:35:32.9195544Z 
2019-08-30T02:35:32.9195589Z stderr:
2019-08-30T02:35:32.9195928Z thread 'main' panicked at 'assertion failed: `(left == right)`
2019-08-30T02:35:32.9195986Z   left: `4611686018427387902`,
2019-08-30T02:35:32.9196260Z  right: `-2`', ptr/mod.rs:11:5
2019-08-30T02:35:32.9196357Z 
2019-08-30T02:35:32.9196385Z 
2019-08-30T02:35:32.9196678Z ---- ptr/mod.rs - ptr::*mut T::offset_from (line 2017) stdout ----
2019-08-30T02:35:32.9196737Z Test executable failed (exit code 101).
2019-08-30T02:35:32.9196737Z Test executable failed (exit code 101).
2019-08-30T02:35:32.9196834Z 
2019-08-30T02:35:32.9196896Z stderr:
2019-08-30T02:35:32.9197167Z thread 'main' panicked at 'assertion failed: `(left == right)`
2019-08-30T02:35:32.9197224Z   left: `4611686018427387902`,
2019-08-30T02:35:32.9197461Z  right: `-2`', ptr/mod.rs:11:5
2019-08-30T02:35:32.9197584Z 
2019-08-30T02:35:32.9197612Z 
2019-08-30T02:35:32.9197640Z 
2019-08-30T02:35:32.9197702Z failures:
---
2019-08-30T02:35:32.9198385Z 
2019-08-30T02:35:32.9502174Z error: test failed, to rerun pass '--doc'
2019-08-30T02:35:32.9519240Z 
2019-08-30T02:35:32.9519743Z 
2019-08-30T02:35:32.9521231Z command did not execute successfully: "/checkout/obj/build/x86_64-unknown-linux-gnu/stage0/bin/cargo" "test" "--target" "x86_64-unknown-linux-gnu" "-Zbinary-dep-depinfo" "-j" "2" "--release" "--locked" "--color" "always" "--features" "panic-unwind backtrace compiler-builtins-c" "--manifest-path" "/checkout/src/libtest/Cargo.toml" "-p" "core" "--" "--quiet"
2019-08-30T02:35:32.9521691Z 
2019-08-30T02:35:32.9521748Z 
2019-08-30T02:35:32.9533711Z failed to run: /checkout/obj/build/bootstrap/debug/bootstrap test
2019-08-30T02:35:32.9533798Z Build completed unsuccessfully in 1:27:51
2019-08-30T02:35:32.9533798Z Build completed unsuccessfully in 1:27:51
2019-08-30T02:35:32.9587811Z == clock drift check ==
2019-08-30T02:35:32.9605904Z   local time: Fri Aug 30 02:35:32 UTC 2019
2019-08-30T02:35:33.0465779Z   network time: Fri, 30 Aug 2019 02:35:33 GMT
2019-08-30T02:35:33.0470273Z == end clock drift check ==
2019-08-30T02:35:33.5518814Z ##[error]Bash exited with code '1'.
2019-08-30T02:35:33.5554802Z ##[section]Starting: Checkout
2019-08-30T02:35:33.5556450Z ==============================================================================
2019-08-30T02:35:33.5556516Z Task         : Get sources
2019-08-30T02:35:33.5556557Z Description  : Get sources from a repository. Supports Git, TfsVC, and SVN repositories.

I'm a bot! I can only do what humans tell me to, so if this was not helpful or you have suggestions for improvements, please ping or otherwise contact @TimNN. (Feature Requests)

src/test/ui/consts/offset_of.rs

src/test/ui/consts/offset_of_ub.stderr

src/test/ui/consts/offset_of_ub.rs

src/librustc_mir/interpret/intrinsics.rs

JohnCSimon · 2019-09-07T04:36:56Z

Ping from triage
@oli-obk @mjbshaw @RalfJung
Hi! This PR has sat un touched for 8 days. Thanks.

oli-obk · 2019-09-07T13:13:15Z

Ooops, on it. Thanks for the ping

oli-obk · 2019-09-10T18:59:15Z

Resolved review comments

rust-highfive · 2019-09-10T20:34:36Z

The job x86_64-gnu-llvm-6.0 of your PR failed (raw log). Through arcane magic we have determined that the following fragments from the build log may contain information about the problem.

Click to expand the log.

2019-09-10T18:59:36.5634888Z ##[command]git remote add origin https://github.com/rust-lang/rust
2019-09-10T18:59:36.5838748Z ##[command]git config gc.auto 0
2019-09-10T18:59:36.5920105Z ##[command]git config --get-all http.https://github.com/rust-lang/rust.extraheader
2019-09-10T18:59:36.5950596Z ##[command]git config --get-all http.proxy
2019-09-10T18:59:36.6127018Z ##[command]git -c http.extraheader="AUTHORIZATION: basic ***" fetch --force --tags --prune --progress --no-recurse-submodules --depth=2 origin +refs/heads/*:refs/remotes/origin/* +refs/pull/63810/merge:refs/remotes/pull/63810/merge
---
2019-09-10T20:02:33.6416291Z .................................................................................................... 1500/9008
2019-09-10T20:02:39.8791734Z .................................................................................................... 1600/9008
2019-09-10T20:02:53.0986196Z .........................................................i...............i.......................... 1700/9008
2019-09-10T20:03:01.2988227Z .................................................................................................... 1800/9008
2019-09-10T20:03:16.8221286Z ................................................iiiii............................................... 1900/9008
2019-09-10T20:03:28.4441311Z .................................................................................................... 2100/9008
2019-09-10T20:03:31.9471776Z .................................................................................................... 2200/9008
2019-09-10T20:03:34.9990582Z .................................................................................................... 2300/9008
2019-09-10T20:03:43.3324242Z .................................................................................................... 2400/9008
---
2019-09-10T20:06:45.1755058Z ....................................i..............i................................................ 4700/9008
2019-09-10T20:06:57.0025550Z .................................................................................................... 4800/9008
2019-09-10T20:07:03.9670711Z .................................................................................................... 4900/9008
2019-09-10T20:07:14.9136350Z .................................................................................................... 5000/9008
2019-09-10T20:07:21.3180427Z ..................ii.ii............................................................................. 5100/9008
2019-09-10T20:07:32.2678186Z .................................................................................................... 5300/9008
2019-09-10T20:07:43.0265213Z .................................................................................i.................. 5400/9008
2019-09-10T20:07:51.4073163Z .................................................................................................... 5500/9008
2019-09-10T20:07:57.5066679Z .................................................................................................... 5600/9008
2019-09-10T20:07:57.5066679Z .................................................................................................... 5600/9008
2019-09-10T20:08:08.5210160Z ...........................................................................ii...i..ii...........i... 5700/9008
2019-09-10T20:08:34.6282535Z .................................................................................................... 5900/9008
2019-09-10T20:08:44.8902416Z .................................................................................................... 6000/9008
2019-09-10T20:08:44.8902416Z .................................................................................................... 6000/9008
2019-09-10T20:08:51.9073812Z .............................................................................i..ii.................. 6100/9008
2019-09-10T20:09:22.8263893Z .................................................................................................... 6300/9008
2019-09-10T20:09:25.1022973Z ....................................i............................................................... 6400/9008
2019-09-10T20:09:27.4070972Z .................................................................................................... 6500/9008
2019-09-10T20:09:30.1575913Z ........i........................................................................................... 6600/9008
---
2019-09-10T20:14:24.5502958Z  finished in 20.293
2019-09-10T20:14:24.5707554Z Check compiletest suite=codegen mode=codegen (x86_64-unknown-linux-gnu -> x86_64-unknown-linux-gnu)
2019-09-10T20:14:24.7425611Z 
2019-09-10T20:14:24.7427536Z running 150 tests
2019-09-10T20:14:28.1979672Z i....iii......iii..iiii....i.............................i..i..................i....i.........ii.i.i 100/150
2019-09-10T20:14:30.2842770Z ..iiii..............i.........iii.i.......ii......
2019-09-10T20:14:30.2845035Z 
2019-09-10T20:14:30.2854118Z  finished in 5.715
2019-09-10T20:14:30.3048539Z Check compiletest suite=codegen-units mode=codegen-units (x86_64-unknown-linux-gnu -> x86_64-unknown-linux-gnu)
2019-09-10T20:14:30.4711059Z 
---
2019-09-10T20:14:32.6384000Z  finished in 2.332
2019-09-10T20:14:32.6570927Z Check compiletest suite=assembly mode=assembly (x86_64-unknown-linux-gnu -> x86_64-unknown-linux-gnu)
2019-09-10T20:14:32.8188142Z 
2019-09-10T20:14:32.8188602Z running 9 tests
2019-09-10T20:14:32.8189752Z iiiiiiiii
2019-09-10T20:14:32.8190172Z 
2019-09-10T20:14:32.8194207Z  finished in 0.162
2019-09-10T20:14:32.8382585Z Check compiletest suite=incremental mode=incremental (x86_64-unknown-linux-gnu -> x86_64-unknown-linux-gnu)
2019-09-10T20:14:33.0177415Z 
---
2019-09-10T20:14:52.1306638Z  finished in 19.292
2019-09-10T20:14:52.1524277Z Check compiletest suite=debuginfo mode=debuginfo-gdb+lldb (x86_64-unknown-linux-gnu -> x86_64-unknown-linux-gnu)
2019-09-10T20:14:52.3187229Z 
2019-09-10T20:14:52.3187519Z running 123 tests
2019-09-10T20:15:16.9436108Z .iiiii...i.....i..i...i..i.i.i..i.ii..i.i.....i..i....ii..........iiii..........i...ii...i.......ii. 100/123
2019-09-10T20:15:21.7967553Z i.i.i......iii.i.....ii
2019-09-10T20:15:21.7969383Z 
2019-09-10T20:15:21.7972768Z  finished in 29.644
2019-09-10T20:15:21.7979360Z Uplifting stage1 rustc (x86_64-unknown-linux-gnu -> x86_64-unknown-linux-gnu)
2019-09-10T20:15:21.7981470Z Copying stage2 rustc from stage1 (x86_64-unknown-linux-gnu -> x86_64-unknown-linux-gnu / x86_64-unknown-linux-gnu)
---
2019-09-10T20:29:40.4289462Z 
2019-09-10T20:29:40.4291256Z    Doc-tests core
2019-09-10T20:29:45.6589332Z 
2019-09-10T20:29:45.6590390Z running 2400 tests
2019-09-10T20:29:56.9620937Z ......iiiii......................................................................................... 100/2400
2019-09-10T20:30:07.9130121Z ...........................................................................ii....................... 200/2400
2019-09-10T20:30:20.5131868Z .................................................................................................i.. 300/2400
2019-09-10T20:30:34.1721226Z .................................................................................................... 400/2400
2019-09-10T20:30:44.7761312Z ............................................i..i.................iiii............................... 500/2400
2019-09-10T20:31:05.7307379Z .................................................................................................... 700/2400
2019-09-10T20:31:16.4177454Z .................................................................................................... 800/2400
2019-09-10T20:31:27.3095594Z .................................................................................................... 900/2400
2019-09-10T20:31:38.1737104Z .................................................................................................... 1000/2400
---
2019-09-10T20:34:15.3078206Z 
2019-09-10T20:34:15.3078251Z stderr:
2019-09-10T20:34:15.3078827Z thread 'main' panicked at 'assertion failed: `(left == right)`
2019-09-10T20:34:15.3078874Z   left: `4611686018427387902`,
2019-09-10T20:34:15.3080366Z  right: `-2`', ptr/mod.rs:11:5
2019-09-10T20:34:15.3081240Z 
2019-09-10T20:34:15.3081469Z 
2019-09-10T20:34:15.3085514Z ---- ptr/mod.rs - ptr::*mut T::offset_from (line 2017) stdout ----
2019-09-10T20:34:15.3085797Z Test executable failed (exit code 101).
2019-09-10T20:34:15.3085797Z Test executable failed (exit code 101).
2019-09-10T20:34:15.3085828Z 
2019-09-10T20:34:15.3085982Z stderr:
2019-09-10T20:34:15.3086230Z thread 'main' panicked at 'assertion failed: `(left == right)`
2019-09-10T20:34:15.3086275Z   left: `4611686018427387902`,
2019-09-10T20:34:15.3086490Z  right: `-2`', ptr/mod.rs:11:5
2019-09-10T20:34:15.3086733Z 
2019-09-10T20:34:15.3086757Z 
2019-09-10T20:34:15.3086797Z 
2019-09-10T20:34:15.3086831Z failures:
---
2019-09-10T20:34:15.3087390Z 
2019-09-10T20:34:15.3115357Z error: test failed, to rerun pass '--doc'
2019-09-10T20:34:15.3124603Z 
2019-09-10T20:34:15.3124761Z 
2019-09-10T20:34:15.3125744Z command did not execute successfully: "/checkout/obj/build/x86_64-unknown-linux-gnu/stage0/bin/cargo" "test" "--target" "x86_64-unknown-linux-gnu" "-Zbinary-dep-depinfo" "-j" "2" "--release" "--locked" "--color" "always" "--features" "panic-unwind backtrace compiler-builtins-c" "--manifest-path" "/checkout/src/libtest/Cargo.toml" "-p" "core" "--" "--quiet"
2019-09-10T20:34:15.3137991Z 
2019-09-10T20:34:15.3138019Z 
2019-09-10T20:34:15.3138060Z failed to run: /checkout/obj/build/bootstrap/debug/bootstrap test
2019-09-10T20:34:15.3138104Z Build completed unsuccessfully in 1:27:30
2019-09-10T20:34:15.3138104Z Build completed unsuccessfully in 1:27:30
2019-09-10T20:34:15.3201890Z == clock drift check ==
2019-09-10T20:34:15.3213634Z   local time: Tue Sep 10 20:34:15 UTC 2019
2019-09-10T20:34:15.4751914Z   network time: Tue, 10 Sep 2019 20:34:15 GMT
2019-09-10T20:34:15.4756123Z == end clock drift check ==
2019-09-10T20:34:16.0392598Z ##[error]Bash exited with code '1'.
2019-09-10T20:34:16.0432630Z ##[section]Starting: Checkout
2019-09-10T20:34:16.0434464Z ==============================================================================
2019-09-10T20:34:16.0434511Z Task         : Get sources
2019-09-10T20:34:16.0434567Z Description  : Get sources from a repository. Supports Git, TfsVC, and SVN repositories.

I'm a bot! I can only do what humans tell me to, so if this was not helpful or you have suggestions for improvements, please ping or otherwise contact @TimNN. (Feature Requests)

RalfJung · 2019-09-16T17:23:11Z

LGTM, but what about the CI failure?

Also, do you have a Miri branch matching this? I guess the exact_div there should call into the method you added here.

src/librustc_mir/interpret/intrinsics.rs

RalfJung · 2019-11-02T22:15:07Z

@bors r=RalfJung,nikic

bors · 2019-11-02T22:15:08Z

📌 Commit b93f48f has been approved by RalfJung,nikic

bors · 2019-11-02T22:27:01Z

⌛ Testing commit b93f48f with merge 6c1b220...

@mjbshaw

Make <*const/mut T>::offset_from `const fn` This reenables offset_of cc @mjbshaw after #63075 broke it

bors · 2019-11-03T01:41:00Z

☀️ Test successful - checks-azure
Approved by: RalfJung,nikic
Pushing 6c1b220 to master...

Use the upstream `exact_div` implementation introduced in rust-lang/rust#63810

RalfJung · 2019-11-03T09:33:59Z

And merely 10 weeks later, we finally landed this. :D

mjbshaw · 2019-11-03T15:11:50Z

Thanks for pushing this through!

RalfJung · 2019-11-03T15:23:23Z

@mjbshaw so what would be a good next step? We could equip the memoffset crate with support for const-context offset_of on nightly compilers?

I'd rather centralize the efforts for this in one place than everyone copy-pasting different variants of the same idea.^^

mjbshaw · 2019-11-03T16:16:26Z

I don't plan on using the memoffset crate. I've already written some code to make use of offset_from, so at this point the next step is to finish plumbing it through the rest of my crate (which I'm in the process of doing).

RalfJung · 2019-11-03T16:23:22Z

Given our past experience with lots of incorrect variants of this code spread across half a dozen crates, I think it would be better to share a single known-good implementation that can also be centrally updated.

RalfJung · 2019-11-03T16:25:47Z

In particular, that code still uses &(*s).field, which is incorrect as it creates a reference to uninitialized data. At the very least that should be called out in comments as causing UB; but it would be better if we could share that code so that once Rust finally properly supports this operation, we only have to fix it in one place.

mjbshaw · 2019-11-03T16:39:20Z

I generally agree, but I think the macro should live in core, not some third-party crate. If the macro were in core I'd use it.

Computing field offsets is one of the less-risky (comparatively speaking) things my crate does...

RalfJung · 2019-11-03T16:55:15Z

I see. Well seems like I cannot change your mind. ;)

I'll Cc you on the PR that adds const support to memoffset; would be good if we could work together on that and synchronize our approaches.

RalfJung · 2019-11-04T09:40:32Z

src/librustc_mir/interpret/intrinsics.rs

+                let a = self.read_immediate(args[0])?.to_scalar()?.to_ptr()?;
+                let b = self.read_immediate(args[1])?.to_scalar()?.to_ptr()?;


Ah, I just realized this is wrong... we need to support integers here as well.

This caused a regression in https://github.com/RalfJung/miri-test-libstd.

#66083 fixes that.

@oli-obk

Clean up const-hack PRs now that const if / match exist. Closes rust-lang#67627. Cleans up these merged PRs tagged with `const-hack`: - rust-lang#63810 - rust-lang#63786 - rust-lang#61635 - rust-lang#58044 reverting their contents to have the match or if expressions they originally contained. r? @oli-obk There's one more PR in those tagged with `const-hack` that originally wasn't merged (rust-lang#65107). Reading the thread, it looks like it was originally closed because the `const-hack` for the checked arithmetic non-negligibly hurt performance, and because there was no way to manipulate the returned Option at compile time anyway (with neither const if nor const match). Would you like me to add these changes to the changes from this PR here too, now that we have the necessary features?

rust-highfive assigned varkor Aug 22, 2019

rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Aug 22, 2019

This comment has been minimized.

Sign in to view