Add TRACING_ENABLED to Machine trait

This commit is contained in:
Stypox 2025-05-12 16:40:46 +02:00
parent 4eca99a18e
commit f4bc4cd1fd
No known key found for this signature in database
GPG Key ID: 4BDF1B40A49FDD23

View File

@ -147,6 +147,12 @@ pub trait Machine<'tcx>: Sized {
/// already been checked before.
const ALL_CONSTS_ARE_PRECHECKED: bool = true;
/// Determines whether rustc_const_eval functions that make use of the [Machine] should make
/// tracing calls (to the `tracing` library). By default this is `false`, meaning the tracing
/// calls will supposedly be optimized out. This flag is set to `true` inside Miri, to allow
/// tracing the interpretation steps, among other things.
const TRACING_ENABLED: bool = false;
/// Whether memory accesses should be alignment-checked.
fn enforce_alignment(ecx: &InterpCx<'tcx, Self>) -> bool;