[Patch, avr] Fix PR 50739 - nameless error with -fmerge-all-constants

Hi, This patch fixes a problem with fmerge-all-constants and the progmem attribute - on trunk, the below testcase errors out with a section conflict error. When avr_asm_select_section renames .rodata.xyz section to .progmem.xyz and calls get_section, it passes in the same flags in

Re: [Fortran, Patch] First patch for coarray FAILED IMAGES (TS 18508)

* PING * 2016-06-21 10:59 GMT-06:00 Alessandro Fanfarillo : > * PING * > > 2016-06-06 15:05 GMT-06:00 Alessandro Fanfarillo : >> Dear all, >> >> please find in attachment the first patch (of n) for the FAILED IMAGES >> capability defined in the

Re: -fopt-info handling

Anyone? On Mon, Jun 27, 2016 at 1:31 PM, Ulrich Drepper wrote: > The manual says about -fop-info: > >If OPTIONS is omitted, it defaults to 'all-all', which means > dump all available optimization info from all the passes. > > The current implementation (at at least

[patch, fortran] Bug 66575 - Endless compilation on missing end interface

This patch and test case regression tested on x86-64. Will commit under simple/obvious rule. Regards, Jerry 2016-07-04 Jerry DeLisle PR fortran/66575 * decl.c (match_procedure_interface): Exit loop if procedure interface refers to itself.

Re: [Fortran] Help with STAT= attribute in coarray reference

Le 30/06/2016 06:05, Alessandro Fanfarillo a écrit : Dear Mikael, thanks for your review and for the test. The attached patch, built and regtested for x86_64-pc-linux-gnu, addresses all the suggestions. The next patch will change the documentation related to the caf_get and caf_send functions

Re: [PATCH] Add code-hoisting to GIMPLE

On Mon, Jul 4, 2016 at 1:26 PM, Richard Biener wrote: > > The following patch is Stevens code-hoisting based on PRE forward-ported > and fixed for bootstrap plus the case of hoisting code across loops > which we generally do not want (expressions in the loop exit target block > are antic-in

Re: [Driver] Add support for -fuse-ld=lld

On Jul 4, 2016, at 12:36 PM, Markus Trippelsdorf wrote: > > On 2016.07.04 at 10:08 -0700, H.J. Lu wrote: >> On Sun, Jul 3, 2016 at 9:38 PM, Davide Italiano >> wrote: >>> On Thu, Jun 23, 2016 at 9:11 PM, Davide Italiano >>>

[PING] Re: Some fixes for autofdo test cases

Andi Kleen writes: Ping! > This fixes some of the problems with profile test cases running with autofdo > There are still remaining failures that need to be addressed, but this is the > low hanging fruit. > > -Andi > > -- a...@linux.intel.com -- Speaking for myself only

Re: [Driver] Add support for -fuse-ld=lld

On Mon, Jul 4, 2016 at 9:12 AM, H.J. Lu wrote: > On Sun, Jul 3, 2016 at 9:38 PM, Davide Italiano wrote: >> On Thu, Jun 23, 2016 at 9:11 PM, Davide Italiano >> wrote: >>> + HJ who wrote the code for the option originally. >>>

[PING] Re: [PATCH] Fix MPX tests on systems with MPX disabled

Andi Kleen writes: PING! > From: Andi Kleen > > I have a Skylake system with MPX in the CPU, but MPX is disabled > in the kernel configuration. > > This makes all the MPX tests fail because they assume if MPX > is in CPUID it works > > Check the

Fwd: Re: [lra] Cleanup the use of offmemok and don't count spilling cost for it

gcc-patches has rejected the original message as it contained invalid MIME type. Therefore I am re-sending it. Forwarded Message Subject: Re: [lra] Cleanup the use of offmemok and don't count spilling cost for it Date: Mon, 4 Jul 2016 15:44:25 -0400 From: Vladimir

Re: [Driver] Add support for -fuse-ld=lld

On Mon, Jul 4, 2016 at 12:36 PM, Markus Trippelsdorf wrote: > On 2016.07.04 at 10:08 -0700, H.J. Lu wrote: >> On Sun, Jul 3, 2016 at 9:38 PM, Davide Italiano >> wrote: >> > On Thu, Jun 23, 2016 at 9:11 PM, Davide Italiano

Re: [Driver] Add support for -fuse-ld=lld

On 2016.07.04 at 10:08 -0700, H.J. Lu wrote: > On Sun, Jul 3, 2016 at 9:38 PM, Davide Italiano wrote: > > On Thu, Jun 23, 2016 at 9:11 PM, Davide Italiano > > wrote: > >> + HJ who wrote the code for the option originally. > >> > >> On Thu, Jun 23,

[patch, fortran] Bug 35849 - "wrong" line shown in error message for parameter

I will commit attached patch provided by Steve and reviewed and tested by myself to trunk. Test case provided. Self explanatory. Regards, Jerry 2016-07-04 Jerry DeLisle Steven G. Kargl PR fortran/35849 * simplify.c

Re: [PATCH PR c/71699] Handle pointer arithmetic in nonzero tree checks

On Jul 1, 2016, at 6:10 AM, Manish Goregaokar wrote: > > +} > \ No newline at end of file Minor nit, please end all files with a newline...

Re: [PATCH] - improve sprintf buffer overflow detection (middle-end/49905)

On 07/04/2016 10:44 AM, Jakub Jelinek wrote: On Mon, Jul 04, 2016 at 10:23:06AM -0600, Martin Sebor wrote: 1) Making use of -Wformat machinery in c-family/c-format.c. This seemed preferable to duplicating some of the same code elsewhere (I initially started implementing it in

Re: [PATCH] - improve sprintf buffer overflow detection (middle-end/49905)

On 07/04/2016 06:44 PM, Jakub Jelinek wrote: On Mon, Jul 04, 2016 at 10:23:06AM -0600, Martin Sebor wrote: No, it doesn't. What I meant is that the same code, when added in builtins.c instead, could readily be extended to fold into strings expressions like sprintf (buf, "%i", 123); I've

Re: [PATCH][expr.c] PR middle-end/71700: zero-extend sub-word value when widening constructor element

On 07/01/2016 11:18 AM, Kyrill Tkachov wrote: In this arm wrong-code PR the struct assignment goes wrong when expanding constructor elements to a register destination when the constructor elements are signed bitfields less than a word wide. In this testcase we're intialising a struct with a

Re: [lra] Cleanup the use of offmemok and don't count spilling cost for it

On 07/04/2016 04:05 PM, Jiong Wang wrote: And the corresponding s390 patten is "mov" for V_128. (define_insn "mov" [(set (match_operand:V_128 0 "" "=v,v,R, v, v, v, v, v,v,d") (match_operand:V_128 1 "" "v,R,v,j00,jm1,jyy,jxx,jKK,d,v"))] As the offset "-16" does not qualify

[committed] Fix ICE with C++11 attributes (PR c++/71739)

Hi! We ICE with C++11 attributes, because their TREE_PURPOSE is not IDENTIFIER_NODE, but TREE_LIST. Fixed thusly, bootstrapped/regtested on x86_64-linux and i686-linux, committed to trunk and 6.2 as obvious. 2016-07-04 Jakub Jelinek PR c++/71739 * tree.c

Re: [Driver] Add support for -fuse-ld=lld

On Thu, Jun 23, 2016 at 9:01 PM, Davide Italiano wrote: > LLVM currently ships with a new ELF linker http://lld.llvm.org/. > I experiment a lot with gcc and lld so it would be nice if > -fuse-ld=lld is supported (considering the linker is now mature enough > to link large

Re: [Driver] Add support for -fuse-ld=lld

On Sun, Jul 3, 2016 at 9:38 PM, Davide Italiano wrote: > On Thu, Jun 23, 2016 at 9:11 PM, Davide Italiano > wrote: >> + HJ who wrote the code for the option originally. >> >> On Thu, Jun 23, 2016 at 9:01 PM, Davide Italiano

Re: [PATCH] - improve sprintf buffer overflow detection (middle-end/49905)

On Mon, Jul 04, 2016 at 10:23:06AM -0600, Martin Sebor wrote: > >>1) Making use of -Wformat machinery in c-family/c-format.c. This > >>seemed preferable to duplicating some of the same code elsewhere > >>(I initially started implementing it in expand_builtin in > >>builtins.c). It

Re: [ARM][testsuite] neon-testgen.ml removal

Hi Christophe, On 22/06/16 16:52, Christophe Lyon wrote: Hi, This is a new attempt at removing neon-testgen.ml and generated files. Compared to my previous version several months ago: - I have recently added testcases to make sure we do not lose coverage as described in

Re: [PATCH] - improve sprintf buffer overflow detection (middle-end/49905)

On 07/04/2016 04:59 AM, Richard Biener wrote: On Fri, 1 Jul 2016, Martin Sebor wrote: The attached patch enhances compile-time checking for buffer overflow and output truncation in non-trivial calls to the sprintf family of functions under a new option -Wformat-length=[12]. This initial patch

Re: [AArch64] Renaming ARMv8.1 to ARMv8.1-A in comments and documentations

On Mon, Jul 04, 2016 at 05:00:18PM +0100, Jiong Wang wrote: > As the request from > > https://gcc.gnu.org/ml/gcc-patches/2016-06/msg01936.html > > This patch replace all use of ARMv8.1 to ARMv8.1-A. > > OK for trunk? Thanks for the follow-up. OK. Thanks, James > > 2016-07-04 Jiong Wang

Re: [Driver] Add support for -fuse-ld=lld

On Sun, Jul 3, 2016 at 9:38 PM, Davide Italiano wrote: > On Thu, Jun 23, 2016 at 9:11 PM, Davide Italiano > wrote: >> + HJ who wrote the code for the option originally. >> >> On Thu, Jun 23, 2016 at 9:01 PM, Davide Italiano

Re: [testsuite] asan/clone-test-1.c: Handle clone() failure

On Mon, Jul 04, 2016 at 05:44:17PM +0200, Christophe Lyon wrote: > Hello, > > This small patch handles the case were clone() would fail when > executing asan/clone-test-1.c. I wonder if the syscall failures shouldn't result in exit of 0 rather than 1 (ideally UNSUPPORTED), because they don't

[AArch64] Renaming ARMv8.1 to ARMv8.1-A in comments and documentations

As the request from https://gcc.gnu.org/ml/gcc-patches/2016-06/msg01936.html This patch replace all use of ARMv8.1 to ARMv8.1-A. OK for trunk? 2016-07-04 Jiong Wang gcc/ * config/aarch64/aarch64.h: Rename "ARMv8.1" to "ARMv8.1-A". * config/aarch64/aarch64_neon.h:

[testsuite] asan/clone-test-1.c: Handle clone() failure

Hello, This small patch handles the case were clone() would fail when executing asan/clone-test-1.c. OK? Christophe 2016-07-04 Christophe Lyon * c-c++-common/asan/clone-test-1.c (main): Handle clone() failure. diff --git

Re: Improve insert/emplace robustness to self insertion

On 02/07/16 08:37 +0200, François Dumont wrote: I haven't consider in this patch your remark about using allocator to build instance so don't hesitate to commit what you want and I will rebase. Here's what I've committed to trunk. I'm getting nervous about the smart insertion trick to avoid

Re: [PATCH v2] S/390: Add support for z13 instructions lochi and locghi.

> gcc/ChangeLog > > * config/s390/s390.md: Add "z13" cpu_facility. > ("*movcc"): Add support for z13 instructions lochi and locghi. > * config/s390/predicates.md ("loc_operand"): New predicate for "load on > condition" type instructions. > gcc/testsuite/ChangeLog > >

Re: [PATCH 1/2][v3] Drop excess size used for run time allocated stack variables.

> gcc/ChangeLog0 > > * explow.c (allocate_dynamic_stack_space): Simplify knowing that > MUST_ALIGN was always true and extra_align ist always BITS_PER_UNIT. Applied. Thanks! -Andreas-

Re: [PATCH 16/17][ARM] Add tests for VFP FP16 ACLE instrinsics.

On 18/05/16 11:58, Matthew Wahab wrote: > On 18/05/16 02:06, Joseph Myers wrote: >> On Tue, 17 May 2016, Matthew Wahab wrote: >> >>> In some tests, there are unavoidable differences in precision when >>> calculating the actual and the expected results of an FP16 operation. A >>> new support

Re: [PATCH 15/17][ARM] Add tests for ARMv8.2-A FP16 support.

On 17/05/16 15:48, Matthew Wahab wrote: > Support for using the half-precision floating point operations added by > the ARMv8.2-A FP16 extension is based on the macros and intrinsics added > to the ACLE for the extension. > > This patch adds tests to check the compilers treatment of the ACLE >

Re: [PATCH 14/17][ARM] Add NEON FP16 instrinsics.

On 17/05/16 15:46, Matthew Wahab wrote: > The ARMv8.2-A architecture introduces an optional FP16 extension adding > half-precision floating point data processing instructions to the > existing Adv.SIMD (NEON) support. A future version of the ACLE will add > support for these instructions and this

Re: [PATCH 13/17][ARM] Add VFP FP16 instrinsics.

On 17/05/16 15:44, Matthew Wahab wrote: > The ARMv8.2-A architecture introduces an optional FP16 extension adding > half-precision floating point data processing instructions to the > existing scalar (floating point) support. A future version of the ACLE > will add support for these instructions

Re: [PATCH 12/17][ARM] Add builtins for NEON FP16 intrinsics.

On 17/05/16 15:42, Matthew Wahab wrote: > This patch adds the builtins data for the ACLE intrinsics introduced to > support the NEON instructions of the ARMv8.2-A FP16 extension. Updated to fix the vsqrte/vrsqrte spelling mistake and correct the changelog. Tested the series for

Re: [PATCH 11/17][ARM] Add builtins for VFP FP16 intrinsics.

On 17/05/16 15:41, Matthew Wahab wrote: > The ACLE intrinsics introduced to support the ARMv8.2 FP16 extensions > require that intrinsics for scalar floating pointer (VFP) instructions > are available under different conditions from those for the NEON > intrinsics. > > This patch adds the support

Re: [PATCH 9/17][ARM] Add NEON FP16 arithmetic instructions.

On 18/05/16 01:58, Joseph Myers wrote: > On Tue, 17 May 2016, Matthew Wahab wrote: > >> As with the VFP FP16 arithmetic instructions, operations on __fp16 >> values are done by conversion to single-precision. Any new optimization >> supported by the instruction descriptions can only apply to code

Re: [PATCH v2] Allocate constant size dynamic stack space in the prologue

On 07/04/2016 02:19 PM, Dominik Vogt wrote: > Version 4 with the following change: > > * Rebased on top of the "Minor cleanup to >allocate_dynamic_stack_space" patch. The "Drop excess size >used for run time allocated stack variables." path needs an >update because it touches the

Re: [lra] Cleanup the use of offmemok and don't count spilling cost for it

On 04/07/16 14:12, Bernd Schmidt wrote: On 06/30/2016 07:24 PM, Jiong Wang wrote: From my understanding, "offmemok" is used to represent a memory operand who's address we want to reload, and searching of it's reference location seems confirmed my understanding as it's always used together

Re: [PATCH 8/17][ARM] Add VFP FP16 arithmetic instructions.

On 19/05/16 15:54, Matthew Wahab wrote: > On 18/05/16 16:20, Joseph Myers wrote: >> On Wed, 18 May 2016, Matthew Wahab wrote: >> >> In short: instructions for direct HFmode arithmetic should be described >> with patterns with the standard names. It's the job of the >> architecture-independent

Re: [PATCH 7/17][ARM] Add FP16 data movement instructions.

On 17/05/16 15:34, Matthew Wahab wrote: > The ARMv8.2-A FP16 extension adds a number of instructions to support > data movement for FP16 values. This patch adds these instructions to the > backend, making them available to the compiler code generator. This updates the expected output for the

Re: [PATCH 3/17][Testsuite] Add ARM support for ARMv8.2-A with FP16 arithmetic instructions.

On 17/05/16 15:26, Matthew Wahab wrote: > The ARMv8.2-A FP16 extension adds to both the VFP and the NEON > instruction sets. This patch adds support to the testsuite to select > targets and set options for tests that make use of these > instructions. It also adds documentation for ARMv8.1-A

Re: [PATCH 1/17][ARM] Add ARMv8.2-A command line option and profile.

On 17/05/16 15:22, Matthew Wahab wrote: > This patch adds the command options for the architecture ARMv8.2-A and > the half-precision extension. The architecture is selected by > -march=armv8.2-a and has all the properties of -march=armv8.1-a. > > This patch also enables the CRC extension (+crc)

Re: [PATCH v2] S/390: Add support for z13 instructions lochi and locghi.

On Mon, Jul 04, 2016 at 02:56:06PM +0200, Andreas Krebbel wrote: > On 07/01/2016 04:31 PM, Dominik Vogt wrote: > Could you try merging the two testcases into one by putting the lp64 and ! > lp64 as condition on the > scan assembler expressions? Done. > Also I don't think it is really necessary

Re: [lra] Cleanup the use of offmemok and don't count spilling cost for it

On 06/30/2016 07:24 PM, Jiong Wang wrote: From my understanding, "offmemok" is used to represent a memory operand who's address we want to reload, and searching of it's reference location seems confirmed my understanding as it's always used together with MEM_P check. So this patch does the

Re: [PATCH] S/390: Add support for z13 instructions lochi and locghi.

On 07/01/2016 04:31 PM, Dominik Vogt wrote: > The attached patch adds patterns to make use of the z13 LOCHI and > LOCGHI instructions. > > Tested on s390x biarch and s390, regression tested on s390x. > > Ciao > > Dominik ^_^ ^_^ > Looks good, thanks! Could you try merging the two testcases

Re: Fix fir PR71696 in Libiberty Demangler (6)

On 06/30/2016 08:46 AM, Marcel Böhme wrote: The attached patch fixes the stack overflow in the demangler due to cycles in the references of “remembered” mangled types (https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71696). The methods demangle_signature and do_arg in cplus-dem.c allow to

Re: [v3 PATCH] PR libstdc++/71313

On 04/07/16 15:31 +0300, Ville Voutilainen wrote: On 4 July 2016 at 15:27, Ville Voutilainen wrote: Tested on Linux-x64. 2016-07-04 Ville Voutilainen PR libstdc++/71313 * src/filesystem/ops.cc (remove_all(const path&,

Re: [v3 PATCH] PR libstdc++/71313

On 4 July 2016 at 15:27, Ville Voutilainen wrote: > Tested on Linux-x64. > > 2016-07-04 Ville Voutilainen > > PR libstdc++/71313 > * src/filesystem/ops.cc (remove_all(const path&, error_code&)): > Call remove_all for

[v3 PATCH] PR libstdc++/71313

Tested on Linux-x64. 2016-07-04 Ville Voutilainen PR libstdc++/71313 * src/filesystem/ops.cc (remove_all(const path&, error_code&)): Call remove_all for children of a directory. * testsuite/experimental/filesystem/operations/create_directories.cc:

Re: [PATCH v2] Allocate constant size dynamic stack space in the prologue

Version 4 with the following change: * Rebased on top of the "Minor cleanup to allocate_dynamic_stack_space" patch. The "Drop excess size used for run time allocated stack variables." path needs an update because it touches the dsame code as the patch in this message. Ran the

Re: [Ping, Patch, Fortran, 71623, v1][5/6/7 Regression] Segfault when allocating deferred-length characters to size of a pointer

Ping! Additionally did I get the time to check the patch for gcc-6 and -5. It applies cleanly to both and has no regressions. Ok for trunk and with one week delay for gcc-6 and -5? - Andre On Wed, 29 Jun 2016 18:43:27 +0200 Andre Vehreschild wrote: > Hi all, > > the attached

[PATCH] Add code-hoisting to GIMPLE

The following patch is Stevens code-hoisting based on PRE forward-ported and fixed for bootstrap plus the case of hoisting code across loops which we generally do not want (expressions in the loop exit target block are antic-in throughout the whole loop unless they are killed and thus get

Re: [PATCH][RTL ifcvt] PR rtl-optimization/71594: ICE in noce_emit_cmove due to mismatched source modes

On 07/04/2016 01:18 PM, Kyrill Tkachov wrote: That does seem like it could cause trouble but I couldn't think of how that sequence could appear or what its semantics would be. Would assigning to the SImode reg 0 in your example not touch the upper bits of the DImode value? No, multi-word

Re: [PATCH][RTL ifcvt] PR rtl-optimization/71594: ICE in noce_emit_cmove due to mismatched source modes

Hi Bernd, On 04/07/16 12:08, Bernd Schmidt wrote: On 07/04/2016 12:28 PM, Kyrill Tkachov wrote: Ping. https://gcc.gnu.org/ml/gcc-patches/2016-06/msg01731.html Thanks, Kyrill On 24/06/16 09:32, Kyrill Tkachov wrote: Hi all, In this PR we get an ICE when trying to emit a conditional move

Re: [PATCH][RTL ifcvt] PR rtl-optimization/71594: ICE in noce_emit_cmove due to mismatched source modes

On 07/04/2016 12:28 PM, Kyrill Tkachov wrote: Ping. https://gcc.gnu.org/ml/gcc-patches/2016-06/msg01731.html Thanks, Kyrill On 24/06/16 09:32, Kyrill Tkachov wrote: Hi all, In this PR we get an ICE when trying to emit a conditional move through noce_convert_multiple_sets. The comment in

Re: [PATCH 2/3] Add support for arm*-*-phoenix* targets.

Ping. If this is OK for both branches (or at least one) would you rather prefer separate patch? 2016-06-23 9:37 GMT+02:00 Jakub Sejdak : > How about backporting this to gcc-6 and gcc-5? > > 2016-06-21 22:10 GMT+02:00 Jeff Law : >> On 06/15/2016 08:22 AM,

Re: [PATCH 3/3] Add support for arm*-*-phoenix* targets in libgcc.

Ping. If this is OK for both branches (or at least one) would you rather prefer separate patch? 2016-06-23 9:37 GMT+02:00 Jakub Sejdak : > How about backporting this to gcc-6 and gcc-5? > > 2016-06-21 22:11 GMT+02:00 Jeff Law : >> On 06/15/2016 08:22 AM,

Re: [PATCH] - improve sprintf buffer overflow detection (middle-end/49905)

On Fri, 1 Jul 2016, Martin Sebor wrote: > The attached patch enhances compile-time checking for buffer overflow > and output truncation in non-trivial calls to the sprintf family of > functions under a new option -Wformat-length=[12]. This initial > patch handles printf directives with string,

Re: [ARM][testsuite] neon-testgen.ml removal

ping ^2 ? https://gcc.gnu.org/ml/gcc-patches/2016-06/msg01615.html On 27 June 2016 at 12:54, Christophe Lyon wrote: > ping? > > On 22 June 2016 at 17:52, Christophe Lyon wrote: >> Hi, >> >> This is a new attempt at removing neon-testgen.ml

Re: [PATCH] Allow fwprop to undo vectorization harm (PR68961)

On Sun, 3 Jul 2016, Richard Sandiford wrote: > Richard Biener writes: > > On Wed, 15 Jun 2016, Richard Sandiford wrote: > > > >> Richard Biener writes: > >> > With the proposed cost change for vector construction we will end up > >> > vectorizing the

Re: [PATCH][RTL ifcvt] PR rtl-optimization/71594: ICE in noce_emit_cmove due to mismatched source modes

Ping. https://gcc.gnu.org/ml/gcc-patches/2016-06/msg01731.html Thanks, Kyrill On 24/06/16 09:32, Kyrill Tkachov wrote: Hi all, In this PR we get an ICE when trying to emit a conditional move through noce_convert_multiple_sets. The comment in the patch explains the situation but we get a

Re: [PATCH, libgcc/ARM 1a/6, ping2] Fix Thumb-1 only == ARMv6-M & Thumb-2 only == ARMv7-M assumptions

Ping? Best regards, Thomas On Monday 27 June 2016 16:52:50 Thomas Preudhomme wrote: > Ping? > > Best regards, > > Thomas > > On Friday 17 June 2016 18:21:44 Thomas Preudhomme wrote: > > On Wednesday 01 June 2016 10:00:52 Ramana Radhakrishnan wrote: > > > Please fix up the macros, post back

Re: [PATCH 2/4] PR c++/62314: add fixit hint for "expected ';' after class definition"

On 07/01/2016 07:40 PM, David Malcolm wrote: A better argument is that as of r237712 we now have -fdiagnostics -parseable-fixits. This allows for an IDE to offer to automatically apply a fix-it hint. Hence by providing a fix-it here, an IDE can potentially insert the semicolon itself: In

[Ada] Gnatfind crash on references to unknown files

This patch fixes an obscure bug in gnatfind that could cause it to crash on references to unknown files. The crash was caused by dereferencing an uninitialized pointer value, so it was flaky. No test is available. Tested on x86_64-pc-linux-gnu, committed on trunk 2016-07-04 Bob Duff

[Ada] Spurious type errors because of views confusion in predicate functions

In the context of a predicate function the formal and the actual in a call may have different views of the same type, because of the delayed analysis of predicates aspects. This patch extends existing code that handles this discrepancy, to cover private and full views as well. Executing the

[Ada] Use chained locations in GNATprove for inherited pre and post

When a class-wide pre- or postcondition is inherited by an overriding subprogram, the locations of the inherited pragma and of its expression are the same as the locations of the original pragma. This is inconvenient to distinguish properties proved on the overridden and the overriding

[Ada] Confusing pragma unreferenced

Two pragmas exist - Unmodified and Unreferenced which issue warnings if the respective entities contained get written or read repectivly. Additionally, pragma Unreferenced will surpress compiler generated warnings for unread variables. However, this can lead to confusion about pragma Unreferenced

[Ada] Early finalization of ctrl func result clobbers array element

This match modifies the expansion of array aggregates to perform in-place side effect removal when a controlled function call acts as an initialization expression. This eliminates the transient property of the function call and ensures the proper order of copy, adjustment, and finalization.

Re: [6/7] Explicitly classify vector loads and stores

On Sun, Jul 3, 2016 at 7:10 PM, Richard Sandiford wrote: > Richard Biener writes: >> On Wed, Jun 15, 2016 at 10:52 AM, Richard Sandiford >> wrote: >>> This is the main patch in the series. It adds a new enum and

Re: [PATCH 0/9] separate shrink-wrapping

On Wed, Jun 29, 2016 at 06:16:10PM -0500, Segher Boessenkool wrote: > On Thu, Jun 30, 2016 at 01:03:17AM +0200, Bernd Schmidt wrote: > > On 06/08/2016 07:26 PM, Segher Boessenkool wrote: > > >One thing I should try is put a USE of the saved registers at such > > >exits, maybe that helps those

Re: [PATCH 2/2] gcc/genrecog: Don't warn for missing mode on special predicates

Andrew Burgess writes: > +/* Return true if OPERAND is a MATCH_OPERAND using a special predicate > + function. */ > + > +static bool > +special_predicate_operand_p (rtx operand) > +{ > + if (GET_CODE (operand) == MATCH_OPERAND) > +{ > + const char

Re: [AArch64] ARMv8.2 command line and feature macros support

On 29/06/16 09:43, James Greenhalgh wrote: This is OK for trunk otherwise. Thanks. Committed attached patch as r237956. Index: gcc/ChangeLog === --- gcc/ChangeLog (revision 237955) +++ gcc/ChangeLog (revision 237956) @@ -1,3