Fixed UB in spawn_at

examples/type-usage.rs

@@ -1,4 +1,4 @@
-//! examples/smallest.rs
+//! examples/type-usage.rs
 
 #![no_main]
 #![no_std]

macros/Cargo.toml

@@ -22,6 +22,4 @@ proc-macro2 = "1"
 proc-macro-error = "1"
 quote = "1"
 syn = "1"
-# rtic-syntax = "0.5.0-alpha.2"
+rtic-syntax = "0.5.0-alpha.2"
-rtic-syntax = { path = "../../rtic-syntax", version = "0.5.0-alpha.2" }
-

macros/src/codegen/module.rs

@@ -414,17 +414,11 @@ pub fn codegen(
 
                                 let tq = unsafe { &mut *#app_path::#tq.as_mut_ptr() };
 
-                                if let Some(mono) = #app_path::#m_ident.as_mut() {
                                 tq.enqueue_unchecked(
                                     nr,
                                     || #enable_interrupt,
                                     || #pend,
-                                        mono)
+                                    #app_path::#m_ident.as_mut());
-                                } else {
-                                    // We can only use the timer queue if `init` has returned, and it
-                                    // writes the `Some(monotonic)` we are accessing here.
-                                    core::hint::unreachable_unchecked()
-                                }
 
                                 Ok(SpawnHandle { marker })
                             })

src/tq.rs

@@ -42,7 +42,7 @@ where
         nr: NotReady<Mono, Task>,
         enable_interrupt: F1,
         pend_handler: F2,
-        mono: &mut Mono,
+        mono: Option<&mut Mono>,
     ) where
         F1: FnOnce(),
         F2: FnOnce(),
@@ -57,7 +57,9 @@ where
 
         if if_heap_max_greater_than_nr {
             if Mono::DISABLE_INTERRUPT_ON_EMPTY_QUEUE && self.0.is_empty() {
+                if let Some(mono) = mono {
                     mono.enable_timer();
+                }
                 enable_interrupt();
             }