From patchwork Wed Aug 3 08:11:29 2011 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Arnaud Charlet X-Patchwork-Id: 108039 Return-Path: X-Original-To: incoming@patchwork.ozlabs.org Delivered-To: patchwork-incoming@bilbo.ozlabs.org Received: from sourceware.org (server1.sourceware.org [209.132.180.131]) by ozlabs.org (Postfix) with SMTP id 6820AB71DE for ; Wed, 3 Aug 2011 18:11:51 +1000 (EST) Received: (qmail 5184 invoked by alias); 3 Aug 2011 08:11:48 -0000 Received: (qmail 5173 invoked by uid 22791); 3 Aug 2011 08:11:47 -0000 X-SWARE-Spam-Status: No, hits=-1.8 required=5.0 tests=AWL,BAYES_00 X-Spam-Check-By: sourceware.org Received: from rock.gnat.com (HELO rock.gnat.com) (205.232.38.15) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Wed, 03 Aug 2011 08:11:33 +0000 Received: from localhost (localhost.localdomain [127.0.0.1]) by filtered-rock.gnat.com (Postfix) with ESMTP id 1A1AD2BAB7E; Wed, 3 Aug 2011 04:11:30 -0400 (EDT) Received: from rock.gnat.com ([127.0.0.1]) by localhost (rock.gnat.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 4qlePGm2XZXH; Wed, 3 Aug 2011 04:11:30 -0400 (EDT) Received: from kwai.gnat.com (kwai.gnat.com [205.232.38.4]) by rock.gnat.com (Postfix) with ESMTP id F28152BAB6B; Wed, 3 Aug 2011 04:11:29 -0400 (EDT) Received: by kwai.gnat.com (Postfix, from userid 4192) id F2D383FEE8; Wed, 3 Aug 2011 04:11:29 -0400 (EDT) Date: Wed, 3 Aug 2011 04:11:29 -0400 From: Arnaud Charlet To: gcc-patches@gcc.gnu.org Cc: Eric Botcazou Subject: [Ada] Clear confusion about -fno-inline in the GNAT UG Message-ID: <20110803081129.GA21558@adacore.com> MIME-Version: 1.0 Content-Disposition: inline User-Agent: Mutt/1.5.20 (2009-06-14) Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Unsubscribe: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Delivered-To: mailing list gcc-patches@gcc.gnu.org The GNAT Pro User's Guide reads: `-fno-inline' Suppresses all back-end inlining, even if other optimization or inlining switches are set. This includes suppression of inlining that results from the use of the pragma Inline_Always. Any occurrences of pragma Inline or Inline_Always are ignored, and `-gnatn' and `-gnatN' have no effect if this switch is present. This is confusing because both pragma Inline_Always and -gnatN are front-end inlining. -fno-inline simply suppresses all inlining. Tested on x86_64-pc-linux-gnu, committed on trunk 2011-08-03 Eric Botcazou * gnat_ugn.texi (Switches for gcc): Make it clearer that -fno-inline suppresses all inlining. Index: gnat_ugn.texi =================================================================== --- gnat_ugn.texi (revision 177236) +++ gnat_ugn.texi (working copy) @@ -3961,10 +3961,9 @@ @item -fno-inline @cindex @option{-fno-inline} (@command{gcc}) -Suppresses all back-end inlining, even if other optimization or inlining -switches are set. -This includes suppression of inlining that results -from the use of the pragma @code{Inline_Always}. +Suppresses all inlining, even if other optimization or inlining +switches are set. This includes suppression of inlining that +results from the use of the pragma @code{Inline_Always}. Any occurrences of pragma @code{Inline} or @code{Inline_Always} are ignored, and @option{-gnatn} and @option{-gnatN} have no effect if this switch is present.