File tree Expand file tree Collapse file tree 1 file changed +10
-2
lines changed Expand file tree Collapse file tree 1 file changed +10
-2
lines changed Original file line number Diff line number Diff line change @@ -1014,8 +1014,6 @@ impl<'tcx> Machine<'tcx> for MiriMachine<'tcx> {
10141014
10151015 const PANIC_ON_ALLOC_FAIL : bool = false ;
10161016
1017- const TRACING_ENABLED : bool = cfg ! ( feature = "tracing" ) ;
1018-
10191017 #[ inline( always) ]
10201018 fn enforce_alignment ( ecx : & MiriInterpCx < ' tcx > ) -> bool {
10211019 ecx. machine . check_alignment != AlignmentCheck :: None
@@ -1827,6 +1825,16 @@ impl<'tcx> Machine<'tcx> for MiriMachine<'tcx> {
18271825 #[ cfg( not( target_os = "linux" ) ) ]
18281826 MiriAllocParams :: Global
18291827 }
1828+
1829+ fn enter_trace_span ( span : impl FnOnce ( ) -> tracing:: Span ) -> impl EnteredTraceSpan {
1830+ #[ cfg( feature = "tracing" ) ]
1831+ { span ( ) . entered ( ) }
1832+ #[ cfg( not( feature = "tracing" ) ) ]
1833+ {
1834+ let _ = span; // so we avoid the "unused variable" warning
1835+ ( )
1836+ }
1837+ }
18301838}
18311839
18321840/// Trait for callbacks handling asynchronous machine operations.
You can’t perform that action at this time.
0 commit comments