From 7b2888e62cee3ff8fa44e316b8d9d21a4611dbca Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Wed, 30 Jul 2014 14:50:43 +0200 Subject: [multiple changes] 2014-07-30 Robert Dewar * s-tasuti.adb, s-tasuti.ads, einfo.ads, sem_prag.adb, s-taasde.adb, g-socthi-vms.adb, s-taprop-mingw.adb, s-interr.adb, s-interr-hwint.adb, g-decstr.adb, s-tasdeb-vms.adb, g-expect-vms.adb, makeutl.adb, s-interr-vms.adb, g-socthi.adb, exp_aggr.adb, s-tasdeb.adb, g-awk.adb, gnatls.adb, s-taspri-posix.ads, g-catiio.adb, s-interr-sigaction.adb, s-os_lib.adb, s-fileio.adb: Minor reformatting & code reorganization. 2014-07-30 Bob Duff * s-tassta.adb, sem_util.ads: Minor reformatting. 2014-07-30 Yannick Moy * inline.adb (Build_Body_To_Inline): Detect when subprogram has multiple returns, or not a single last return statement, in GNATprove mode. (Cannot_Inline): Simplify logic to handle case of GNATprove inlining first. 2014-07-30 Ed Schonberg * sem_ch6.adb: Stubs are not subject to inlining. From-SVN: r213257 --- gcc/ada/g-awk.adb | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'gcc/ada/g-awk.adb') diff --git a/gcc/ada/g-awk.adb b/gcc/ada/g-awk.adb index f2c934c..6f58e46 100644 --- a/gcc/ada/g-awk.adb +++ b/gcc/ada/g-awk.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 2000-2011, AdaCore -- +-- Copyright (C) 2000-2014, AdaCore -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -929,7 +929,6 @@ package body GNAT.AWK is if Callbacks in Only .. Pass_Through then declare Discard : Boolean; - pragma Unreferenced (Discard); begin Discard := Apply_Filters (Session); end; -- cgit v1.1