Re: [PATCH] Keep patch file permissions in mklog

2014-07-31 Thread Tom de Vries
On 01-08-14 06:21, Yury Gribov wrote: Cc Diego. --- From: Tom de Vries Sent: Saturday, May 31, 2014 11:47AM To: Geoff Keating Cc: GCC Patches Subject: [PATCH] Keep patch file permissions in mklog On 05/31/2014 11:47 AM, Tom de Vries wrote: Geoff,

Re: [AArch64] Implement movmem for the benefit of inline memcpy

2014-07-31 Thread Andrew Pinski
On Fri, Jun 6, 2014 at 1:50 AM, James Greenhalgh wrote: > > Hi, > > The move_by_pieces infrastructure performs a copy by repeatedly trying > the largest safe copy it can make. So for a 15-byte copy we might see: > > offset amount bytes copied > 08 0-7 > 84 8-11 > 12

RE: [PATCH, i386] Handle extended family cpuid info for AMD

2014-07-31 Thread Gopalasubramanian, Ganesh
Uros! > I would like to have a check for a family at the beginning, something like: > if (name == signature_NSC_ebx) >processor = PROCESSOR_GEODE; > else if (family == 22) >{ > if (has_movbe) I get your idea of having the family checked first and then differentiating with

Re: [PATCH] gcc/fortran/resolve.c: Let 'err_len' have real effect in gfc_explicit_interface_required()

2014-07-31 Thread Chen Gang
Excuse me, this patch has no testsuite, either no change log. If pass checking (get reply confirmation for this mail), I shall send patch v2 with testsuite and change log for it, and still only cc to gcc-patches@gcc.gnu.org. Thanks. On 07/28/2014 04:03 PM, Chen Gang wrote: > External function

Re: [PATCH] libjava/classpath/native/jni/java-lang/java_lang_VMProcess.c: Be sure 'errbuf' always be zero terminated.

2014-07-31 Thread Chen Gang
Sorry for no testsuite, I shall send patch v2 for it after finish related testsuite within this week end (2014-08-03). And the patch v2 also need cc to java-patc...@gcc.gnu.org Thanks. On 07/31/2014 12:59 PM, Chen Gang wrote: > > > On 07/31/2014 12:10 PM, Jeff Law wrote: >> On 07/30/14 09:01,

Re: [PATCH 2/2] Enable elimination of zext/sext

2014-07-31 Thread Kugan
> + lhs_type = lang_hooks.types.type_for_mode (lhs_mode, lhs_uns); > ... > + && ((!lhs_uns && !wi::neg_p (min, TYPE_SIGN (lhs_type))) > ... > + type_min = wide_int::from (TYPE_MIN_VALUE (lhs_type), prec, > +TYPE_SIGN (TREE_TYPE (ssa))); > + type_max = wide_int::f

Re: [PATCH] Fix mklog to support running from arbitrary folder

2014-07-31 Thread Yury Gribov
On 07/31/2014 09:57 PM, Diego Novillo wrote: Current mklog works only if run from GCC top-level folder. The patch allows running from arbitrary directory. I've used Linux directory separators which is probably ok because script already expects Linux environment (dirname, basename, etc.). Ok to

Re: [PATCH] Keep patch file permissions in mklog

2014-07-31 Thread Yury Gribov
Cc Diego. --- From: Tom de Vries Sent: Saturday, May 31, 2014 11:47AM To: Geoff Keating Cc: GCC Patches Subject: [PATCH] Keep patch file permissions in mklog On 05/31/2014 11:47 AM, Tom de Vries wrote: Geoff, Currently, mklog resets the permission

Re: [PATCH] PowerPC: Implement TARGET_ATOMIC_ASSIGN_EXPAND_FENV

2014-07-31 Thread David Edelsohn
Thanks for implementing the FENV support. The patch generally looks good to me. My one concern is a detail in the implementation of "update". I do not have enough experience with GENERIC to verify the details and it seems like it is missing building an outer COMPOUND_EXPR containing update_mffs a

Re: [PATCH] gcc/gcc.c: XNEWVEC enough space for 'saved_suffix' using

2014-07-31 Thread Chen Gang
On 08/01/2014 10:14 AM, Mike Stump wrote: > On Jul 31, 2014, at 6:37 PM, Chen Gang wrote: >> Thank you very much for your work. Especially give a complete sample for >> the whole working flow, which I shall follow. >> >> For me, if no related documents for it, I recommend to put a complete >> sa

Re: [PATCH 5/5] add libcc1

2014-07-31 Thread Trevor Saunders
On Thu, Jul 31, 2014 at 01:51:45PM -0600, Tom Tromey wrote: > > "Trevor" == Trevor Saunders writes: > > Trevor> the plugin part seems fine, but I do find my self wondering if > there's a > Trevor> better way of doing the hooks into C, if they can be more genrally > Trevor> useful. > > There

Re: [PATCH] gcc/gcc.c: XNEWVEC enough space for 'saved_suffix' using

2014-07-31 Thread Mike Stump
On Jul 31, 2014, at 6:37 PM, Chen Gang wrote: > Thank you very much for your work. Especially give a complete sample for > the whole working flow, which I shall follow. > > For me, if no related documents for it, I recommend to put a complete > sample (e.g. this one) to a related document which c

Re: [PATCH] gcc/gcc.c: XNEWVEC enough space for 'saved_suffix' using

2014-07-31 Thread Chen Gang
Thank you very much for your work. Especially give a complete sample for the whole working flow, which I shall follow. For me, if no related documents for it, I recommend to put a complete sample (e.g. this one) to a related document which can be referenced by other newbies. By the way, with your

Re: [RFC, PATCH 3/n] IPA C++ refactoring

2014-07-31 Thread Trevor Saunders
> +++ b/gcc/cgraph.h > @@ -27,6 +27,7 @@ along with GCC; see the file COPYING3. If not see > #include "basic-block.h" > #include "function.h" > #include "ipa-ref.h" > +#include "indexed-set.h" you don't actually use that here so why are you including it? > +++ b/gcc/cgraphunit.c > @@ -211,11

Re: [PATCH][AArch64][tests]Skip graphite tests that don't fit -mcmodel=tiny

2014-07-31 Thread Mike Stump
On Jul 31, 2014, at 3:55 PM, Ramana Radhakrishnan wrote: > However if we have a situation where a port tries to ameliorate some > of these errors with linker veneering and the compiler testsuite peels > off such error messages and just marks them as UNSUPPORTED instead of > getting a failure, is

Re: [PATCH][AArch64][tests]Skip graphite tests that don't fit -mcmodel=tiny

2014-07-31 Thread Ramana Radhakrishnan
On Wed, Jul 30, 2014 at 10:35 PM, Mike Stump wrote: > On Jul 22, 2014, at 12:14 PM, Mike Stump wrote: >> On Jul 22, 2014, at 4:01 AM, Kyrill Tkachov wrote: >>> These tests use very large arrays as part of their loop interchange testing >>> so they don't fit into the 1MiB binary size limit impos

Re: [PATCH 1/3, Cilk+] Fix for PR61455

2014-07-31 Thread Jeff Law
On 07/31/14 13:21, Zamyatin, Igor wrote: Ping -Original Message- From: Zamyatin, Igor Sent: Saturday, July 12, 2014 1:52 PM To: GCC Patches (gcc-patches@gcc.gnu.org) Subject: [PATCH 1/3, Cilk+] Fix for PR61455 Hi! This simple change fixes the issue with printing of error message (happ

Re: [PATCH][testsuite] Don't run cproj-fails-with-broken-glibc.c for broken glibc

2014-07-31 Thread Jeff Law
On 07/31/14 13:20, Tom de Vries wrote: Rainer, The test-case cproj-fails-with-broken-glibc.c does not work with broken glibcs, as the header comment mentions: ... Check the runtime behavior of the C library's cproj() function and whether it follows the standard. Versions of GLIBC throug

Re: [PATCH] gcc/gcc.c: XNEWVEC enough space for 'saved_suffix' using

2014-07-31 Thread Jeff Law
On 07/24/14 09:31, Chen Gang wrote: strlen() will get string length excluding '\0', but strcpy() will append '\0' in the end, so need XNEWVEC additional byte, or cause memory over flow. Signed-off-by: Chen Gang --- gcc/gcc.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a

Re: [PATCH, Cilk+] Fix for PR61963

2014-07-31 Thread Jeff Law
On 07/31/14 13:51, Zamyatin, Igor wrote: Hi! This patch fixes the ICE on invalid code by adding missed check for error_mark_node. Regtested on x86_64. Ok for trunk/4.9? Thanks, Igor Changelog: gcc/cp: 2014-07-31 Igor Zamyatin PR other/61963 * parser.c (cp_parser_array_n

Re: [PATCH, Cilk+] Fix for PR61962

2014-07-31 Thread Jeff Law
On 07/31/14 13:51, Zamyatin, Igor wrote: Hi! This patch fixes endless compilation for the case of array notation for an array which is a structure member Ok for trunk/4.9 once testing finished? Thanks, Igor Changelog: gcc/c-family: 2014-07-31 Igor Zamyatin PR other/61962

[wwwdocs][committed] Update SH section in readings

2014-07-31 Thread Oleg Endo
Hello, The references to SuperH Inc are outdated. The link now leads to a funny place. I've replaced it with something more relevant. Cheers, Oleg Index: htdocs/readings.html === RCS file: /cvs/gcc/wwwdocs/htdocs/readings.html,v re

Re: [Patch] Not very subtle fix for pr61510

2014-07-31 Thread Jan Hubicka
> > On Mon, Jun 23, 2014 at 06:43:20PM +0100, Jan Hubicka wrote: > > > On Mon, 23 Jun 2014, James Greenhalgh wrote: > > > > > > > > > > > Hi, > > > > > > > > pr61510 is a case where cgraphunit.c::analyze_functions can end up > > > > dereferencing a NULL pointer. This is, to me, the obvious way to

Re: [RFC, PATCH 3/n] IPA C++ refactoring

2014-07-31 Thread Jan Hubicka
> Hello, >in the following patch, I would like to introduce a new template class > (indexed_set) that can replace many cgraph_node_set and varpool_node_set > related functions. > > Bootstrapped on x86_64-pc-linux-gnu, no regression observed. > > Thank you, > Martin > 2014-07-31 Martin Lis

[RFC, PATCH 3/n] IPA C++ refactoring

2014-07-31 Thread Martin Liška
Hello, in the following patch, I would like to introduce a new template class (indexed_set) that can replace many cgraph_node_set and varpool_node_set related functions. Bootstrapped on x86_64-pc-linux-gnu, no regression observed. Thank you, Martin 2014-07-31 Martin Liska * cgrap

Re: [SH][committed] Fix PR 61844

2014-07-31 Thread Oleg Endo
On Thu, 2014-07-31 at 18:34 +0200, Oleg Endo wrote: > Hello, > > Attached patch fixes sh64 build issues and was committed as r213381 to > trunk. Tested by building an sh64-elf newlib cross compiler for C and > C++. Non-sh64 sh-elf should not be affected by the patch, since > ALLOW_INDEXED_ADDRES

Re: [PATCH 5/5] add libcc1

2014-07-31 Thread Mike Stump
On Jul 30, 2014, at 9:47 PM, Jeff Law wrote: > So my biggest concern here is long term maintenance -- who's going to own > care and feeding of these bits over time. > > My inclination is to go ahead and approve, but explicitly note that if the > bits do start to rot that we'll be fairly aggress

[PATCH, libfortran] Backport xmallocarray to 4.8/4.9 (CVE-2014-5044)

2014-07-31 Thread Janne Blomqvist
Hi, a while ago I committed a patch to trunk adding a function xmallocarray to libgfortran, which is a malloc wrapper like xmalloc but has two arguments and does an overflow check before multiplying them together. https://gcc.gnu.org/viewcvs/gcc?limit_changes=0&view=revision&revision=211721 Orig

[PATCH][1-3] New configure options that make the compiler use -fPIE and -pie as default option

2014-07-31 Thread Magnus Granberg
Hi This patchset will add a new configure options --enable-default-pie. With the new option enable will make it pass -fPIE and -pie from the gcc and g++ frontend. Have only add the support for two targets but should work on more targes. In configure.ac we add the new option. We can't compile the

[PATCH, Cilk+] Fix for PR61963

2014-07-31 Thread Zamyatin, Igor
Hi! This patch fixes the ICE on invalid code by adding missed check for error_mark_node. Regtested on x86_64. Ok for trunk/4.9? Thanks, Igor Changelog: gcc/cp: 2014-07-31 Igor Zamyatin PR other/61963 * parser.c (cp_parser_array_notation): Added check for array_type. gc

[PATCH, Cilk+] Fix for PR61962

2014-07-31 Thread Zamyatin, Igor
Hi! This patch fixes endless compilation for the case of array notation for an array which is a structure member Ok for trunk/4.9 once testing finished? Thanks, Igor Changelog: gcc/c-family: 2014-07-31 Igor Zamyatin PR other/61962 * array-notation-common.c (find_rank): A

Re: [PATCH 5/5] add libcc1

2014-07-31 Thread Tom Tromey
> "Trevor" == Trevor Saunders writes: Trevor> the plugin part seems fine, but I do find my self wondering if there's a Trevor> better way of doing the hooks into C, if they can be more genrally Trevor> useful. There's just one now, the binding oracle. (There used to be two but we reimplement

Re: [PATCH 5/5] add libcc1

2014-07-31 Thread Trevor Saunders
On Thu, Jul 31, 2014 at 01:12:54PM -0600, Tom Tromey wrote: > Richard> Can you briefly elaborate on how this relates to the JIT work from > Richard> David Malcom? > > I think Trevor answered this bit well but I had a bit more to add... > > Richard> Just throwing in my mental notes from the Summit

RE: [PATCH 1/3, Cilk+] Fix for PR61455

2014-07-31 Thread Zamyatin, Igor
Ping > -Original Message- > From: Zamyatin, Igor > Sent: Saturday, July 12, 2014 1:52 PM > To: GCC Patches (gcc-patches@gcc.gnu.org) > Subject: [PATCH 1/3, Cilk+] Fix for PR61455 > > Hi! > > This simple change fixes the issue with printing of error message (happened > in unprintable_erro

[PATCH][testsuite] Don't run cproj-fails-with-broken-glibc.c for broken glibc

2014-07-31 Thread Tom de Vries
Rainer, The test-case cproj-fails-with-broken-glibc.c does not work with broken glibcs, as the header comment mentions: ... Check the runtime behavior of the C library's cproj() function and whether it follows the standard. Versions of GLIBC through 2.11.1 had an incorrect implementat

Re: [PATCH 5/5] add libcc1

2014-07-31 Thread Jakub Jelinek
On Thu, Jul 31, 2014 at 01:12:54PM -0600, Tom Tromey wrote: > Richard> [ideally both frontends and targets would be shared objects, but of > Richard> course even frontends have target dependencies pulled in via > Richard> target macros at the moment...] > > We actually started development with thi

Re: [PATCH 5/5] add libcc1

2014-07-31 Thread Tom Tromey
Richard> Can you briefly elaborate on how this relates to the JIT work from Richard> David Malcom? I think Trevor answered this bit well but I had a bit more to add... Richard> Just throwing in my mental notes from the Summit here. I really Richard> wonder how libcc1 falls in into this picture a

[PATCH][committed] Remove superfluous declaration in testcase

2014-07-31 Thread Tom de Vries
Hi, This patch removes a superfluous declaration in a test-case. Committed to trunk. Thanks, - Tom 2014-07-31 Tom de Vries * gcc.dg/pr51879-7.c: Remove superfluous declaration of bar. diff --git a/gcc/testsuite/gcc.dg/pr51879-7.c b/gcc/testsuite/gcc.dg/pr51879-7.c index 6c1d320..8a699a1 1

Re: [Patch] Not very subtle fix for pr61510

2014-07-31 Thread James Greenhalgh
On Mon, Jun 23, 2014 at 06:43:20PM +0100, Jan Hubicka wrote: > > On Mon, 23 Jun 2014, James Greenhalgh wrote: > > > > > > > > Hi, > > > > > > pr61510 is a case where cgraphunit.c::analyze_functions can end up > > > dereferencing a NULL pointer. This is, to me, the obvious way to avoid > > > derefe

RE: [RFC: Patch, PR 60102] [4.9/4.10 Regression] powerpc fp-bit ices@dwf_regno

2014-07-31 Thread rohitarul...@freescale.com
Ulrich, Thanks for your comments, I have updated the patch accordingly. > > /* The SPE has an additional 32 synthetic registers, with DWARF debug > > info numbering for these registers starting at 1200. While > > eh_frame @@ -951,13 +952,14 @@ enum data_align { align_abi, align_opt, > >

Re: [PATCH] Fix mklog to support running from arbitrary folder

2014-07-31 Thread Diego Novillo
On Mon, Jul 21, 2014 at 4:32 AM, Yury Gribov wrote: > Hi all, > > Current mklog works only if run from GCC top-level folder. The patch allows > running from arbitrary directory. > > I've used Linux directory separators which is probably ok because script > already expects Linux environment (dirnam

[C++ Patch] DR 217 follow up (and more)

2014-07-31 Thread Paolo Carlini
Hi, today I noticed that when we implemented the resolution we failed to handle static member functions. The below tested x86_64-linux. While working on this I noticed that we don't use the DECL_NONSTATIC_MEMBER_FUNCTION_P macro much, should we apply something like the attached? Finally, i

Re: [AArch64] arm_neon.h - add vpaddd_f64, vpaddd_s64, vpaddd_u64 intrinsics

2014-07-31 Thread Marcus Shawcroft
On 31 July 2014 17:12, James Greenhalgh wrote: > --- > gcc/ > > 2014-07-31 James Greenhalgh > > * config/aarch64/arm_neon.h (vpadd_<8,16,32,64>): Move to > correct alphabetical position. > (vpaddd_f64): Rewrite using builtins. > (vpaddd_s64): Move to correct alp

[SH][committed] Fix PR 61844

2014-07-31 Thread Oleg Endo
Hello, Attached patch fixes sh64 build issues and was committed as r213381 to trunk. Tested by building an sh64-elf newlib cross compiler for C and C++. Non-sh64 sh-elf should not be affected by the patch, since ALLOW_INDEXED_ADDRESS is always 'true' on sh-elf. Thus, tested only with 'make all'

Re: [PATCH, rs6000] Use new __builtin_pack_longdouble within libgcc's ibm-ldouble.c

2014-07-31 Thread Peter Bergner
On Tue, 2014-07-29 at 10:11 -0700, Mike Stump wrote: > On Jul 29, 2014, at 7:56 AM, Peter Bergner wrote: > > Currently, the IBM long double routines in libgcc use a union to construct > > a long double from two double values. This causes horrific code generation > > that copies the two double fro

Re: [PATCH, rs6000] Use new __builtin_pack_longdouble within libgcc's ibm-ldouble.c

2014-07-31 Thread Peter Bergner
On Wed, 2014-07-30 at 22:13 -0400, David Edelsohn wrote: > On Tue, Jul 29, 2014 at 10:56 AM, Peter Bergner wrote: > > libgcc/ > > * config/rs6000/ibm-ldouble.c (typedef union longDblUnion): Delete. > > (pack_ldouble): New function. > > (__gcc_qadd): Use it. > > (__g

[AArch64] arm_neon.h - add vpaddd_f64, vpaddd_s64, vpaddd_u64 intrinsics

2014-07-31 Thread James Greenhalgh
Hi, This patch adds intrinsics for scalar pairwise addition operations. The patch only touches arm_neon.h, so tested using aarch64.exp, simd.exp and an internal testsuite on aarch64-none-elf and aarch64_be-none-elf with no issues. OK? Cheers, James --- gcc/ 2014-07-31 James Greenhalgh

Re: [Ada] Remove VMS specific files

2014-07-31 Thread Robert Dewar
There's a user's group that works with VMS engineering that wants to keep using the "C" compiler, so let's keep the config files and non-Ada specific "C" files. Tristan and I will stay on as maintainers of the cross port for now. Why should we continue to maintain these?

Re: [Ada] Remove VMS specific files

2014-07-31 Thread Douglas B Rupp
On 07/31/2014 08:08 AM, Joseph S. Myers wrote: On Thu, 31 Jul 2014, Arnaud Charlet wrote: This is part of the Ada front-end clean ups related to the removal of VMS support. More changes to come. Will those include obsoletion of the VMS ports (and with them, associated code such as vmsdbgout.c

Re: [Ada] Remove VMS specific files

2014-07-31 Thread Joseph S. Myers
On Thu, 31 Jul 2014, Arnaud Charlet wrote: > This is part of the Ada front-end clean ups related to the removal of VMS > support. More changes to come. Will those include obsoletion of the VMS ports (and with them, associated code such as vmsdbgout.c) for GCC as a whole? I don't know if anyone

Re: [PATCH 5/5] add libcc1

2014-07-31 Thread Joseph S. Myers
On Thu, 31 Jul 2014, Richard Biener wrote: > Actually after looking again I was wrong. main.c and toplev.c > are the "driver". So if we can make all frontends shared objects > with their only interface being their lang_hooks that would be nice > (of course the middle-end still needs to make gazi

Re: [Patch, avr] Add device name to cpp_builtins

2014-07-31 Thread Denis Chertykov
2014-07-30 11:19 GMT+04:00 Senthil Kumar Selvaraj : > On Mon, Jul 28, 2014 at 08:09:28PM +0200, Georg-Johann Lay wrote: >> Senthil Kumar Selvaraj schrieb: >> >The below patch adds a new preprocessor define for the device name >> >(__AVR_DEVICE_NAME__) that was passed to the compiler. >> > >> >While

Re: [PATCH, ARM] Fix PR61948 (ICE with DImode shift by 1 bit)

2014-07-31 Thread Charles Baylis
On 30 July 2014 11:48, Richard Earnshaw wrote: >> gcc/ChangeLog: >> 2014-07-29 Charles Baylis >> >> PR target/61948 >> * config/arm/neon.md (ashldi3_neon): Don't emit arm_ashldi3_1bit unless >> constraints are satisfied. >> (di3_neon): Likewise. >> > > This is OK, but... >> >> g

[PATCH] Fix PR61964

2014-07-31 Thread Richard Biener
This fixes PR61964, we have to rely on structural equality when determining equivalency of non-register LHS. Bootstrapped and tested on x86_64-unknown-linux-gnu, applied. Richard. 2014-07-31 Richard Biener PR tree-optimization/61964 * tree-ssa-tail-merge.c (gimple_equal_p):

[Ada] Remove VMS specific files

2014-07-31 Thread Arnaud Charlet
This is part of the Ada front-end clean ups related to the removal of VMS support. More changes to come. Note: I've removed the boring deletions from the diff. Tested on x86_64-pc-linux-gnu, committed on trunk 2014-07-31 Arnaud Charlet * s-auxdec-vms-ia64.adb, s-parame-vms-alpha.ads,

Re: [AArch64_be] Don't fold reduction intrinsics.

2014-07-31 Thread Marcus Shawcroft
On 30 July 2014 11:19, James Greenhalgh wrote: > 2014-07-28 James Greenhalgh > > * config/aarch64/aarch64-builtins.c > (aarch64_gimple_fold_builtin): Don't fold reduction operations for > BYTES_BIG_ENDIAN. OK /Marcus

Re: [PATCH][PING] Add support for KernelAddressSanitizer

2014-07-31 Thread Yury Gribov
On 07/31/2014 08:49 AM, Jeff Law wrote: This is fine. Thanks, Commited in r213367.

Re: [AArch64_be] Fix vec_select hi/lo mask confusions.

2014-07-31 Thread Marcus Shawcroft
On 30 July 2014 11:10, James Greenhalgh wrote: > 2014-07-30 James Greenhalgh > > * config/aarch64/aarch64.c (aarch64_simd_vect_par_cnst_half): Vary > the generated mask based on BYTES_BIG_ENDIAN. > (aarch64_simd_check_vect_par_cnst_half): New. > * config/aarch64

[Ada] Remove -gnatdm flag

2014-07-31 Thread Arnaud Charlet
As a first step in removing specific support for the no-longer supported VMS port of GNAT, this patch removes the -gnatdm flag which allowed testing of VMS-specific tests on non-VMS platforms. The test suite has been adjusted appropriately, no additional test is required. Tested on x86_64-pc-linux

[Ada] Add support for files > 2Gb on 32bit platforms.

2014-07-31 Thread Arnaud Charlet
This patch set adds support for file larger than 2Gb on 32bit platforms. The main visible change is that Stream_Element_Offset is now a 64bit type on all platforms. The other changes are internal only. Tested on x86_64-pc-linux-gnu, committed on trunk 2014-07-31 Pascal Obry * a-stream

Re: Patch for constexpr variable templates

2014-07-31 Thread Jason Merrill
On 07/30/2014 05:33 PM, Braden Obrzut wrote: On 07/30/2014 04:44 PM, Jason Merrill wrote: Why not do this in cp_parser_id_expression? I did mention this in the original mail, is this definitely the way it should be done? In the original mail you mentioned doing it in cp_parser_template_id;

[Ada] SPARK property "effectively volatile" and its effects

2014-07-31 Thread Arnaud Charlet
This patch implements SPARK property "effectively volatile" which states: In SPARK 2014, the terms volatile type and volatile object are defined as per Ada RM C.6(8/3). An effectively volatile type is a volatile type or an array type to which the Volatile_Components aspect has been applie

[Ada] Avoid unwanted overflow checks on unconstraint float operations

2014-07-31 Thread Arnaud Charlet
For operations on unconstrained floating-point values, we do not want overflow checks (since we expect to generate and handle IEEE INF and NaN values). This corrects a problem where such checks were being set if integer overflow was enabled. The following test when executed: 1. with Ada.Float

Re: [PATCH, i386] Handle extended family cpuid info for AMD

2014-07-31 Thread Uros Bizjak
On Thu, Jul 31, 2014 at 1:54 PM, Gopalasubramanian, Ganesh wrote: >> Then just use: > >> + else if (has_avx2) >> +processor = PROCESSOR_BDVER4; >> else if (has_movbe) >>processor = PROCESSOR_BTVER2; >>- else if (has_avx2) >>-processor = PROCESSOR_BDVER4; >>

[Ada] Avoid random warnings treated as errors

2014-07-31 Thread Arnaud Charlet
There may be cases when warnings in the Project Manager are treated as errors, even when the switch -we is not used. There is no test, as the occurences of such errors are random (unitialized component of a record). Tested on x86_64-pc-linux-gnu, committed on trunk 2014-07-31 Vincent Celier

[Ada] Legality checks on indexing aspects

2014-07-31 Thread Arnaud Charlet
This patch implements the legality rules given in RM 4.1.6 on user-defined indexing, most importantly the rule that the aspects cannot be specified for a derived type if the parent type has such defined or inherited aspects. Several reports include this illegal usage, which appears to be an intui

[PATCH][match-and-simplify] Fix match.pd dependencies

2014-07-31 Thread Richard Biener
Committed. Richard. 2014-07-31 Richard Biener * Makefile.in (s-match): Fix dependencies. Index: Makefile.in === --- Makefile.in (revision 213121) +++ Makefile.in (working copy) @@ -2236,7 +2236,7 @@ s-tm-texi: build/gen

[PING][PATCHv3] Fix vector tests on ARM platforms with disabled unaligned accesses

2014-07-31 Thread Marat Zakirov
On 07/24/2014 07:40 PM, Marat Zakirov wrote: On 07/24/2014 04:27 PM, Marat Zakirov wrote: On 07/23/2014 06:23 PM, Marat Zakirov wrote: Hi there! I made a patch which fixes regressions on ARM platforms with disabled unaligned accesses. The problem is that 'arm_vect_no_misalign' predicate d

[PATCH] Fix PR61950

2014-07-31 Thread Richard Biener
The following fixes PR61950 by properly initializing the _size field of the static constructor for the vtable init member. Previously gfortran would use a 64bit integer to initialize the 32bit size field (not sure why larger aggregates are not considered). This breaks more sophisticated constant

RE: [PATCH, i386] Handle extended family cpuid info for AMD

2014-07-31 Thread Gopalasubramanian, Ganesh
> Then just use: > + else if (has_avx2) > +processor = PROCESSOR_BDVER4; > else if (has_movbe) >processor = PROCESSOR_BTVER2; >- else if (has_avx2) >-processor = PROCESSOR_BDVER4; > else if (has_xsaveopt) In that case, with earlier GCC versions where w

Re: [PATCH, i386] Handle extended family cpuid info for AMD

2014-07-31 Thread Uros Bizjak
On Thu, Jul 31, 2014 at 1:46 PM, Gopalasubramanian, Ganesh wrote: >> But, looking to processor_alias_table in config/i386/i386.c, only >> PROCESSOR_BTVER2 defines PTA_MOVBE. According to this, the logic is already >> correct, so the patch is not needed. > > We are evaluating bdver4 cpu. Bdver4 al

RE: [PATCH, i386] Handle extended family cpuid info for AMD

2014-07-31 Thread Gopalasubramanian, Ganesh
> But, looking to processor_alias_table in config/i386/i386.c, only > PROCESSOR_BTVER2 defines PTA_MOVBE. According to this, the logic is already > correct, so the patch is not needed. We are evaluating bdver4 cpu. Bdver4 also supports MOVBE. I will submit patch for bdver4 PTA after our evaluati

Re: [PATCH, i386] Handle extended family cpuid info for AMD

2014-07-31 Thread Uros Bizjak
On Thu, Jul 31, 2014 at 1:28 PM, Gopalasubramanian, Ganesh wrote: > The below patch handles the AMD's cpuid family information. > With the information from cpuid, BTVER2 cpu for -march=native flag is handled. But, looking to processor_alias_table in config/i386/i386.c, only PROCESSOR_BTVER2 defi

[PATCH, i386] Handle extended family cpuid info for AMD

2014-07-31 Thread Gopalasubramanian, Ganesh
Hi, The below patch handles the AMD's cpuid family information. With the information from cpuid, BTVER2 cpu for -march=native flag is handled. Bootstrap passes. Is it OK for trunk and branches? Regards Ganesh diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 6223bd6..3f8bb2c 100644 --- a/gcc/Ch

Re: [PATCH 5/5] add libcc1

2014-07-31 Thread Richard Biener
On Thu, Jul 31, 2014 at 12:44 PM, Trevor Saunders wrote: > On Thu, Jul 31, 2014 at 10:01:15AM +0200, Richard Biener wrote: >> On Thu, Jul 31, 2014 at 6:47 AM, Jeff Law wrote: >> > On 06/19/14 14:52, Tom Tromey wrote: >> >> >> >> Tom> I've edited this one down by removing the auto-generated stuff

Re: [PATCH] [ARM] [RFC] Fix longstanding push_minipool_fix ICE (PR49423, lp1296601)

2014-07-31 Thread Ramana Radhakrishnan
On 31/07/14 11:53, Christophe Lyon wrote: On 5 July 2014 16:12, Charles Baylis wrote: On 3 July 2014 15:26, Richard Earnshaw wrote: So OK, but if you're considering back-ports, I suggest you let it bake a while on trunk first. Committed as r212303. It was a few weeks ago now, so is it

Re: [PATCH] [ARM] [RFC] Fix longstanding push_minipool_fix ICE (PR49423, lp1296601)

2014-07-31 Thread Christophe Lyon
On 5 July 2014 16:12, Charles Baylis wrote: > On 3 July 2014 15:26, Richard Earnshaw wrote: > >> So OK, but if you're considering back-ports, I suggest you let it bake a >> while on trunk first. > > Committed as r212303. It was a few weeks ago now, so is it OK to backport this to 4.8 and 4.9 bra

Re: [PATCH 5/5] add libcc1

2014-07-31 Thread Trevor Saunders
On Thu, Jul 31, 2014 at 10:01:15AM +0200, Richard Biener wrote: > On Thu, Jul 31, 2014 at 6:47 AM, Jeff Law wrote: > > On 06/19/14 14:52, Tom Tromey wrote: > >> > >> Tom> I've edited this one down by removing the auto-generated stuff , and > >> Tom> then compressed it. > >> > >> Here's a new versi

[Ada] Warnings on non-static components of protected types

2014-07-31 Thread Arnaud Charlet
This patch improves the warnings on component of protected types when compiled under restriction No_Heap_allocations. The patch distinguishes betwen: a) components whose size depends on discriminants, in which case an object of the type will not violate restriction if the discriminants have stati

[Ada] Crash on illegal discrete range

2014-07-31 Thread Arnaud Charlet
With this patch the compiler rejects properly a discrete range in a loop specification that uses 'length by mistake. Compiler lab4.adb must yield: lab4.adb:13:23: expect attribute "range" --- package body lab4 is procedure createArray (myArr : in out dynArray; maxIndex : Integer) is

[PATCH][LTO] Remove set-but-unused fields

2014-07-31 Thread Richard Biener
Bootstrapped on x86_64-unknown-linux-gnu, applied. Richard. 2014-07-31 Richard Biener * lto-streamer.h (struct output_block): Remove global. (struct data_in): Remove labels, num_named_labels and num_unnamed_labels. * lto-streamer-in.c (lto_data_in_delete): Do

Re: [PATCH, Pointer Bounds Checker 27/x] Strlen

2014-07-31 Thread Ilya Enkovich
2014-06-11 12:22 GMT+04:00 Jakub Jelinek : > On Wed, Jun 11, 2014 at 12:14:14PM +0400, Ilya Enkovich wrote: >> This patch adds instrumented code support for strlen optimization. >> >> Bootstrapped and tested on linux-x86_64. >> >> Does it look OK? > > Ugh, this looks terribly ugly. So you are chan

[Ada] Handle =>+ notation for Depends pragma/aspect

2014-07-31 Thread Arnaud Charlet
The Depends pragma/aspect uses + in a non-standard manner, which requires new handling for the -gnatyt token check, as shown by this test, compiled with -gnatl -gnatyt 1. package DependsStyle is 2.procedure P1 3. (A : in out Integer; B : Integer) 4. with Depends =

[Ada] Interplay between limited with clauses, abstract states and refinement

2014-07-31 Thread Arnaud Charlet
This patch corrects the mechanism which handles limited with clauses to semi- declare abstract states (the states are fully declared when Abstract_States is analyzed). The end result is that multiple limited with clauses now reference one unique entity which denotes the state. -- Sour

[Ada] More precise setting of Do_Overflow_Check flag for division

2014-07-31 Thread Arnaud Charlet
The Do_Overflow_Check flag was being set on division operators in many cases where it was not needed. Now the flag will be set only if there is a possibility of the (largest neg number) / (-1) case and this only if code is not being generated (-gnatc mode), since if code is generated, the check is

[Ada] Crash on complex conditional involving a packed array indexing

2014-07-31 Thread Arnaud Charlet
This patch updates the freezing of expressions to account for a case when the freezing expression is part of the Actions list of a N_Expression_With_Actions node. In this case, any freeze nodes must remain in the Actions list. -- Source -- -- use_before_decl.adb with A

[Ada] Do not fail program when runtime dir cannot be found

2014-07-31 Thread Arnaud Charlet
When a runtime specified as a relative or full path in package Builder of the main project, instead of failing the program immediately, the Project Manager raises an exception. Tested on x86_64-pc-linux-gnu, committed on trunk 2014-07-31 Vincent Celier * prj-pars.adb, prj-conf.ads, pr

[Ada] Overflow checking is now on by default

2014-07-31 Thread Arnaud Charlet
All previous versions of GNAT have set overflow checking off by default (with -gnato switches to enable overflow checking). This update sets the default to checking on, and implements a new switch -gnato0 to turn overflow checking on. The old switch -gnato, which used to enable overflow checking ca

[Ada] Correct failure to detect Invariant'Class for untagged type

2014-07-31 Thread Arnaud Charlet
This fixes a problem with B test ND11001. There were actually three problems reported a) Bad use of Default_Component_Value, but this had already been previously fixed. b) Bad use of Invariant'Class, fixed as part of this patch c) Failure to detect bad aspect on null body. This was actually an i

Re: Patch for constexpr variable templates

2014-07-31 Thread Braden Obrzut
Here's an updated patch with cp_parser_id_expression instantiating the variable templates if this is indeed what we want to do. The previous implementation did seem to make the distinction between static template class member variables and variable templates a bit more obvious. See the first

[Ada] Excluded checked on unchecked unions

2014-07-31 Thread Arnaud Charlet
Checks that would read the value of a discriminant are suppressed on types that are unchecked unions. If such a record has components whose types have invariants, applying those checks would require determining the variant in which they reside, and this cannot be done on an unchecked union. THis pa

Re: [GSoC][match-and-simplify] split match.pd

2014-07-31 Thread Richard Biener
On Thu, Jul 31, 2014 at 10:51 AM, Marc Glisse wrote: > On Thu, 31 Jul 2014, Richard Biener wrote: > >>* match-bitwise.pd: New file, split out from match.pd. >>* match-plusminus.pd: Likewise. >>* match-constant-folding.pd: Likewise. >>* match-builtin.pd: Likewise. >>

RE: [PATCH] PR61868

2014-07-31 Thread Bingfeng Mei
Thanks, Jeff. Checked in. Bingfeng > -Original Message- > From: Jeff Law [mailto:l...@redhat.com] > Sent: 31 July 2014 04:43 > To: Bingfeng Mei; Richard Biener > Cc: Andi Kleen; gcc-patches@gcc.gnu.org > Subject: Re: [PATCH] PR61868 > > On 07/30/14 09:20, Bingfeng Mei wrote: > > Yes, th

Re: [GSoC][match-and-simplify] split match.pd

2014-07-31 Thread Marc Glisse
On Thu, 31 Jul 2014, Richard Biener wrote: * match-bitwise.pd: New file, split out from match.pd. * match-plusminus.pd: Likewise. * match-constant-folding.pd: Likewise. * match-builtin.pd: Likewise. * match-rotate.pd: Likewise. * match.pd: Move contend t

Re: [GSoC][match-and-simplify] split match.pd

2014-07-31 Thread Richard Biener
On Wed, Jul 30, 2014 at 7:54 PM, Prathamesh Kulkarni wrote: > I have split match.pd in this patch. > Not sure if I have written the ChangeLog correctly though... > > * match-bitwise.pd: New file. > * match-plusminus.pd: Likewise. > * match-constant-folding.pd: Likewise. > * match-builtin.pd: Likew

Re: [PATCH] Fix PR56426

2014-07-31 Thread Tom de Vries
On 25-02-13 20:53, Marek Polacek wrote: 2013-02-25 Marek Polacek PR tree-optimization/56426 * tree-ssa-loop.c (tree_ssa_loop_init): Always call scev_initialize. * gcc.dg/pr56436.c: New test. --- gcc/tree-ssa-loop.c.mp 2013-02-25 13:06:47.212132327 +0100

Re: [GSoC] type of an isl_ast_expr_id

2014-07-31 Thread Tobias Grosser
On 31/07/2014 08:19, Roman Gareev wrote: Could you please advise me how is it better to answer the following questions of Sven: In what way is it "not optimal"? That is, what are your optimality criteria? (I could answer them, but I don't want to miss anything) Don't worry. Just give it a s

Re: [PATCH 5/5] add libcc1

2014-07-31 Thread Richard Biener
On Thu, Jul 31, 2014 at 6:47 AM, Jeff Law wrote: > On 06/19/14 14:52, Tom Tromey wrote: >> >> Tom> I've edited this one down by removing the auto-generated stuff , and >> Tom> then compressed it. >> >> Here's a new version of patch #5. >> I've removed the generated code; let's see if it gets throu

[PATCH][LTO] Move and rename data streamer stuff

2014-07-31 Thread Richard Biener
This renames lto_output_data_stream to streamer_write_data_stream and moves it, together with lto_append_block, to data-streamer-out.[ch] where it belongs. Bootstrapped and tested on x86_64-unknown-linux-gnu, applied. Richard. 2014-07-31 Richard Biener * data-streamer.h (streamer_wr

[C PATCH] Implement -Wc90-c99-compat (PR c/51849)

2014-07-31 Thread Marek Polacek
One of the prerequisites to moving the default from gnu89 to gnu11 is that we need both -Wc90-c99-compat and -Wc99-c11-compat options. This patch implements the former. Its purpose is similar to -Wtraditional - that people who build code in C99/C11 mode can easily check whether the code uses somet

  1   2   >