From af2141daaf89dc9bd9a76bd5f3a805b2017cf79c Mon Sep 17 00:00:00 2001
From: Pavel Kirienko <pavel.kirienko@gmail.com>
Date: Mon, 14 Apr 2014 15:30:20 +0400
Subject: [PATCH] __start() and main() declared with noreturn attribute

---
 .../lpc11c24/test_olimex_lpc_p11c24/src/sys/board.cpp           | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/libuavcan_drivers/lpc11c24/test_olimex_lpc_p11c24/src/sys/board.cpp b/libuavcan_drivers/lpc11c24/test_olimex_lpc_p11c24/src/sys/board.cpp
index 1ad2670743..d009c87ee0 100644
--- a/libuavcan_drivers/lpc11c24/test_olimex_lpc_p11c24/src/sys/board.cpp
+++ b/libuavcan_drivers/lpc11c24/test_olimex_lpc_p11c24/src/sys/board.cpp
@@ -151,8 +151,10 @@ static void call_init_array(unsigned long* start, unsigned long* end)
 // We need to disable pedantic mode to call main()
 #pragma GCC diagnostic ignored "-Wpedantic"
 
+__attribute__((noreturn))
 extern int main();
 
+__attribute__((noreturn))
 void __start()
 {
     board::init();