diff options
| author | Luke T. Shumaker <lukeshu@lukeshu.com> | 2024-11-17 21:51:27 -0700 |
|---|---|---|
| committer | Luke T. Shumaker <lukeshu@lukeshu.com> | 2024-11-19 20:15:48 -0700 |
| commit | b0f92280f297b195d9a8f3e1d26d752bd2109381 (patch) | |
| tree | db5da2274a86e0390f6607c5c9a4bae86f5bd776 | |
| parent | bd900b3946607a37b84e7ec5bb241ce377607c18 (diff) | |
libhw: More assertions
| -rw-r--r-- | libhw/host_alarmclock.c | 3 | ||||
| -rw-r--r-- | libhw/rp2040_hwtimer.c | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/libhw/host_alarmclock.c b/libhw/host_alarmclock.c index 1d26f1a..cc84c5d 100644 --- a/libhw/host_alarmclock.c +++ b/libhw/host_alarmclock.c @@ -169,6 +169,7 @@ static void hostclock_del_trigger(implements_alarmclock *_alarmclock, trigger->alarmclock = NULL; trigger->prev = NULL; trigger->next = NULL; - } + } else + assert(!trigger->alarmclock); cr_restore_interrupts(saved); } diff --git a/libhw/rp2040_hwtimer.c b/libhw/rp2040_hwtimer.c index 9f0d901..9af499a 100644 --- a/libhw/rp2040_hwtimer.c +++ b/libhw/rp2040_hwtimer.c @@ -166,6 +166,7 @@ static void rp2040_hwtimer_del_trigger(implements_alarmclock *_alarmclock, trigger->alarmclock = NULL; trigger->prev = NULL; trigger->next = NULL; - } + } else + assert(!trigger->alarmclock); cr_restore_interrupts(saved); } |