[wwwdocs] Add gcc-5/{changes,criteria}.html

2014-07-30 Thread Tobias Burnus
This patch adds the files gcc-5/{changes,criteria}.html - and populates the former with Fortran changes; the latter is a copy of the GCC 4.9 file. Is the patch OK? Tobias gcc-5/changes.html | 60 + gcc-5/criteria.html | 144

Re: [wwwdocs] Add gcc-5/{changes,criteria}.html

2014-07-30 Thread Marek Polacek
On Wed, Jul 30, 2014 at 08:31:35AM +0200, Tobias Burnus wrote: This patch adds the files gcc-5/{changes,criteria}.html - and populates the former with Fortran changes; the latter is a copy of the GCC 4.9 file. Is the patch OK? Thanks for the patch! gcc-5/changes.html | 60

Re: [Ada] Out parameters of a null-excluding access type in entries.

2014-07-30 Thread Duncan Sands
Hi Arnaud, On 29/07/14 16:02, Arnaud Charlet wrote: If a procedure or entry has an formal out-parameter of a null-excluding access type, there is no check applied to the actual before the call. This patch removes a spurious access check on such parameters on entry calls. Compiling and

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

2014-07-30 Thread 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 the device name macro (say __AVR_ATmega128__) can be used to check

Re: [PATCH] PR61868

2014-07-30 Thread Richard Biener
On Tue, Jul 29, 2014 at 3:01 PM, Bingfeng Mei b...@broadcom.com wrote: Hi, Please find the patches for pr61868. The problem is that even with -frandom-seed gcc always uses 0 instead of specified number/string for places such as lto section names. init_random_seed is never called with

Re: [GSoC][match-and-simplify] include is-a.h

2014-07-30 Thread Richard Biener
On Tue, Jul 29, 2014 at 4:10 PM, Prathamesh Kulkarni bilbotheelffri...@gmail.com wrote: On Mon, Jul 28, 2014 at 7:30 PM, David Malcolm dmalc...@redhat.com wrote: On Mon, 2014-07-28 at 02:35 +0530, Prathamesh Kulkarni wrote: - if (o-type == operand::OP_CAPTURE) + if (is_acapture * (o))

Re: [PATCH] LTO streamer reorg - try to reduce WPA memory use

2014-07-30 Thread Jan Hubicka
Updated patch passing LTO bootstrap (one warning fix) and with a memory leak fixed. Testing with Firefox is impossible at the moment because of PR61885. One thing I've noticed (before the ICE) is that virtual memory usage is very high: AddressKbytes RSSDirty Mode

Add debug output to speculative polymorphic contextes, testcase and fix an ICE

2014-07-30 Thread Jan Hubicka
Hi, this patch adds testcase, renames nonconstruction_targets to the new meaning and adds debug info. I also noticed that hunk from possible_polymorphic_call_targets got lost from previous patch, so I re-added it. It actually adds the logic using the speculation. This should also fixes ICE seen

Re: [GSoC] type of an isl_ast_expr_id

2014-07-30 Thread Roman Gareev
Blindly converting type sizes is not a good idea and may be problematic when we switch to smaller types. As we can obviously only improve this when we have the appropriate support in isl, I think the attached patch is fine. However, please add a fixme that states that this should be looked at

Re: [PATCH] Further cleanup loop-distribution

2014-07-30 Thread Richard Biener
On Tue, Jul 29, 2014 at 9:46 PM, Mike Stump mikest...@comcast.net wrote: On Sep 12, 2013, at 1:47 AM, Richard Biener rguent...@suse.de wrote: ! #if 0 ! FILE *file = fopen (/tmp/rdg.dot, w); ! gcc_assert (file != NULL); ! dot_rdg_1 (file, rdg); ! fclose (file); ! ! system (dotty

Re: [PATCH] Making it easier to set breakpoints in gdb on pass-execute methods

2014-07-30 Thread Richard Biener
On Tue, Jul 29, 2014 at 10:44 PM, David Malcolm dmalc...@redhat.com wrote: A complaint I heard at Cauldron with the C++ification of GCC passes is that it's become much more difficult to set breakpoints on the execute hooks of a pass, now that the passes are classes within anonymous namespaces.

Re: [patch] update for test ftrapv-1.c

2014-07-30 Thread Richard Biener
On Wed, Jul 30, 2014 at 7:31 AM, Doug Gilmore doug.gilm...@imgtec.com wrote: With r213117 we are seeing additional failures while testing a bare-iron build: FAIL: gcc.dg/torture/ftrapv-1.c -O0 (test for excess errors) ... This newly added test does a fork, though it has a guard to

Re: [PATCH] LTO streamer reorg - try to reduce WPA memory use

2014-07-30 Thread Richard Biener
On Wed, Jul 30, 2014 at 7:51 AM, Markus Trippelsdorf mar...@trippelsdorf.de wrote: On 2014.07.29 at 15:10 +0200, Richard Biener wrote: On Tue, 29 Jul 2014, Richard Biener wrote: This re-organizes the LTO streamer to do compression transparently in the data-streamer routines (and disables

Re: [GSoC] type of an isl_ast_expr_id

2014-07-30 Thread Tobias Grosser
On 30/07/2014 09:56, Roman Gareev wrote: Blindly converting type sizes is not a good idea and may be problematic when we switch to smaller types. As we can obviously only improve this when we have the appropriate support in isl, I think the attached patch is fine. However, please add a fixme

Re: [PATCH] LTO streamer reorg - try to reduce WPA memory use

2014-07-30 Thread Markus Trippelsdorf
On 2014.07.30 at 10:31 +0200, Richard Biener wrote: On Wed, Jul 30, 2014 at 7:51 AM, Markus Trippelsdorf mar...@trippelsdorf.de wrote: On 2014.07.29 at 15:10 +0200, Richard Biener wrote: On Tue, 29 Jul 2014, Richard Biener wrote: This re-organizes the LTO streamer to do compression

Re: [PATCH i386 AVX512] [1/n] Introduce `-mavx512dq' switch

2014-07-30 Thread Uros Bizjak
On Sun, Jul 27, 2014 at 2:50 PM, Kirill Yukhin kirill.yuk...@gmail.com wrote: With this patch we'd like to start merge process of avx-512vlbwdq branch into main trunk. This patch introduces new switch `-mavx512dq' Bootstrapped. Is it ok for trunk? *

RE: [PATCH] PR61868

2014-07-30 Thread Bingfeng Mei
Yes, opts-global.c fills flag_random_seed with string passed in command line. But init_random_seed in toplev.c is the one that processes the flag and set random_seed variable, which is returned by get_random_seed function. By default, my configuration enables LTO. How to test LTO bootstrap?

[PATCH][LTO] Do not use the data streamer when we are not using it

2014-07-30 Thread Richard Biener
The following patch avoids going though the data streamer when we only end up outputting raw data via lto_output_data_stream. The patch adds a simple lto_write_data which writes to the current section. symtab producing may want to use an obstack similar to lto-opts.c, but I didn't bother to

Re: [PATCH] LTO streamer reorg - try to reduce WPA memory use

2014-07-30 Thread Richard Biener
On Wed, 30 Jul 2014, Markus Trippelsdorf wrote: On 2014.07.30 at 10:31 +0200, Richard Biener wrote: On Wed, Jul 30, 2014 at 7:51 AM, Markus Trippelsdorf mar...@trippelsdorf.de wrote: On 2014.07.29 at 15:10 +0200, Richard Biener wrote: On Tue, 29 Jul 2014, Richard Biener wrote:

Re: [wwwdocs] Add gcc-5/{changes,criteria}.html

2014-07-30 Thread Richard Biener
On Wed, Jul 30, 2014 at 8:35 AM, Marek Polacek pola...@redhat.com wrote: On Wed, Jul 30, 2014 at 08:31:35AM +0200, Tobias Burnus wrote: This patch adds the files gcc-5/{changes,criteria}.html - and populates the former with Fortran changes; the latter is a copy of the GCC 4.9 file. Is the

Re: [PATCH] PR61868

2014-07-30 Thread Richard Biener
On Wed, Jul 30, 2014 at 10:52 AM, Bingfeng Mei b...@broadcom.com wrote: Yes, opts-global.c fills flag_random_seed with string passed in command line. But init_random_seed in toplev.c is the one that processes the flag and set random_seed variable, which is returned by get_random_seed

Re: [PATCH] Make sra_modify_assign's stmt prameter gimple (as opposed to gimple *)

2014-07-30 Thread Martin Jambor
Hi, On Fri, Jul 25, 2014 at 10:56:10AM -0700, Sebastian Pop wrote: On Fri, Jul 25, 2014 at 9:50 AM, Martin Jambor mjam...@suse.cz wrote: Hi, parameter stmt of sra_modify_assign and sra_modify_constructor_assign is currently gimple*, although there is no need for the extra level of

[Ada] Internal cleanup for Predicate_Tests_On_Arguments

2014-07-30 Thread Arnaud Charlet
Some additional cases of internal routines are now detected and skip predicate tests on arguments. Not clear if this fixes additional problems or not, but it is certainly a desirable change. No further test required. Tested on x86_64-pc-linux-gnu, committed on trunk 2014-07-30 Robert Dewar

[Ada] Inheritance of variables in extending projects

2014-07-30 Thread Arnaud Charlet
A variable V declared in a project A that is extended by a project B is now inherited in project B; it can be referenced as V in project B or as B.V in any other project that imports B. Tested on x86_64-pc-linux-gnu, committed on trunk 2014-07-30 Vincent Celier cel...@adacore.com *

[AArch64_be] Fix vec_select hi/lo mask confusions.

2014-07-30 Thread James Greenhalgh
Hi, A vec_select mask exists in GCC's world-view of lane ordering. The low-half of the vector { a, b, c, d } is { a, b }, which on big-endian will be in the high bits of the architectural register. On little-endian, these lanes will be in the low bits of the architectural register. We therefore

[AArch64_be] Don't fold reduction intrinsics.

2014-07-30 Thread James Greenhalgh
Hi, Reduction operations are defined in tree.def to return a vector of the same type, with the first element in the vector holding the result of the reduction of all elements of the operand. The content of the other elements in the returned vector is undefined. The reduction

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

2014-07-30 Thread Richard Biener
On Wed, Jul 30, 2014 at 12:10 PM, James Greenhalgh james.greenha...@arm.com wrote: Hi, A vec_select mask exists in GCC's world-view of lane ordering. The low-half of the vector { a, b, c, d } is { a, b }, which on big-endian will be in the high bits of the architectural register. On

[Ada] Improve run time performance for large array reset

2014-07-30 Thread Arnaud Charlet
This patch makes the compiler generate faster code to reset a large array of integers to 0 by means of an aggregate with a single Others choice and, more generally, to set a large array of storage units to a single value by the same means, for example: type Arr is array (1 .. 1) of Integer;

Re: [PATCH] add hash_set

2014-07-30 Thread Richard Biener
On Tue, Jul 29, 2014 at 2:50 PM, tsaund...@mozilla.com wrote: From: Trevor Saunders tsaund...@mozilla.com Hi, this adds a hash_set wrapper around hash_table, and then replaces usage of pointer_set with it. bootstrapped +regtested on x86_64-unknown-linux-gnu, ok? Ok. Thanks, Richard.

[Ada] New unit GNAT.Formatted_String providing C/C++ format string support

2014-07-30 Thread Arnaud Charlet
The following code: with Ada.Text_IO; use Ada.Text_IO; with GNAT.Formatted_String; use GNAT.Formatted_String; procedure Fout is F : Formatted_String := +%c %% %#08x; Vc : Character := 'v'; Vi : Integer := 12; begin F := F Vc Vi; Put_Line (-F); end

[Ada] Illegal external aspects not detected

2014-07-30 Thread Arnaud Charlet
This patch modifies the categorization of aspects Async_Readers, Async_Writers, Effective_Reads and Effective_Writes to no longer require delayed actions. This in turn ensures that the analysis of their aspect form correctly creates their pragma counterparts. -- Source --

[Ada] Add query function to distinguish code of inlining from instances

2014-07-30 Thread Arnaud Charlet
In GNATprove, we need to distinguish code form inlined subprograms and code from generic instances, based on their source locations, to have better messages. This new query does precisely this. Tested on x86_64-pc-linux-gnu, committed on trunk 2014-07-30 Yannick Moy m...@adacore.com *

[Ada] Front-end inlining in GNATprove mode

2014-07-30 Thread Arnaud Charlet
In GNATprove mode, all subprograms are candidates for front-end inlining, to simplify proofs. This patch extends this transformation to subprogam bodies that do not have a previous subprogram declaration. In this case the compiler builds a declaration, transfers aspects, if any, from body to

[Ada] SPARK 2014 aspects should not be delayed

2014-07-30 Thread Arnaud Charlet
This patch changes the categorization of SPARK 2014 aspects from delayed to non-delayed. These aspects are equivalent to source pragmas which appear after their related constructs. To deal with forward references, the generatd pragmas are stored in N_Contract nodes and later analyzed at the end of

Re: [PATCH] LTO streamer reorg - try to reduce WPA memory use

2014-07-30 Thread Richard Biener
On Wed, 30 Jul 2014, Richard Biener wrote: On Wed, Jul 30, 2014 at 7:51 AM, Markus Trippelsdorf mar...@trippelsdorf.de wrote: On 2014.07.29 at 15:10 +0200, Richard Biener wrote: On Tue, 29 Jul 2014, Richard Biener wrote: This re-organizes the LTO streamer to do compression

[Ada] Implement compilation date and time output and functions

2014-07-30 Thread Arnaud Charlet
This patch causes the compiler to print the compilation time in -gnatv or -gnatl mode (suppressible with debug flag -gnatd7). It also provides new functions in GNAT.Source_Info to obtain the compilation date and time (in a form compatible with the use of the C macros __DATE__ and __TIME__.

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

2014-07-30 Thread James Greenhalgh
On Wed, Jul 30, 2014 at 11:21:40AM +0100, Richard Biener wrote: On Wed, Jul 30, 2014 at 12:10 PM, James Greenhalgh james.greenha...@arm.com wrote: Hi, A vec_select mask exists in GCC's world-view of lane ordering. The low-half of the vector { a, b, c, d } is { a, b }, which on

[Ada] Forbid the use of in attribute 'Update

2014-07-30 Thread Arnaud Charlet
This patch implements the following SPARK 2014 rule: 4.4.1 (1) - The box symbol, , may not appear in any expression appearing in an update expression. The patch also cleans up the analysis of attribute 'Update. -- Source -- -- box_update.ads package Box_Update

RE: [PATCH] PR61868

2014-07-30 Thread Bingfeng Mei
It did take a lot of time, but passed the LTO bootstrap. Bingfeng -Original Message- From: Richard Biener [mailto:richard.guent...@gmail.com] Sent: 30 July 2014 10:43 To: Bingfeng Mei Cc: Andi Kleen; gcc-patches@gcc.gnu.org Subject: Re: [PATCH] PR61868 On Wed, Jul 30, 2014 at

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

2014-07-30 Thread Richard Earnshaw
On 29/07/14 20:53, Charles Baylis wrote: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61948 The lshrdi3_neon,ashrdi3_neon,ashldi3_neon patterns can call gen_arm_shiftdi3_1bit without checking that the register allocation constraints of the resulting insn are satisfied. This results in an

Re: [PATCH] LTO streamer reorg - try to reduce WPA memory use

2014-07-30 Thread Martin Liška
On 07/30/2014 11:41 AM, Richard Biener wrote: On Wed, 30 Jul 2014, Richard Biener wrote: On Wed, Jul 30, 2014 at 7:51 AM, Markus Trippelsdorf mar...@trippelsdorf.de wrote: On 2014.07.29 at 15:10 +0200, Richard Biener wrote: On Tue, 29 Jul 2014, Richard Biener wrote: This re-organizes the

[PATCH, DOC]: New value 'default' for --enable-languages

2014-07-30 Thread Martin Liška
Hello, as discussed in previous thread (https://gcc.gnu.org/ml/gcc-patches/2014-07/msg02010.html), I would like to add more intuitive behavior for --enable-languages configure option. Thank you, Martin 2014-07-30 Martin Liska mli...@suse.cz * configure: New value for configure

Re: [PATCH] LTO streamer reorg - try to reduce WPA memory use

2014-07-30 Thread Richard Biener
On Wed, Jul 30, 2014 at 1:14 PM, Martin Liška mli...@suse.cz wrote: On 07/30/2014 11:41 AM, Richard Biener wrote: On Wed, 30 Jul 2014, Richard Biener wrote: On Wed, Jul 30, 2014 at 7:51 AM, Markus Trippelsdorf mar...@trippelsdorf.de wrote: On 2014.07.29 at 15:10 +0200, Richard Biener

Re: [c++-concepts] Allow function parameters to be referenced in trailing requires clauses

2014-07-30 Thread Andrew Sutton
Applied an updated version of this patch. 2014-7-30 Braden Obrzut ad...@maniacsvault.net * gcc/cp/parser.c (cp_parser_trailing_requirements): Handle requires keyword manually so that we can push function parameters back into scope. * gcc/cp/decl.c

Re: Warn when returning the address of a temporary (middle-end) v2

2014-07-30 Thread Marc Glisse
On Tue, 29 Jul 2014, David Malcolm wrote: On Tue, 2014-07-29 at 19:36 +0200, Marc Glisse wrote: On Sun, 27 Jul 2014, Richard Sandiford wrote: Marc Glisse marc.gli...@inria.fr writes: Hello, I followed the advice in this discussion: https://gcc.gnu.org/ml/gcc-patches/2014-04/msg00269.html

Re: [PATCH] LTO streamer reorg - try to reduce WPA memory use

2014-07-30 Thread Martin Liška
On 07/30/2014 12:37 PM, Richard Biener wrote: On Wed, Jul 30, 2014 at 1:14 PM, Martin Liška mli...@suse.cz wrote: On 07/30/2014 11:41 AM, Richard Biener wrote: On Wed, 30 Jul 2014, Richard Biener wrote: On Wed, Jul 30, 2014 at 7:51 AM, Markus Trippelsdorf mar...@trippelsdorf.de wrote: On

Re: [GSoC] type of an isl_ast_expr_id

2014-07-30 Thread Roman Gareev
OK. I proposed a slightly longer description. With the updated description, you can commit this patch. I've fixed the fixme. FIXME: We should replace blind conversation of id's type with derivation of the optimal type when we get the corresponding isl support. Blindly converting type sizes may

Re: [GSoC] type of an isl_ast_expr_id

2014-07-30 Thread Tobias Grosser
On 30/07/2014 14:32, Roman Gareev wrote: OK. I proposed a slightly longer description. With the updated description, you can commit this patch. I've fixed the fixme. FIXME: We should replace blind conversation of id's type with derivation of the optimal type when we get the corresponding isl

[Ada] Use Is_Inlined flag to mark fully inlined subp in GNATprove mode

2014-07-30 Thread Arnaud Charlet
In GNATprove mode, some subprograms may be partially inlined, due to recursion, or because some calls are in a potentially unevaluated context, which would lead to code that GNATprove would not be able to handle. In those cases, the body-to-inline has been built, and potentially already be

[Ada] Fix race conditions related to independent tasks

2014-07-30 Thread Arnaud Charlet
This patch fixes several race conditions involving independent tasks. The main thing is to make sure the activating task waits for them to become independent. Otherwise (for example) the environment task can race ahead to Finalize_Global_Tasks and find things in an inconsistent state, causing

RE: [PATCH] PR61868

2014-07-30 Thread Bingfeng Mei
On the second thought, maybe the change should be made in set_random_seed. Otherwise, init_random_seed is invoked every time get_random_seed get called (not sure how often). What do you think? const char * set_random_seed (const char *val) { const char *old = flag_random_seed;

[PINGv2][PATCH] Fix for PR 61561

2014-07-30 Thread Marat Zakirov
On 07/23/2014 05:33 PM, Marat Zakirov wrote: Hi all! This is a friendly reminder message. On 07/17/2014 03:22 PM, Marat Zakirov wrote: On 07/16/2014 01:32 PM, Kyrill Tkachov wrote: On 16/07/14 10:22, Marat Zakirov wrote: Christophe, Please look at a new patch. Draft tests are OK. I'll

Re: [PATCH] PR61868

2014-07-30 Thread Richard Biener
On Wed, Jul 30, 2014 at 2:48 PM, Bingfeng Mei b...@broadcom.com wrote: On the second thought, maybe the change should be made in set_random_seed. Otherwise, init_random_seed is invoked every time get_random_seed get called (not sure how often). What do you think? const char *

Re: [PATCH, DOC]: New value 'default' for --enable-languages

2014-07-30 Thread Richard Biener
On Wed, Jul 30, 2014 at 1:37 PM, Martin Liška mli...@suse.cz wrote: Hello, as discussed in previous thread (https://gcc.gnu.org/ml/gcc-patches/2014-07/msg02010.html), I would like to add more intuitive behavior for --enable-languages configure option. It works for me, but as I'm currently

Re: [PATCH, DOC]: New value 'default' for --enable-languages

2014-07-30 Thread Richard Biener
On Wed, Jul 30, 2014 at 3:19 PM, Richard Biener richard.guent...@gmail.com wrote: On Wed, Jul 30, 2014 at 1:37 PM, Martin Liška mli...@suse.cz wrote: Hello, as discussed in previous thread (https://gcc.gnu.org/ml/gcc-patches/2014-07/msg02010.html), I would like to add more intuitive

[Ada] Reimplement Ada.Task_Attributes

2014-07-30 Thread Arnaud Charlet
This change reimplements from scratch the Ada.Task_Attributes package, taking advantage of RM permission C.7.2(28), and putting a maximum number of task attributes supported to simplify the implementation and make it more efficient. In addition, a special (Fast_Path) case is made for task

RE: [PATCH, Fortan] fix initialization of flag_errno_math and flag_associative_math

2014-07-30 Thread VandeVondele Joost
Dominque, after Janne's OK, and FX judgement, I wonder if you have reached a conclusion. If so, the fsf assignment is now complete, and the patch could be applied. Joost Ok for trunk. Thanks! Please don't rush! The behavior of -fno-signed-zeros -fno-trapping-math implying associative math

Re: [PATCH v3 3/3] Port libstdc++ pretty-printers to Python 2 + Python 3

2014-07-30 Thread Tom Tromey
I don't think this comment is applicable. The libstdc++ pretty-printers use gdb.Value.lazy_string, not the built-in Python types. Samuel Hmm, doesn't that just make it a timebomb -- a value that will Samuel explode if, at some point in the future, someone tries to treat Samuel it as a string?

[Ada] Ability to compute range of floating-point expression for analyzers

2014-07-30 Thread Arnaud Charlet
Analyzers based on the frontend can benefit from knowing the range of possible values of a floating-point expression. For example, it might be useful to decide that a range check or an overflow check cannot fail. Implement such a procedure Determine_Range_R in checks.adb, similar to the existing

RE: [PATCH, Fortran] PR61234: -Wuse-no-only

2014-07-30 Thread VandeVondele Joost
This explicitly tests that no bogus error message is issued for a use statement that has an only qualifier ? I don't see the need for '! { dg-bogus has no ONLY qualifier }'. AFAICT there is no warning emitted for this line (unless you add -Wall) and if some day it happens that an error/warning

Updated inchash patchkit

2014-07-30 Thread Andi Kleen
This version adds the new namespace as requested by Ritchie. I couldn't use hash:: due to name space conflicts, but (nearly) everything is now inchash::... This needed some changes in the existing files. I did all the renamings atomically in one patch to avoid non buildable commits. Also I

[PATCH 4/7] Convert ipa-devirt to inchash

2014-07-30 Thread Andi Kleen
From: Andi Kleen a...@linux.intel.com gcc/: 2014-07-30 Andi Kleen a...@linux.intel.com * ipa-devirt.c (polymorphic_call_target_hasher::hash): Convert to inchash. --- gcc/ipa-devirt.c | 27 --- 1 file changed, 12 insertions(+), 15 deletions(-) diff

[PATCH 1/7] Change inchash to name space.

2014-07-30 Thread Andi Kleen
From: Andi Kleen a...@linux.intel.com Change class inchash to move into a inchash namespace as requested. The class is now inchash::hash Rename iterative_hstate_expr to inchash::add_expr ... and convert existing users. It wasn't possible to use hash::, because that lead to name space conflicts

[PATCH 2/7] RTL dwarf2out changes

2014-07-30 Thread Andi Kleen
From: Andi Kleen a...@linux.intel.com Convert dwarf2out and rtl.c to the new inchash interface. I moved the rtl hash code to another file to avoid having to link all the hash code into the generator functions. v2: Removed ??? comment. gcc/: 2014-07-29 Andi Kleen a...@linux.intel.com

[PATCH 5/7] Convert tree-ssa-dom to inchash

2014-07-30 Thread Andi Kleen
From: Andi Kleen a...@linux.intel.com gcc/: 2014-07-29 Andi Kleen a...@linux.intel.com * tree-ssa-dom.c (iterative_hash_exprs_commutative): Rename to inchash:add_expr_commutative. Convert to inchash. (iterative_hash_hashable_expr): Rename to

[PATCH 6/7] Convert tree-ssa-sccvn to inchash

2014-07-30 Thread Andi Kleen
From: Andi Kleen a...@linux.intel.com gcc/: 2014-07-29 Andi Kleen a...@linux.intel.com * tree-ssa-sccvn.c (vn_reference_op_compute_hash): Convert to inchash. (vn_reference_compute_hash): Dito. (vn_nary_op_compute_hash): Dito. (vn_phi_compute_hash):

[PATCH 3/7] Convert asan.c to inchash

2014-07-30 Thread Andi Kleen
From: Andi Kleen a...@linux.intel.com gcc/: 2014-07-30 Andi Kleen a...@linux.intel.com * asan.c (asan_mem_ref_hasher::hash): Convert to inchash. --- gcc/asan.c | 7 --- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/gcc/asan.c b/gcc/asan.c index 475dd82..4f882b5

[PATCH 7/7] Convert tree-ssa-tail-merge to inchash

2014-07-30 Thread Andi Kleen
From: Andi Kleen a...@linux.intel.com gcc/: 2014-07-29 Andi Kleen a...@linux.intel.com * tree-ssa-tail-merge.c (same_succ_hash): Convert to inchash. --- gcc/tree-ssa-tail-merge.c | 22 ++ 1 file changed, 10 insertions(+), 12 deletions(-) diff --git

[Ada] Internal cleanups in Cstand

2014-07-30 Thread Arnaud Charlet
The name of raise type was any type, it is now raise type We now the name before setting other fields of standard entities, which avoids debugger blowups printing the entity when setting one of these fields. These are minor internal imrpovements for front-end debugging, no external effect, no

[Ada] Internal cleanups in handling of subtype bounds

2014-07-30 Thread Arnaud Charlet
This change causes subtype bounds to be captured in special constant variables xxxL and xxxH, avoiding troublesome cases where the call to Force_Evaluation generated serialized temporaries that got referenced publicly. It also means that First/Last can be expanded out in more cases. No functional

[PATCH][PING] Add support for KernelAddressSanitizer

2014-07-30 Thread Yury Gribov
On 07/18/2014 05:38 PM, Jakub Jelinek wrote: Do you error out on -fsanitize=thread -fsanitize=kernel-address ? Perhaps -fsanitize=kernel-address -fsanitize=address should be invalid too? Yes, all these combinations are invalid. But you don't error out on that. Ok, fixed. Then in

[PATCH] libstdc++: add _GLIBCXX_ macro prefix in atexit_thread.cc

2014-07-30 Thread Zifei Tong
Hi, I found an issue that the __cxa_thread_atexit_impl() function never called by __cxa_thread_atexit() even with newest glibc which have __cxa_thread_atexit_impl implemented. It turns out that the code tried to use macro HAVE___CXA_THREAD_ATEXIT_IMPL, but not

Re: [PATCH] PR61868

2014-07-30 Thread Andi Kleen
On Wed, Jul 30, 2014 at 09:46:48AM +0200, Richard Biener wrote: On Tue, Jul 29, 2014 at 3:01 PM, Bingfeng Mei b...@broadcom.com wrote: Hi, Please find the patches for pr61868. The problem is that even with -frandom-seed gcc always uses 0 instead of specified number/string for places

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

2014-07-30 Thread Chen Gang
Hello All: I shall stop making this kind of patch, next. The reason is that I worry about what I have done have negative effect to others. And next, I shall try to send another kinds of patches for gcc when I have time. Many persons or companies use open source who never give thanks or

[Ada] Notes from subunits incorrectly recorded in ALI files

2014-07-30 Thread Arnaud Charlet
This change fixes the way annotations coming from subunits are recorded in ALI files, so that their original source location (including the source file name of the subunit) is correctly preserved. The following commands must produce the shown output: $ gcc -c annot_separate.adb $ sed -n -e

Re: [C++ Patch] PR 57397

2014-07-30 Thread Paolo Carlini
Hi again, the below tries to also fix the second problem I presented in this thread. Passes testing on x86_64-linux. How does it look? Thanks, Paolo. /// Index: cp/pt.c === --- cp/pt.c (revision 213287) +++

[Ada] Display correctly directory path names

2014-07-30 Thread Arnaud Charlet
When the Project Manager is indicating that a directory cannot be created and the full path name of the directory contains chacters that are teated specially to modify the error message, the full path name of the directory is not displayed correctly. This patch corrects the problem. Tested on

RE: [PATCH] PR61868

2014-07-30 Thread Bingfeng Mei
Yes, that fix is better. Here are updated patches. LTO-bootstrapped and tested. OK? Bingfeng Index: ChangeLog === --- ChangeLog (revision 213152) +++ ChangeLog (working copy) @@ -1,3 +1,10 @@ +2014-07-29 Bingfeng Mei

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

2014-07-30 Thread Tom Tromey
Chen == Chen Gang gang.chen.5...@gmail.com writes: Chen 'errbuf' assumes itself will be zero terminated, and it also assumes Chen cpnative_getErrorString() may get larger length string than 'errbuf'. Chen So after strncpy(), 'errbuf' may not be zero terminated. Chen strncpy() is sure of zero

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

2014-07-30 Thread Tom Tromey
Chen == Chen Gang gang.chen.5...@gmail.com writes: Chen I shall stop making this kind of patch, next. The reason is that I worry Chen about what I have done have negative effect to others. And next, I shall Chen try to send another kinds of patches for gcc when I have time. It's customary to

Re: [PATCH] libstdc++: add _GLIBCXX_ macro prefix in atexit_thread.cc

2014-07-30 Thread Jonathan Wakely
On 30/07/14 22:42 +0800, Zifei Tong wrote: Hi, I found an issue that the __cxa_thread_atexit_impl() function never called by __cxa_thread_atexit() even with newest glibc which have __cxa_thread_atexit_impl implemented. It turns out that the code tried to use macro

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

2014-07-30 Thread Andrew Haley
On 07/30/2014 04:01 PM, Chen Gang wrote: I shall stop making this kind of patch, next. The reason is that I worry about what I have done have negative effect to others. And next, I shall try to send another kinds of patches for gcc when I have time. Many persons or companies use open source

Re: [PATCH] libstdc++: add _GLIBCXX_ macro prefix in atexit_thread.cc

2014-07-30 Thread Zifei Tong
On Wed, Jul 30, 2014 at 11:25 PM, Jonathan Wakely jwak...@redhat.com wrote: On 30/07/14 22:42 +0800, Zifei Tong wrote: Hi, I found an issue that the __cxa_thread_atexit_impl() function never called by __cxa_thread_atexit() even with newest glibc which have __cxa_thread_atexit_impl

Re: [PATCH 0/5] let gdb reuse gcc'c C compiler

2014-07-30 Thread Tom Tromey
Tom This patch series is half of a project to let gdb reuse gcc (which Tom half depends on which list you are seeing this on), so that users can Tom compile small snippets of code and evaluate them in the current Tom context of the inferior. [ ... later ... ] Tom I believe we've addressed all the

[commit, s390] Fix TPF unwinder

2014-07-30 Thread Ulrich Weigand
Hello, I've checked in a fix provided by Jim Johnston on the TPF team to fix a case where the special TPF unwinder didn't work correctly. Tested on TPF by Jim, committed to mainline. Bye, Ulrich ChangeLog: gcc/ 2014-07-30 Ulrich Weigand ulrich.weig...@de.ibm.com *

[PATCH, trans-mem, PR 61393] Copy tm_clone field of cgraph_node when cloning the node

2014-07-30 Thread Martin Jambor
Hi, IPA-CP can wreck havoc to transactional memory support as described in the summary of the PR in bugzilla. It seems the cause is that IPA-CP clones of nodes created by trans-mem do not have their tm_clone flag set. For release branches we have decided to simply disable IPA-CP of trans-mem

Re: [C++ Patch] PR 57397

2014-07-30 Thread Jason Merrill
On 07/30/2014 11:09 AM, Paolo Carlini wrote: + /* Eg (c++/57397): + + templateclass T1, class... Tn, class... Tm + void foo(T1, Tn..., Tm...); + + int main() + { +foo(1, 2); + } */ I think we should accept this: T1 is int, Tn is {}, Tm is {int}. +

C++ PATCH to set DECL_COMDAT on undefined inlines/templates

2014-07-30 Thread Jason Merrill
Since can_refer_decl_in_current_unit_p doesn't allow references to DECL_COMDAT entities that aren't defined in the current unit, by setting that flag we can avoid problems with devirtualization introducing references to vague linkage functions that haven't been synthesized/instantiated because

Re: [PATCH] libstdc++: add _GLIBCXX_ macro prefix in atexit_thread.cc

2014-07-30 Thread Jason Merrill
On 07/30/2014 11:25 AM, Jonathan Wakely wrote: Jason, any objection to putting this on the 4.8 and 4.9 branches too? That should be OK. Jason

Re: [C++ Patch] PR 57397

2014-07-30 Thread Paolo Carlini
Hi, On 07/30/2014 07:19 PM, Jason Merrill wrote: On 07/30/2014 11:09 AM, Paolo Carlini wrote: + /* Eg (c++/57397): + + templateclass T1, class... Tn, class... Tm + void foo(T1, Tn..., Tm...); + + int main() + { +foo(1, 2); + } */ I think we should

Re: [PATCH, DOC]: New value 'default' for --enable-languages

2014-07-30 Thread Mike Stump
On Jul 30, 2014, at 6:20 AM, Richard Biener richard.guent...@gmail.com wrote: On Wed, Jul 30, 2014 at 3:19 PM, Richard Biener richard.guent...@gmail.com wrote: On Wed, Jul 30, 2014 at 1:37 PM, Martin Liška mli...@suse.cz wrote: Hello, as discussed in previous thread

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

2014-07-30 Thread Prathamesh Kulkarni
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: Likewise. * match-rotate.pd): New file. Adjust to

mark_virtual_overrides patch

2014-07-30 Thread Jason Merrill
Here it is again, without the DECL_COMDAT pieces; now that patch is in, this becomes just an optimization to improve devirtualization. As you said before, because of caching we might miss new overrides that are introduced as a result of instantiating/synthesizing one of the overrides on the

Re: C++ PATCH to set DECL_COMDAT on undefined inlines/templates

2014-07-30 Thread Markus Trippelsdorf
On 2014.07.30 at 13:26 -0400, Jason Merrill wrote: Since can_refer_decl_in_current_unit_p doesn't allow references to DECL_COMDAT entities that aren't defined in the current unit, by setting that flag we can avoid problems with devirtualization introducing references to vague linkage

Re: C++ PATCH to set DECL_COMDAT on undefined inlines/templates

2014-07-30 Thread Jason Merrill
On 07/30/2014 02:05 PM, Markus Trippelsdorf wrote: It breaks Firefox build: /sigh. I haven't looked deeper yet. Let me know what you find. Thanks, Jason

Re: [PATCH] Further cleanup loop-distribution

2014-07-30 Thread Mike Stump
On Jul 30, 2014, at 12:59 AM, Richard Biener richard.guent...@gmail.com wrote: So I do compiler testing on my toaster oven by doing native builds of gcc running on a binutils simulator and it doesn’t have a working popen (it’s in my newlib, but it wants vfork, which I don’t have). I do have

Re: [C++ Patch] PR 57397

2014-07-30 Thread Paolo Carlini
... I'm finishing testing the below. Thanks! Paolo. // Index: cp/pt.c === --- cp/pt.c (revision 213287) +++ cp/pt.c (working copy) @@ -5517,13 +5517,21 @@ unify_method_type_error (bool explain_p, tree

Re: [PATCH, DOC]: New value 'default' for --enable-languages

2014-07-30 Thread Martin Liška
On 07/30/2014 06:38 PM, Mike Stump wrote: On Jul 30, 2014, at 6:20 AM, Richard Biener richard.guent...@gmail.com wrote: On Wed, Jul 30, 2014 at 3:19 PM, Richard Biener richard.guent...@gmail.com wrote: On Wed, Jul 30, 2014 at 1:37 PM, Martin Liška mli...@suse.cz wrote: Hello, as

Re: [C++ Patch] PR 57397

2014-07-30 Thread Jason Merrill
On 07/30/2014 03:00 PM, Paolo Carlini wrote: + /* Fail if parms are left and they don't have default values and + they aren't all deduced as empty packs, eg (c++/57397): + + templateclass T1, class... Tn, class... Tm + void foo(T1, Tn..., Tm...); + + int main() + { +

Re: [PATCH 5/7] Convert tree-ssa-dom to inchash

2014-07-30 Thread Jeff Law
On 07/30/14 08:23, Andi Kleen wrote: From: Andi Kleen a...@linux.intel.com gcc/: 2014-07-29 Andi Kleen a...@linux.intel.com * tree-ssa-dom.c (iterative_hash_exprs_commutative): Rename to inchash:add_expr_commutative. Convert to inchash.

  1   2   >