From efe33ff4c85a309833a0302fd09a531c317b7ae1 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Mon, 11 Dec 2017 08:18:44 +0100 Subject: Correct test for noinline. Bug 22642 --- cfrontend/C2C.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'cfrontend') diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml index 2b3b50bf..173764e3 100644 --- a/cfrontend/C2C.ml +++ b/cfrontend/C2C.ml @@ -1153,7 +1153,7 @@ let convertFundef loc env fd = fd.fd_locals in let body' = convertStmt env fd.fd_body in let id' = intern_string fd.fd_name.name in - let noinline = Cutil.find_custom_attributes ["noinline";"__noinline__"] fd.fd_attrib = [] in + let noinline = Cutil.find_custom_attributes ["noinline";"__noinline__"] fd.fd_attrib <> [] in let inline = if noinline || fd.fd_vararg then (* PR#15 *) Noinline else if fd.fd_inline then -- cgit