From 2699bcfc44ca33056f5ec2c718f857308c61d94a Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 7 Dec 2017 17:14:31 +0100
Subject: Store the different inlining cases.

In order to correctly support the noinline attribute we must store
whether the function was specified with an inline specifer, had
a noinline attribute or nothing.
Bug 22642
---
 cparser/Elab.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'cparser/Elab.ml')

diff --git a/cparser/Elab.ml b/cparser/Elab.ml
index 60772eec..c2d5ece7 100644
--- a/cparser/Elab.ml
+++ b/cparser/Elab.ml
@@ -2365,7 +2365,7 @@ let elab_fundef env spec name defs body loc =
   && can_return then
     warning loc Invalid_noreturn "function '%s' declared 'noreturn' should not return" s;
   (* Build and emit function definition *)
-  let inline = inline && find_custom_attributes ["noinline";"__noinline__"] attr = [] in
+  let inline = inline in
   let fn =
     { fd_storage = sto1;
       fd_inline = inline;
-- 
cgit