From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 46611 invoked by alias); 14 Oct 2015 21:42:27 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Received: (qmail 46599 invoked by uid 89); 14 Oct 2015 21:42:27 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-1.2 required=5.0 tests=AWL,BAYES_00,SPF_PASS autolearn=ham version=3.3.2 X-HELO: gateway36.websitewelcome.com Received: from gateway36.websitewelcome.com (HELO gateway36.websitewelcome.com) (192.185.193.12) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES256-GCM-SHA384 encrypted) ESMTPS; Wed, 14 Oct 2015 21:42:25 +0000 Received: by gateway36.websitewelcome.com (Postfix, from userid 1000) id A45594FA9EBD7; Wed, 14 Oct 2015 16:42:20 -0500 (CDT) Received: from gator3278.hostgator.com (gator3278.hostgator.com [198.57.247.242]) by gateway36.websitewelcome.com (Postfix) with ESMTP id 93ACA4FA9D76F for ; Wed, 14 Oct 2015 16:42:20 -0500 (CDT) Received: from [89.70.245.0] (port=51200 helo=localhost) by gator3278.hostgator.com with esmtpa (Exim 4.85) (envelope-from ) id 1ZmToR-0007mV-KV; Wed, 14 Oct 2015 16:42:19 -0500 Date: Wed, 14 Oct 2015 21:42:00 -0000 From: Arkadiusz Drabczyk To: Martin Sebor Cc: gcc-patches@gcc.gnu.org Subject: Re: [PATCH] c/67925 - update documentation on `inline' Message-ID: <20151014214245.GB20411@comp.lan> References: <20151013224721.GA540@comp.lan> <561E687B.8000705@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <561E687B.8000705@gmail.com> User-Agent: Mutt/1.5.23 (2014-03-12) X-BWhitelist: no X-Exim-ID: 1ZmToR-0007mV-KV X-Source-Sender: (localhost) [89.70.245.0]:51200 X-Source-Auth: arkadiusz@drabczyk.org X-Email-Count: 1 X-Source-Cap: cmt1bXZicmg7cmt1bXZicmg7Z2F0b3IzMjc4Lmhvc3RnYXRvci5jb20= X-SW-Source: 2015-10/txt/msg01425.txt.bz2 On Wed, Oct 14, 2015 at 08:36:43AM -0600, Martin Sebor wrote: > On 10/13/2015 04:47 PM, Arkadiusz Drabczyk wrote: > >* gcc/doc/extend.texi: documentation says that functions declared > >`inline' would not be integrated if they are called before they are > >defined or if they are recursive. Both of these statements is now > >false as shown in examples on Bugzilla. > > It might also be worth updating the note in the subsequent > paragraph and removing the mention of variable-length data types > which no longer prevent inlining. Done. I also removed the mention of nested functions as the following code compiled with GCC 6.0 doesn't give any warning with -O2 -Winline and main() is the only function defined in assembler code: #include #include inline static int foo (int a, int b) { printf("a == %d\n", a); inline int square (int z) { return z * z; } return square (a) + square (b); } int main(int argc, char *argv[]) { printf("%d\n", foo(atoi(argv[1]), atoi(argv[2]))); exit(0); } I also removed a reference to Bugzilla from the commit message, I don't think it's necessary. > FWIW, the list of most -Winline warnings issued by GCC is here > (there are two more in Ada which, AFAICT, have to do with nested > functions): > > $ grep -A1 "can never be inlined" gcc/tree-inline.c > (...) > -- > = G_("function %q+F can never be inlined because " > "it uses non-local goto"); I tested of all of these and listed them in the documentation but wasn't able to reproduce this one. The following code does not give any warning with -O2 -Winline: #include #include #include static jmp_buf buf; inline static void longjmp_test(int n) { puts("hi"); if (n == 2) longjmp(buf, 2); } int main(int argc, char *argv[]) { printf("%d\n", setjmp(buf)); longjmp_test(atoi(argv[1])); puts("next line in a normal execution"); exit(0); } Is this test case correct? However, I get the following warning using __builtin_longjmp() instead of longjmp(): warning: function 'longjmp_test' can never be inlined because it uses setjmp-longjmp exception handling [-Winline] >8------------------------------------------------------8< * gcc/doc/extend.texi: documentation says that functions declared `inline' would not be integrated if they are called before they are defined, if they are recursive, if they use variable-length data types or if they are nested. All of these statements are now false and have been removed. Mention of setjmp(), __builtin_return() and __builtin_apply_args() has been added. --- gcc/doc/extend.texi | 21 +++++++++------------ 1 file changed, 9 insertions(+), 12 deletions(-) diff --git a/gcc/doc/extend.texi b/gcc/doc/extend.texi index 79440d3..be95cc3 100644 --- a/gcc/doc/extend.texi +++ b/gcc/doc/extend.texi @@ -7088,21 +7088,18 @@ function are integrated into the caller, and the function's address is never used, then the function's own assembler code is never referenced. In this case, GCC does not actually output assembler code for the function, unless you specify the option @option{-fkeep-inline-functions}. -Some calls cannot be integrated for various reasons (in particular, -calls that precede the function's definition cannot be integrated, and -neither can recursive calls within the definition). If there is a -nonintegrated call, then the function is compiled to assembler code as -usual. The function must also be compiled as usual if the program -refers to its address, because that can't be inlined. +If there is a nonintegrated call, then the function is compiled to +assembler code as usual. The function must also be compiled as usual if +the program refers to its address, because that can't be inlined. @opindex Winline Note that certain usages in a function definition can make it unsuitable -for inline substitution. Among these usages are: variadic functions, use of -@code{alloca}, use of variable-length data types (@pxref{Variable Length}), -use of computed goto (@pxref{Labels as Values}), use of nonlocal goto, -and nested functions (@pxref{Nested Functions}). Using @option{-Winline} -warns when a function marked @code{inline} could not be substituted, -and gives the reason for the failure. +for inline substitution. Among these usages are: variadic functions, +use of @code{alloca}, use of computed goto (@pxref{Labels as Values}), +use of @code{setjmp} and use of @code{__builtin_return} or +@code{__builtin_apply_args}. Using @option{-Winline} warns when a +function marked @code{inline} could not be substituted, and gives the +reason for the failure. @cindex automatic @code{inline} for C++ member fns @cindex @code{inline} automatic for C++ member fns -- 2.3.5 -- Arkadiusz Drabczyk