backported fixes from 256boss

[bootcensus] / src / panic.h

diff --git a/src/panic.h b/src/panic.h
index 67650b4..012eecb 100644 (file)
--- a/src/panic.h
+++ b/src/panic.h
@@ -18,6 +18,6 @@ along with this program.  If not, see <https://www.gnu.org/licenses/>.
 #ifndef PANIC_H_
 #define PANIC_H_
 
-void panic(const char *fmt, ...);
+void panic(const char *fmt, ...) __attribute__((noreturn));
 
 #endif /* PANIC_H_ */