diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-30 14:50:43 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-30 14:50:43 +0200 |
commit | 7b2888e62cee3ff8fa44e316b8d9d21a4611dbca (patch) | |
tree | 82cb5a0a73d4ce482a182db0452c8c54599c4272 /gcc/ada/g-awk.adb | |
parent | b0c5fdda662f6e7291088eaa6158b938f224f3e0 (diff) | |
download | gcc-7b2888e62cee3ff8fa44e316b8d9d21a4611dbca.zip gcc-7b2888e62cee3ff8fa44e316b8d9d21a4611dbca.tar.gz gcc-7b2888e62cee3ff8fa44e316b8d9d21a4611dbca.tar.bz2 |
[multiple changes]
2014-07-30 Robert Dewar <dewar@adacore.com>
* 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 <duff@adacore.com>
* s-tassta.adb, sem_util.ads: Minor reformatting.
2014-07-30 Yannick Moy <moy@adacore.com>
* 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 <schonberg@adacore.com>
* sem_ch6.adb: Stubs are not subject to inlining.
From-SVN: r213257
Diffstat (limited to 'gcc/ada/g-awk.adb')
-rw-r--r-- | gcc/ada/g-awk.adb | 3 |
1 files changed, 1 insertions, 2 deletions
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; |