Re: [wwwdocs] Buildstat update for 4.5

2013-10-13 Thread Gerald Pfeifer
On Tue, 1 Oct 2013, Tom G. Christensen wrote: > Testresults for 4.5.4: > i386-pc-solaris2.8 (2) > i386-pc-solaris2.9 > sparc-sun-solaris2.7 (2) > sparc-sun-solaris2.8 > sparc-sun-solaris2.9 > sparc64-sun-solaris2.7 > sparc64-sun-solaris2.8 > sparc64-sun-solaris2.9 Thanks, Tom. Ger

Re: [wwwdocs] Buildstat update for 4.7

2013-10-13 Thread Gerald Pfeifer
On Tue, 1 Oct 2013, Tom G. Christensen wrote: > Latest results for gcc 4.7.x. Applied, thanks! Gerald

[PATCH, ARM] Fix line number data for PIC register setup code

2013-10-13 Thread Tom de Vries
Richard, This patch fixes line number data for the PIC register setup code for ARM, resulting in 174 removed FAILs for the gdb testsuite with -fPIC. Consider break.c (minimized from gdb/testsuite/gdb.base/break.c): ... 1 void *v; 2 void a (void *x) { } 3 void b (void) { } 4

[C++ Patch] Tidy a bit cp_parser_lookup_name

2013-10-13 Thread Paolo Carlini
Hi, today I noticed that in cp_parser_lookup_name the code in the object_type != NULL_TREE else can be tidied a bit and a lookup_name_real often avoided. Tested x86_64-linux. Thanks, Paolo. / 2013-10-14 Paolo Carlini * parser.c (cp_parser_lookup_name): Tid

[Ada] Fix ICE on uninitialized array local variable

2013-10-13 Thread Eric Botcazou
This fixes an ICE on a rare conjunction of pragma Inline_Always, 2-element array and uninitialized local variable. Tested on x86_64-suse-linux, applied on the mainline. 2013-10-13 Eric Botcazou * gcc-interface/decl.c (gnat_to_gnu_entity) : Force all local variables with aggr

Re: [PATCH 2/6] Andes nds32: machine description of nds32 porting (1).

2013-10-13 Thread Richard Sandiford
Chung-Ju Wu writes: > + push_p ? false : true, Minor nit, but I think the normal GCC style would be to use !push_p here. Thanks for your patience in dealing with all my comments. All three subparts look good to me with the change above and the on

[Ada] Use of unconstrained or tagged items in aspect Depends

2013-10-13 Thread Arnaud Charlet
This patch implements the following semantic rule of aspect Depends: The input set of a subprogram is the explicit input set of the subprogram augmented with those formal parameters of mode out having discriminants, array bounds, or a tag which can be read and whose values are not implied by the s

Re: [PATCH 2/6] Andes nds32: machine description of nds32 porting (2).

2013-10-13 Thread Richard Sandiford
Chung-Ju Wu writes: > + /* If operands[1] is a large constant and cannot be performed > + move behavior with single instruction, we need to split it. */ Suggest "...cannot by performed by a single instruction..." > + high20_rtx = GEN_INT ((INTVAL (operands[1]) >> 12) << 12); Better t

[Ada] Implement new pragmas Pre[_Class] and Post[_Class]

2013-10-13 Thread Arnaud Charlet
This implements four new pragmas, Pre, Pre_Class, Post, Post_Class that are intended to closely mirrir the four corresponding aspects Pre, Pre'Class, Post, and Post'Class. They inherit the same set of restrictions as these aspects. In particular, a given aspect can be specified only once for a give

[Ada] Support for CLOCK_MONOTONIC on AIX 5.3

2013-10-13 Thread Arnaud Charlet
This change removes incorrect obsolete code for CLOCK_MONOTONIC support on AIX, and fixes a wrong mapping of the clockid_t type on that target. Tested on x86_64-pc-linux-gnu, committed on trunk 2013-10-13 Thomas Quinot * s-oscons-tmplt.c (CLOCK_RT_Ada): Set to CLOCK_MONOTONIC when

[Ada] Remove special case for actual of calls in SPARK expansion

2013-10-13 Thread Arnaud Charlet
The special SPARK expansion used for formal verification special-cased calls to introduce temporaries for actuals in some cases. This is not needed anymore, and this could prevent detection of aliasing later, so it has been removed. Tested on x86_64-pc-linux-gnu, committed on trunk 2013-10-13 Ya

[Ada] Remove special case for 'Old and 'Result in SPARK expansion

2013-10-13 Thread Arnaud Charlet
The special SPARK expansion used for formal verification special-cased the attributes Old and Result. This is not needed anymore. Tested on x86_64-pc-linux-gnu, committed on trunk 2013-10-13 Yannick Moy * exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Remove procedure. (E

[Ada] Remove obsolete comment

2013-10-13 Thread Eric Botcazou
I forgot to remove it when I removed the associated code back in June. Tested on x86_64-suse-linux, applied on the mainline and 4.8 branch. 2013-10-13 Eric Botcazou * gcc-interface/decl.c (gnat_to_gnu_param): Remove obsolete comment. -- Eric BotcazouIndex: gcc-interface/decl.c ===

[PATCH, PR 53001] Re: Patch to split out new warning flag for floating point conversion

2013-10-13 Thread Joshua J Cogliati
Changes compared to previous version of patch: This patch only includes -Wfloat-conversion in -Wconversion, it does not include it in -Wextra It also changes several testcases to use -Wfloat-conversion instead of -Wconversion A split out patch to make the floating conversions explicit is attached a

Fix PR rtl-optimization/58662

2013-10-13 Thread Eric Botcazou
This is a problem with note distribution in the combiner present on the mainline. From: (insn 19 18 21 2 (parallel [ (set (reg:SI 83 [ D.1762 ]) (neg:SI (reg:SI 90 [ D.1762 ]))) (clobber (reg:CC 17 flags)) ]) ../pr58662.c:17 464 {*negsi2_1} (e

Re: [PATCH, PR 57748] Check for out of bounds access, Part 2

2013-10-13 Thread Eric Botcazou
> But if zero-sized arrays everywhere in a structure is valid C, > then the attached test case is a valid test case. Not necessarily, you can write the declaration but you cannot index the array, i.e. this is undefined behavior. And there is nothing new, distinct fields have been disambiguated

RE: [PATCH, PR 57748] Check for out of bounds access, Part 2

2013-10-13 Thread Bernd Edlinger
Hi Eric, >> Would you agree that this "error: flexible array member" >> should also be emitted for a zero-sized array member, >> maybe as "error: zero-sized array member not at end of struct"? > > I would have answered yes when zero-sized arrays where introduced, but it's > far less clear a couple

Re: [PATCH, PR 57748] Check for out of bounds access, Part 2

2013-10-13 Thread Eric Botcazou
> Would you agree that this "error: flexible array member" > should also be emitted for a zero-sized array member, > maybe as "error: zero-sized array member not at end of struct"? I would have answered yes when zero-sized arrays where introduced, but it's far less clear a couple of decades later

*PING* Re: [Patch, Fortran] PR58658 - add missing pointer-assign check for CLASS(*)

2013-10-13 Thread Tobias Burnus
*PING*: http://gcc.gnu.org/ml/fortran/2013-10/msg00018.html Additionally, I'd like to early ping for the do concurrent patch: http://gcc.gnu.org/ml/fortran/2013-10/msg00022.html , even if the ME review is still pending. Tobias Burnus wrote: The patch is rather obvious. The question is just wh