From 2994087f111a1fc8e9d52cb9370dfdd9c0157f00 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Sun, 19 Feb 2017 19:56:16 +0100
Subject: Added gcc noinline attribute.

The noinline attribute prevents functions from inlining.
---
 cfrontend/C2C.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'cfrontend/C2C.ml')

diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml
index eecda71b..3bd1eea0 100644
--- a/cfrontend/C2C.ml
+++ b/cfrontend/C2C.ml
@@ -271,6 +271,7 @@ let attributes = [
   ("packed", Cutil.Attr_struct);
   (* function-related *)
   ("noreturn", Cutil.Attr_function);
+  ("noinline",Cutil.Attr_function);
   (* name-related *)
   ("section", Cutil.Attr_name);
   ("unused", Cutil.Attr_name)
-- 
cgit