Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Support gnu_inline attribute

Fixes bug where this attribute would be attached to function return
types instead of the whole decl, provoking compiler warnings.
  • Loading branch information...
commit bc1cb8e676e71c0adabe04da5d760d2c85f24268 1 parent 681f17e
@stephenrkell stephenrkell authored kerneis committed
Showing with 1 addition and 1 deletion.
  1. +1 −1  src/cil.ml
View
2  src/cil.ml
@@ -1392,7 +1392,7 @@ let attributeHash: (string, attributeClass) H.t =
List.iter (fun a -> H.add table a (AttrFunType false))
[ "format"; "regparm"; "longcall";
- "noinline"; "always_inline"; "leaf";
+ "noinline"; "always_inline"; "gnu_inline"; "leaf";
"artificial"; "warn_unused_result"; "nonnull";
];
Please sign in to comment.
Something went wrong with that request. Please try again.