From 4e62a2c4b2c809ea020423e7e328ba96e379d64d Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Wed, 23 Mar 2016 14:22:33 +0100
Subject: Added the _Noreturn keyword.

CompCert now recognizes the C11 _Noreturn function specifier and
emits a simple warning for functions declared _Noreturn containing
a return statement. Also the stdnoreturn header and additionally
the stdalign header are added.
Bug 18541
---
 cparser/Cabshelper.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'cparser/Cabshelper.ml')

diff --git a/cparser/Cabshelper.ml b/cparser/Cabshelper.ml
index b4e6a082..958f242c 100644
--- a/cparser/Cabshelper.ml
+++ b/cparser/Cabshelper.ml
@@ -35,7 +35,7 @@ let rec isExtern = function
 
 let rec isInline = function
     [] -> false
-  | SpecInline :: _ -> true
+  | (SpecFunction INLINE) :: _ -> true
   | _ :: rest -> isInline rest
 
 let rec isTypedef = function
-- 
cgit