From 5c3e94b8e7e99bae541c8dae37c4431a53fcf1c9 Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Wed, 25 Oct 2017 08:54:15 +0100 Subject: [PATCH] functions marked always inline fail typechecking if they are not static --- regression/ansi-c/always_inline1/main.c | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/regression/ansi-c/always_inline1/main.c b/regression/ansi-c/always_inline1/main.c index 97f06f1a378..c9a9d35e39f 100644 --- a/regression/ansi-c/always_inline1/main.c +++ b/regression/ansi-c/always_inline1/main.c @@ -20,6 +20,12 @@ void unused(unsigned long offset) { ((void)sizeof(char[1 - 2*!!(!__builtin_constant_p(offset))])); } + +// unused, but no 'static' +inline __attribute__ ((__always_inline__)) int also_unused(int _c) +{ + return _c; +} #endif int main()