Stream: t-compiler/const-eval

Topic: Miri and foreign functions


Jake Goulding (Jan 25 2019 at 02:55, on Zulip):
constant evaluation error: can't call foreign function: sched_getaffinity

@RalfJ is supporting this a "not yet, but soon"; "maybe someday, but it's hard"; or "haha, noooooooooooo"

Jake Goulding (Jan 25 2019 at 02:56, on Zulip):

I feel like a lot of Miri runs will hit this pretty quickly

RalfJ (Jan 25 2019 at 07:56, on Zulip):

so this is when using Miri-the-tool, not CTFE?

RalfJ (Jan 25 2019 at 07:57, on Zulip):

we can stub it out no problem

RalfJ (Jan 25 2019 at 07:57, on Zulip):

do you have an example?

RalfJ (Jan 25 2019 at 07:57, on Zulip):

we'd add it to the horror show that is https://github.com/solson/miri/blob/master/src/fn_call.rs :D

oli (Jan 25 2019 at 08:14, on Zulip):

Open an issue with a repro test and link to the docs of the function and I'll happily impl it

Jake Goulding (Jan 25 2019 at 14:48, on Zulip):

https://github.com/solson/miri/issues/602

Jake Goulding (Jan 25 2019 at 14:51, on Zulip):

@RalfJ is on the ball today

RalfJ (Jan 25 2019 at 14:51, on Zulip):

nah I'm just looking for excuses not to do other work that I should be doing :P

Jake Goulding (Jan 25 2019 at 14:51, on Zulip):

Miri-the-tool, not CTFE?

Yeah, there were many zulip streams that made sense, but since the error message said "constant evaluation"...

Jake Goulding (Jan 25 2019 at 16:34, on Zulip):

Here's what I'm really hoping, @RalfJ / @Oli — that I will be like, "let's run Miri on {random Rust project}... oh look, undefined behavior!" and then everyone will hail me as a miraculous bug finder (and maybe Miri too, I suppose)

RalfJ (Jan 25 2019 at 16:36, on Zulip):

I share that vision. but at this point it's no more than that, unfortunately...

Last update: Nov 15 2019 at 20:30UTC