Stream: t-compiler/const-eval

Topic: MIR-level optimizations and Miri engine test coverage

RalfJ (Jun 10 2019 at 09:59, on Zulip):

Do we have any plans to make sure that MIR-level optimizations do not reduce our Miri engine test coverage? Optimizations tend to normalize things, so there will be certain kinds of MIR that just cannot exist any more e.g. after constant folding, or existing test cases might not actually run the code paths any more that they were supposed to run. Do we run these optimizations on the MIR for const/static initializers and const fn? Are there plans to run those tests both with and without optimizations or so?

mark-i-m (Jun 10 2019 at 20:51, on Zulip):

As a user of rust, it makes me slightly happy that this is a problem :heart:

Mahmut Bulut (Jun 10 2019 at 20:58, on Zulip):

There are compile-fail and run-pass tests for const fn. Iirc there are runpass only for const initializers.

Last update: Jan 19 2020 at 11:05UTC