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 executing

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

Re: [PATCH] PR61868

2014-07-30 Thread Richard Biener
On Tue, Jul 29, 2014 at 3:01 PM, Bingfeng Mei 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 > -frandom-seed. Boo

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 wrote: > On Mon, Jul 28, 2014 at 7:30 PM, David Malcolm wrote: >> On Mon, 2014-07-28 at 02:35 +0530, Prathamesh Kulkarni wrote: >>> - if (o->type == operand::OP_CAPTURE) >>> + if (is_a (o)) >>> { >>> - capture *c = static_cast (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 RSSDir

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 du

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 looke

Re: [PATCH] Further cleanup loop-distribution

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

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 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. > > When this w

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 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 prevent testing targ

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 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 section c

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 t

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 > 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 transp

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 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? > > * common/config/i386/i386-common.c >

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? B

[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 adju

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 > > 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 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 patch OK? > >

Re: [PATCH] PR61868

2014-07-30 Thread Richard Biener
On Wed, Jul 30, 2014 at 10:52 AM, Bingfeng Mei 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 function. Err, I meant

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 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 > > indirecti

[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 * prj-proc.adb (Importe

[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 intrinsic

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 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 little-endian, > these la

[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, wrote: > From: Trevor Saunders > > 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. > Trev > > ada/ > > * gcc-in

[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); e

[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 * sinput.ads, sinp

[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 decla

[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 > 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

[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__. Finall

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 > 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

[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_Updat

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, 201

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_di3_1bit without checking that the register allocation > constraints of the resulting insn are satisfied. This results in an > IC

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 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 comp

[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 * configure: New value for configure option --

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 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 >>> wrote: On 2014.07.29 at 15:10 +0200, Richard Biener wrote: > >

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 * 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 (push_function_parms): New. Recovers a

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 writes: Hello, I followed the advice in this discussion: https://gcc.gnu.org/ml/gcc-patches/2014-04/msg00269.html and here is a new pat

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 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 wrote: On 2014.07.29 at 15:10 +0200, Richard Bie

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 ma

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 s

[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 inlined.

[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 progr

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; flag_random_s

[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 as

Re: [PATCH] PR61868

2014-07-30 Thread Richard Biener
On Wed, Jul 30, 2014 at 2:48 PM, Bingfeng Mei 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 * > set_random_seed (const ch

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 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 always test

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 wrote: > On Wed, Jul 30, 2014 at 1:37 PM, Martin Liška 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 config

[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 attribu

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 h

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

[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 De

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

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 remov

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

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

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

2014-07-30 Thread Andi Kleen
From: Andi Kleen 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 with cp and objc. So

[PATCH 2/7] RTL & dwarf2out changes

2014-07-30 Thread Andi Kleen
From: Andi Kleen 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 * Makefile.in (OBJS): Add rtlhash.o

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

2014-07-30 Thread Andi Kleen
From: Andi Kleen gcc/: 2014-07-29 Andi Kleen * tree-ssa-dom.c (iterative_hash_exprs_commutative): Rename to inchash:add_expr_commutative. Convert to inchash. (iterative_hash_hashable_expr): Rename to inchash:add_hashable_expr. Convert to inchash. (avai

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

2014-07-30 Thread Andi Kleen
From: Andi Kleen gcc/: 2014-07-29 Andi Kleen * 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): Dito. * tree-ssa-sccvn.h (vn_hash_con

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

2014-07-30 Thread Andi Kleen
From: Andi Kleen gcc/: 2014-07-30 Andi Kleen * 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 100644 --- a/gcc/asan.c +++ b/gcc/asan.c @@

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

2014-07-30 Thread Andi Kleen
From: Andi Kleen gcc/: 2014-07-29 Andi Kleen * 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 a/gcc/tree-ssa-tail-merge.c b/gcc/tree-ssa-tail-merge.c

[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 sanitize_

[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 _GLIBCXX_HAVE___CXA_THREAD_ATEXIT_IM

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 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

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 contributi

[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 '/^U/s

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) +++ cp

[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 x86_

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 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 pad, but not be

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 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 wait a while befo

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 HAVE___CXA_THREAD_ATEXIT_IMPL,

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 sou

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 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 >> implement

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

[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 * config/s390/s390.c (s390_emit_tpf_eh_retur

[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 clo

Re: [C++ Patch] PR 57397

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

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): + + template + void foo(T1, Tn..., Tm...); + + int main() + { +foo(1, 2); + } */ I think we should accept this: T1 is int, Tn is {}, Tm is

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 wrote: > On Wed, Jul 30, 2014 at 3:19 PM, Richard Biener > wrote: >> On Wed, Jul 30, 2014 at 1:37 PM, Martin Liška wrote: >>> Hello, >>> as discussed in previous thread >>> (https://gcc.gnu.org/ml/gcc-patches/2014-07/msg02010.html), I would like to >

[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 u

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 fi

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 fun

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 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 fork and >> system h

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 arg

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 > wrote: >> On Wed, Jul 30, 2014 at 3:19 PM, Richard Biener >> wrote: >>> On Wed, Jul 30, 2014 at 1:37 PM, Martin Liška wrote: Hello, as discussed in previous thread (https://gcc.gnu.org/ml

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): + + template + void foo(T1, Tn..., Tm...); + + int main() + { + foo(1); + } */ Let's drop the

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 gcc/: 2014-07-29 Andi Kleen * tree-ssa-dom.c (iterative_hash_exprs_commutative): Rename to inchash:add_expr_commutative. Convert to inchash. (iterative_hash_hashable_expr): Rename to inchash:add_hashable_

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

2014-07-30 Thread Jeff Law
On 07/30/14 08:23, Andi Kleen wrote: From: Andi Kleen gcc/: 2014-07-29 Andi Kleen * tree-ssa-tail-merge.c (same_succ_hash): Convert to inchash. This is fine once the basic inchash stuff is approved. jeff

Re: Patch for constexpr variable templates

2014-07-30 Thread Jason Merrill
On 07/29/2014 07:56 AM, Braden Obrzut wrote: @@ -6289,6 +6289,14 @@ cp_parser_postfix_expression (cp_parser *parser, bool address_p, bool cast_p, break; default: + /* Convert variable template into VAR_DECL. */ + if (TREE_CODE (postfix_expression) == TEMPLATE_I

  1   2   >