From 4afaf8c23274752c8a6067bd785e114578068702 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Mon, 6 Feb 2017 16:03:45 +0100
Subject: Preliminary support for the "noreturn" attribute

- Mark the "noreturn" attribute as related to function types, so that it is correctly attached to the nearest enclosing function type.
- Add this attribute on functions declared / defined _Noreturn (with the C2011 keyword).  The information is not used presently but could be useful later.
---
 cfrontend/C2C.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'cfrontend/C2C.ml')

diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml
index 183af347..0d24691f 100644
--- a/cfrontend/C2C.ml
+++ b/cfrontend/C2C.ml
@@ -274,7 +274,8 @@ let attributes = [
   ("aligned", Cutil.Attr_type);
   (* struct-related *)
   ("packed", Cutil.Attr_struct);
-  (* function-related (currently none) *)
+  (* function-related *)
+  ("noreturn", Cutil.Attr_function);
   (* name-related *)
   ("section", Cutil.Attr_name)
 ]
-- 
cgit