From 91462e430a099a068a3b22a6e660ee1ada93eb88 Mon Sep 17 00:00:00 2001
From: Jonathan Reichelt Gjertsen
 <jonathan.gjertsen@disruptive-technologies.com>
Date: Wed, 19 Jan 2022 16:25:40 +0100
Subject: [PATCH] Add `__attribute__((noreturn))` to `_exit` (#707)

Fixes the following compiler warning

```
.../vendor/pico-sdk/src/rp2_common/pico_runtime/runtime.c: In function 'panic':
.../pico-sdk/src/rp2_common/pico_runtime/runtime.c:284:1: warning: 'noreturn' function does return
  284 | }
      | ^
```
---
 src/rp2_common/pico_runtime/runtime.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/rp2_common/pico_runtime/runtime.c b/src/rp2_common/pico_runtime/runtime.c
index 575e23e..70dd3bb 100644
--- a/src/rp2_common/pico_runtime/runtime.c
+++ b/src/rp2_common/pico_runtime/runtime.c
@@ -175,7 +175,7 @@ void runtime_init(void) {
 
 }
 
-void _exit(__unused int status) {
+void __attribute__((noreturn)) _exit(__unused int status) {
 #if PICO_ENTER_USB_BOOT_ON_EXIT
     reset_usb_boot(0,0);
 #else