backport the fixes of PR target/64011 and /61749 to 4.9 gcc

2015-05-26 Thread weixiangyu
Hi, The first patch backports the fix of PR target/64011(https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64011) to the 4.9 branch from trunk r219717, and the second patch backports the fix of PR target/61749(https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61749) to the 4.9 branch from trunk r215046.

[Bug c/66296] Gcc generated wrong code with uint16_t add/sub even with no optimization

2015-05-26 Thread miyuki at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66296 Mikhail Maltsev miyuki at gcc dot gnu.org changed: What|Removed |Added CC||miyuki at gcc

[Bug c++/66294] Nonsensical warning message for address-of static member function expr through expr.B

2015-05-26 Thread manu at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66294 Manuel López-Ibáñez manu at gcc dot gnu.org changed: What|Removed |Added Status|UNCONFIRMED |NEW Last

Re: [c++std-parallel-1651] Re: Compilers and RCU readers: Once more unto the breach!

2015-05-26 Thread Paul E. McKenney
On Tue, May 26, 2015 at 07:08:35PM +0200, Torvald Riegel wrote: On Tue, 2015-05-19 at 17:55 -0700, Paul E. McKenney wrote: http://www.rdrop.com/users/paulmck/RCU/consume.2015.05.18a.pdf I have been discussing Section 7.9 with Paul during last week. While I think that 7.9 helps narrow

[Bug c/66296] New: Gcc generated wrong code with uint16_t add/sub even with no optimization

2015-05-26 Thread wanght at tsinghua dot org.cn
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66296 Bug ID: 66296 Summary: Gcc generated wrong code with uint16_t add/sub even with no optimization Product: gcc Version: 4.9.2 Status: UNCONFIRMED Severity:

[Bug c/66296] Gcc generated wrong code with uint16_t add/sub even with no optimization

2015-05-26 Thread pinskia at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66296 Andrew Pinski pinskia at gcc dot gnu.org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED

Re: [i386] Scalar DImode instructions on XMM registers

2015-05-26 Thread Jeff Law
On 05/25/2015 09:27 AM, Ilya Enkovich wrote: 2015-05-22 15:01 GMT+03:00 Ilya Enkovich enkovich@gmail.com: 2015-05-22 11:53 GMT+03:00 Ilya Enkovich enkovich@gmail.com: 2015-05-21 22:08 GMT+03:00 Vladimir Makarov vmaka...@redhat.com: So, Ilya, to solve the problem you need to avoid

Re: Do not compute alias sets for types that don't need them

2015-05-26 Thread Jan Hubicka
I am not sure if TYPE_MAIN_VARIANT is really needed here. What I know is that complete types may have incomplete variants. How can that be? TYPE_FIELDS is shared across variants and all variants should be layed out. Because TYPE_FILEDS are not always shared across variants. For

Do less generous pointer globbing in alias.c

2015-05-26 Thread Jan Hubicka
Hi, this patch makes it possible for non-LTO alias oracle to TBAA disambiguate pointer types. It makes void * conflicting with all of them and does not put it to alias set 0. It also preserves the property that qualifiers of pointer-to type should not matter to determine the alias set and that

Re: Do not compute alias sets for types that don't need them

2015-05-26 Thread Jan Hubicka
I am not sure if TYPE_MAIN_VARIANT is really needed here. What I know is that complete types may have incomplete variants. How can that be? TYPE_FIELDS is shared across variants and all variants should be layed out. Because TYPE_FILEDS are not always shared across

Trivial whitespace fixes in tree-ssa-threadedge.c

2015-05-26 Thread Jeff Law
Jakub pointed out a formatting issue with one of my recent memory leak patches. It was a tabs vs spaces issue. This trivial patch replaces spaces with tabs where appropriate in tree-ssa-threadedge.c. It has no functional changes. Bootstrapped and regression tested (as part of a

Trivial improvement to recent change to split point selection for multiply-accumulate instructions

2015-05-26 Thread Jeff Law
Segher suggested that the change to favor (plus (ashift (...))) as a split point be conditionalized on the shift count being a constant -- seems quite reasonable to me. Bootstrapped and regression tested on x86_64-linux-gnu as well as verified the 300+ test files generate the same code

[Bug c++/66287] [C++11] A constexpr variable of const int* const cannot be initialized

2015-05-26 Thread kariya_mitsuru at hotmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66287 --- Comment #1 from Mitsuru Kariya kariya_mitsuru at hotmail dot com --- I found several examples that cause the similar error message. === sample code 1 === constexpr int copy(const int v) { return v; } constexpr const int

Re: [PATCH] Don't combine param and return value copies

2015-05-26 Thread Alan Modra
On powerpc64le, modifying the way combine treats function parameters and call arguments results in some regressions. For instance, this testcase from varasm.c extern int foo3 (void *, ...); extern void foo4 (void *, const char *); int emit_tls_common (void *decl, const char

[Bug tree-optimization/66285] failure to vectorize parallelized loop

2015-05-26 Thread vries at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66285 --- Comment #2 from vries at gcc dot gnu.org --- Created attachment 35623 -- https://gcc.gnu.org/bugzilla/attachment.cgi?id=35623action=edit par-2.c.129t.parloops For -DINDEX_TYPE=int, par-2.c.129t.parloops

Re: Teach gimple_canonical_types_compatible_p about incomplete types

2015-05-26 Thread Richard Biener
On Mon, 25 May 2015, Jan Hubicka wrote: Richard, here is next patch of the series. It adds all the logic for defining type equivalence that globs all complete types together in order to make incomplete type equivalent to every complete variant. Effect of recursing on pointers

[Ada] Cleanup work in internal support for renaming (2)

2015-05-26 Thread Arnaud Charlet
As explained in the previous change, Remove_Side_Effects already knows to avoid renaming function calls in most cases and, more generally, to avoid renaming something that does not denote a name. But the implementation is a little ad-hoc and not bullet-proof, for example a function call subject to

[Ada] Improved performance of writable actuals aliasing detection

2015-05-26 Thread Arnaud Charlet
Cleanup the initial version of this patch. No further test needed. Tested on x86_64-pc-linux-gnu, committed on trunk 2015-05-26 Javier Miranda mira...@adacore.com * sem_aggr.adb (Resolve_Aggregate, Resolve_Extension_Aggregate): Code cleanup. * sem_ch3.adb

[Bug target/64525] Duplicate instructions in both paths in conditional code

2015-05-26 Thread mkuvyrkov at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64525 --- Comment #2 from Maxim Kuvyrkov mkuvyrkov at gcc dot gnu.org --- Kugan's work-in-progress patches may fix this one.

Re: debug mode maintenance patch

2015-05-26 Thread Pedro Alves
On 05/25/2015 07:41 PM, Jonathan Wakely wrote: Index: include/debug/functions.tcc === --- include/debug/functions.tcc (revision 0) +++ include/debug/functions.tcc (working copy) @@ -0,0 +1,159 @@ +// Debugging support

[Bug target/66215] [4.8/4.9/5/6 Regression] Wrong after label NOP emission for -mhotpatch

2015-05-26 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66215 --- Comment #21 from Jakub Jelinek jakub at gcc dot gnu.org --- In case somebody forces any of the torture options into the default through --target_board=unix/WHATEVER that will result in testing some option combination multiple times and -O0

[Bug c/66286] New: Inconsistent handling of array sections

2015-05-26 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66286 Bug ID: 66286 Summary: Inconsistent handling of array sections Product: gcc Version: 5.1.1 Status: UNCONFIRMED Keywords: wrong-code Severity: normal Priority:

[Ada] Cleanup work in internal support for renaming (1)

2015-05-26 Thread Arnaud Charlet
In Ada, the result of evaluating a function call is a constant object and, therefore, can be subject to a renaming. This is fully implemented in the compiler by creating a temporary to capture the return value, either in gigi for simple cases or in the front-end for more convoluted cases. The

[Bug tree-optimization/66142] Loop is not vectorized because not sufficient support for GOMP_SIMD_LANE

2015-05-26 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66142 Richard Biener rguenth at gcc dot gnu.org changed: What|Removed |Added Status|UNCONFIRMED |ASSIGNED

Re: Do not compute alias sets for types that don't need them

2015-05-26 Thread Richard Biener
On Fri, 22 May 2015, Jan Hubicka wrote: Index: emit-rtl.c === --- emit-rtl.c(revision 223508) +++ emit-rtl.c(working copy) @@ -1787,8 +1787,15 @@ set_mem_attributes_minus_bitpos (rtx ref memset (attrs, 0,

[Bug tree-optimization/66285] failure to vectorize parallelized loop

2015-05-26 Thread vries at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66285 --- Comment #3 from vries at gcc dot gnu.org --- Created attachment 35624 -- https://gcc.gnu.org/bugzilla/attachment.cgi?id=35624action=edit par-2.c.130t.ompexpssa par-2.c.130t.ompexpssa

[Bug tree-optimization/66285] failure to vectorize parallelized loop

2015-05-26 Thread vries at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66285 --- Comment #4 from vries at gcc dot gnu.org --- Created attachment 35625 -- https://gcc.gnu.org/bugzilla/attachment.cgi?id=35625action=edit par-2.c.131t.ifcvt par-2.c.131t.ifcvt

[Bug target/64045] fortran.dg/pr45636.f90 fails for AArch64 - memcpy and memset are not combined

2015-05-26 Thread mkuvyrkov at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64045 Maxim Kuvyrkov mkuvyrkov at gcc dot gnu.org changed: What|Removed |Added CC||jgreenhalgh

Re: [Ping]: [Patch] [AArch64] PR target 66049: fix add/extend gcc test suite failures

2015-05-26 Thread James Greenhalgh
On Mon, May 25, 2015 at 06:39:36AM +0100, Kumar, Venkataramanan wrote: Ping! -Original Message- From: gcc-patches-ow...@gcc.gnu.org [mailto:gcc-patches-ow...@gcc.gnu.org] On Behalf Of Kumar, Venkataramanan Sent: Tuesday, May 19, 2015 9:07 PM To: James Greenhalgh

Re: [PATCH][ARM/AArch64] Properly cost rev16 operand

2015-05-26 Thread James Greenhalgh
On Fri, May 01, 2015 at 09:24:20AM +0100, Kyrill Tkachov wrote: Hi all, It occurs to me that in the IOR-of-shifts form of the rev16 operation we should be costing the operand properly. For that we'd want to reuse the aarch_rev16_p function that does all the heavy lifting and get it to write

Re: [RFC] operand_equal_p with valueization

2015-05-26 Thread Richard Biener
On Fri, 22 May 2015, Jan Hubicka wrote: And no, I'm hesitant to change operand_equal_p too much. It's very much deep-rooted into GENERIC. OK, as another option, i can bring relevant logic from operand_equal_p to ipa-icf and separate it into the compare_operand class like I did. Use

[Bug tree-optimization/66285] New: failure to vectorize parallelized loop

2015-05-26 Thread vries at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66285 Bug ID: 66285 Summary: failure to vectorize parallelized loop Product: gcc Version: 6.0 Status: UNCONFIRMED Severity: minor Priority: P3 Component:

[Bug tree-optimization/66285] failure to vectorize parallelized loop

2015-05-26 Thread vries at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66285 --- Comment #5 from vries at gcc dot gnu.org --- Created attachment 35626 -- https://gcc.gnu.org/bugzilla/attachment.cgi?id=35626action=edit par-2.c.132t.vect par-2.c.132t.vect

RE: [RFC: Patch, PR 60158] gcc/varasm.c : Pass actual alignment value to output_constant_pool_2

2015-05-26 Thread Richard Biener
On Mon, 25 May 2015, Dharmakan Rohit Arul Raj wrote: -Original Message- From: Richard Biener [mailto:rguent...@suse.de] Sent: Monday, May 18, 2015 1:06 PM To: Jeff Law Cc: Dharmakan Rohit-B30502; gcc-patches@gcc.gnu.org; Jakub Jelinek; Alan Modra; David Edelsohn; Wienskoski

[Bug tree-optimization/66285] failure to vectorize parallelized loop

2015-05-26 Thread vries at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66285 vries at gcc dot gnu.org changed: What|Removed |Added Keywords||missed-optimization ---

[Bug tree-optimization/66272] [4.9/5/6 Regression] wrong code at -O3 on x86_64-linux-gnu

2015-05-26 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66272 Richard Biener rguenth at gcc dot gnu.org changed: What|Removed |Added Status|NEW |ASSIGNED

Re: [C/C++ PATCH] Implement -Wshift-overflow (PR c++/55095)

2015-05-26 Thread Marek Polacek
Since the move to C++14 is now imminent, I regtested/bootstrapped the patch with -Wshift-overflow always enabled for C++ and that went well. Marek

[Bug middle-end/66276] [5/6 Regression] internal compiler error: in get_loop_body, at cfgloop.c:856

2015-05-26 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66276 Richard Biener rguenth at gcc dot gnu.org changed: What|Removed |Added Status|NEW |ASSIGNED

Re: [PATCH] Fix duplicated warning with __attribute__((format)) (PR c/64223)

2015-05-26 Thread Marek Polacek
Ping. On Tue, May 19, 2015 at 04:07:53PM +0200, Marek Polacek wrote: This PR points out that we output same -Wformat warning twice when using __attribute__ ((format)). The problem was that attribute_value_equal (called when processing merge_attributes) got two lists: format printf, 1, 2 and

[PATCH GCC]Improve how we handle overflow in scev by using overflow information computed for control iv in loop niter, part II

2015-05-26 Thread Bin Cheng
Hi, My first part patch improving how we handle overflow in scev is posted at https://gcc.gnu.org/ml/gcc-patches/2015-05/msg01795.html . Here comes the second part patch. This patch does below improvements: 1) Computes and records control iv for each loop's exit edge. This provides a way to

Re: [PATCH] S390: Support -mtune=native and -march=native.

2015-05-26 Thread Dominik Vogt
On Tue, May 19, 2015 at 07:05:14AM +0100, Dominik Vogt wrote: The attached patch activates the -mtune=native and -march=native command line options on S390 and System z. Most of the code is a modified copy of gcc/config/mips/driver-native.c. ChangeLog attached. Version 2 of the patch to

[Bug tree-optimization/66288] parallelized loop vectorized with runtime alias check

2015-05-26 Thread vries at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66288 --- Comment #1 from vries at gcc dot gnu.org --- Note that for the example from PR66285, with INDEX_TYPE long/unsigned long, we vectorize without run-time aliasing test. In that example, we start out with two restrict pointers. During aliasing,

[Bug ipa/65701] [5 Regression] r221530 makes 187.facerec drop with -Ofast -flto on bdver2

2015-05-26 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65701 Richard Biener rguenth at gcc dot gnu.org changed: What|Removed |Added Known to work||6.0

[Bug bootstrap/66252] [6 regression] bootstrap comparison failures on sparc-linux

2015-05-26 Thread ebotcazou at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66252 Eric Botcazou ebotcazou at gcc dot gnu.org changed: What|Removed |Added Status|UNCONFIRMED |NEW Last

[Bug rtl-optimization/66275] __attribute__((sysv_abi)) with x86_64-w64-mingw32-gcc generates incorrect code

2015-05-26 Thread ubizjak at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66275 Uroš Bizjak ubizjak at gmail dot com changed: What|Removed |Added Target|x86_64-w64-mingw32 | --- Comment #2

[PATCH GCC]Improve overflow in scev by using information computed in loop niter, part II

2015-05-26 Thread Bin.Cheng
Hi, The first part patch improving how we handle overflow in scev is posted at https://gcc.gnu.org/ml/gcc-patches/2015-05/msg01795.html . Here comes the second part patch. This patch does below improvements: 1) Computes and records control iv for each loop's exit edge. This provides a way to

Re: Add few cases to operand_equal_p

2015-05-26 Thread Richard Biener
On Fri, 22 May 2015, Jan Hubicka wrote: + case OBJ_TYPE_REF: + { + if (!operand_equal_p (OBJ_TYPE_REF_EXPR (arg0), + OBJ_TYPE_REF_EXPR (arg1), flags)) + return false; + if (flag_devirtualize virtual_method_call_p (arg0)) + {

Re: Simplify -x0 to x0

2015-05-26 Thread Richard Biener
On Sun, May 24, 2015 at 3:33 PM, Marc Glisse marc.gli...@inria.fr wrote: Hello, I noticed we were only doing this transformation for floats and not for integers, so I took the chance to move it to match.pd. Regtested on ppc64le-redhat-linux. Ok. Thanks, Richard. 2015-05-25 Marc Glisse

Re: [PATCH 3/3][Aarch64][PR target/65697] Add tests for __sync_builtins.

2015-05-26 Thread James Greenhalgh
On Fri, May 22, 2015 at 09:30:18AM +0100, Matthew Wahab wrote: [Added PR number and updated patches] This patch adds tests for the code generated by the Aarch64 backend for the __sync builtins. Tested aarch64-none-linux-gnu with check-gcc. Ok for trunk? Matthew This is OK once the

[Bug bootstrap/66252] [6 regression] bootstrap comparison failures on sparc-linux

2015-05-26 Thread ebotcazou at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66252 Eric Botcazou ebotcazou at gcc dot gnu.org changed: What|Removed |Added Status|NEW |ASSIGNED

[Bug tree-optimization/66288] parallelized loop vectorized with runtime alias check

2015-05-26 Thread vries at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66288 --- Comment #2 from vries at gcc dot gnu.org --- Before parallelization, we have: ... doubleD.32 dataD.1837[1000]; doubleD.32 resultsD.1836[1000]; ... # VUSE .MEM_19 _6 = dataD.1837[idx_18]; _7 = _6 *

[Bug tree-optimization/65752] Too strong optimizations int - pointer casts

2015-05-26 Thread rguenther at suse dot de
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65752 --- Comment #34 from rguenther at suse dot de rguenther at suse dot de --- On Sat, 23 May 2015, gil.hur at sf dot snu.ac.kr wrote: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65752 --- Comment #33 from Chung-Kil Hur gil.hur at sf dot

[v3 patch] Fix some copyright years

2015-05-26 Thread Jonathan Wakely
A few files I added earlier this year are missing 2015 in the list of copyright years, because I forgot to update them when moving them from local branches to the FSF repo. Committed to trunk. commit 378bbf405af6b83dd44c9d92b6e819a0af3e7697 Author: Jonathan Wakely jwak...@redhat.com Date: Tue

Re: [PATCH, libmpx, i386, PR driver/65444] Pass '-z bndplt' when building dynamic objects with MPX

2015-05-26 Thread Ilya Enkovich
On 06 Apr 09:28, Jeff Law wrote: On 04/06/2015 09:17 AM, Ilya Enkovich wrote: To tell the truth, I can't figure out what this means from a user perspective. How does a user know whether the linker option is being ignored, or if they have a new enough linker? If the linker available at

[Bug c++/66255] [6 Regression] ice in retrieve_specialization

2015-05-26 Thread trippels at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66255 Markus Trippelsdorf trippels at gcc dot gnu.org changed: What|Removed |Added CC||jason

[Bug tree-optimization/66142] Loop is not vectorized because not sufficient support for GOMP_SIMD_LANE

2015-05-26 Thread rguenther at suse dot de
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66142 --- Comment #9 from rguenther at suse dot de rguenther at suse dot de --- On Mon, 25 May 2015, jakub at gcc dot gnu.org wrote: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66142 Jakub Jelinek jakub at gcc dot gnu.org changed:

Re: debug mode maintenance patch

2015-05-26 Thread Jonathan Wakely
On 26/05/15 09:45 +0100, Pedro Alves wrote: On 05/25/2015 07:41 PM, Jonathan Wakely wrote: Index: include/debug/functions.tcc === --- include/debug/functions.tcc (revision 0) +++ include/debug/functions.tcc (working copy) @@ -0,0

Re: [PATCH][wwwdocs] Mention native CPU detection in aarch64 notes for GCC 6

2015-05-26 Thread James Greenhalgh
On Tue, May 19, 2015 at 11:12:55AM +0100, Kyrill Tkachov wrote: Hi all, This patch adds a mention of the new native cpu detection feature in aarch64 GNU/Linux. Gerald, this is a patch against htdocs/gcc-6/changes.html and I thought I had seen the 'changes' link in gcc.gnu.org earlier but I

[Bug c++/59759] internal compiler error: in unify, using std::enable_if on classes

2015-05-26 Thread gereon.kremer at cs dot rwth-aachen.de
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59759 --- Comment #12 from Gereon Kremer gereon.kremer at cs dot rwth-aachen.de --- And once again. I just upgraded to gcc 5.1.0 Sure enough, it's not fixed... Test_GCC.cpp: In substitution of ‘templateclass T void f(const AT*) [with T = missing]’:

[Bug target/65979] [4.9/5/6 Regression] [SH] Wrong code is generated with stage1 compiler

2015-05-26 Thread olegendo at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65979 --- Comment #29 from Oleg Endo olegendo at gcc dot gnu.org --- BTW, there is still one unresolved known problem which can silently generate wrong code: PR 56451 Although the testsuite FAIL might have disappeared, the issue hasn't been actually

[Bug c++/66289] New: [5/6 Regression] error: ambiguous template instantiation with partial specialization defined in terms of alias template

2015-05-26 Thread redi at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66289 Bug ID: 66289 Summary: [5/6 Regression] error: ambiguous template instantiation with partial specialization defined in terms of alias template Product: gcc

Re: [PATCH, ARM] attribute target (thumb,arm) [2.2/6] respin (5th)

2015-05-26 Thread Ramana Radhakrishnan
On 13/05/15 11:16, Christian Bruel wrote: - [2.2/6]: Redefine TARGET_MACROS for #pragma GCC target without thumbness the glue. Here it is, no regression for arm-sim/ arm-sim//-march=armv7-a arm-sim//-mthumb arm-sim//-mthumb/-march=armv7-a Obviously, [4/6],[5/6] and

[Bug c++/59759] internal compiler error: in unify, using std::enable_if on classes

2015-05-26 Thread ktietz at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59759 Kai Tietz ktietz at gcc dot gnu.org changed: What|Removed |Added CC||jason at gcc dot

[Bug c++/66289] [5/6 Regression] error: ambiguous template instantiation with partial specialization defined in terms of alias template

2015-05-26 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66289 Jakub Jelinek jakub at gcc dot gnu.org changed: What|Removed |Added CC||jakub at gcc dot

[Bug middle-end/66269] Issues with mixing strict aliasing (verify_type ICE with Ada)

2015-05-26 Thread ebotcazou at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66269 Eric Botcazou ebotcazou at gcc dot gnu.org changed: What|Removed |Added Status|UNCONFIRMED |NEW Last

[Bug c++/66289] [5/6 Regression] error: ambiguous template instantiation with partial specialization defined in terms of alias template

2015-05-26 Thread redi at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66289 Jonathan Wakely redi at gcc dot gnu.org changed: What|Removed |Added Status|UNCONFIRMED |NEW Last

[PATCH][3/n] Reduction vectorization improvements

2015-05-26 Thread Richard Biener
This refactors code to arrange that for loop SLP we pass in the SLP node and instance to the vectorizable_* functions also at analysis phase (not only at transform phase). Bootstrapped and tested on x86_64-unknown-linux-gnu, applied to trunk. Richard. 2015-05-26 Richard Biener

[PATCH] Move some patterns from fold to match.pd

2015-05-26 Thread Richard Biener
One of my dev trees had this. Bootstrapped and tested on x86_64-unknown-linux-gnu, applied to trunk. Richard. 2015-05-26 Richard Biener rguent...@suse.de * fold-const.c (fold_binary_loc): Move X % -Y - X % Y and X % C - X (C - 1) for C being a power-of two to ... *

[Bug c++/66289] [5/6 Regression] error: ambiguous template instantiation with partial specialization defined in terms of alias template

2015-05-26 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66289 Richard Biener rguenth at gcc dot gnu.org changed: What|Removed |Added Target Milestone|--- |5.2

[Bug fortran/66082] memory leak with automatic array dummy argument with derived type array constructor actual argument

2015-05-26 Thread pault at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66082 --- Comment #3 from Paul Thomas pault at gcc dot gnu.org --- Author: pault Date: Tue May 26 10:20:41 2015 New Revision: 223677 URL: https://gcc.gnu.org/viewcvs?rev=223677root=gccview=rev Log: 2015-05-26 Paul Thomas pa...@gcc.gnu.org

[Bug middle-end/66214] [6 Regression] ICE verify_type failed with -O0 -g via gen_type_die_with_usage's dwarf2out.c:20250

2015-05-26 Thread burnus at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66214 --- Comment #4 from Tobias Burnus burnus at gcc dot gnu.org --- Seems to be fixed by Honza's patch at https://gcc.gnu.org/ml/gcc-patches/2015-05/msg02225.html / by his commit r223608. Should the test case be test-cased?

[Ada] Assertion expressions and policy Ignore

2015-05-26 Thread Arnaud Charlet
This patch ensures that assertion policy Ignore interacts properly with aspect Type_Invariant'Class. -- Source -- -- pack_type_invariant_class.ads pragma Assertion_Policy (Type_Invariant'Class = Ignore); package Pack_Type_Invariant_Class is type Priv_Typ is tagged

Re: conditional lim

2015-05-26 Thread Richard Biener
On Fri, May 8, 2015 at 11:07 PM, Evgeniya Maenkova evgeniya.maenk...@gmail.com wrote: Hi, Could you please review my patch for predicated lim? Let me note some details about it: 1) Phi statements are still moved only if they have 1 or 2 arguments. However, phi statements could be

[Bug c++/66290] New: wrong location for -Wunused-macros

2015-05-26 Thread manu at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66290 Bug ID: 66290 Summary: wrong location for -Wunused-macros Product: gcc Version: unknown Status: UNCONFIRMED Severity: normal Priority: P3 Component: c++

[Ada] New aspect Disable_Controlled

2015-05-26 Thread Arnaud Charlet
This implements a new aspect Disable_Controlled which can only be used for controlled record types. It causes suppression of related calls to Initialize, Adjust, Finalize (for conditional compilation purposes). The following test: 1. with Ada.Finalization; use Ada.Finalization; 2. with

[Bug c++/66287] New: [C++11] A constexpr variable of const int* const cannot be initialized

2015-05-26 Thread kariya_mitsuru at hotmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66287 Bug ID: 66287 Summary: [C++11] A constexpr variable of const int* const cannot be initialized Product: gcc Version: 6.0 Status: UNCONFIRMED Severity: normal

Re: [CHKP, PATCH] Fix LTO cgraph merge for instrumented functions

2015-05-26 Thread Ilya Enkovich
Ping 2015-05-19 12:40 GMT+03:00 Ilya Enkovich enkovich@gmail.com: Ping 2015-05-05 11:06 GMT+03:00 Ilya Enkovich enkovich@gmail.com: Ping 2015-04-14 12:14 GMT+03:00 Ilya Enkovich enkovich@gmail.com: On 10 Apr 03:15, Jan Hubicka wrote: References are not streamed out for

Re: [CHKP, PATCH] Fix instrumented indirect calls with propagated pointers

2015-05-26 Thread Ilya Enkovich
Ping 2015-05-19 12:39 GMT+03:00 Ilya Enkovich enkovich@gmail.com: Ping 2015-05-05 11:05 GMT+03:00 Ilya Enkovich enkovich@gmail.com: Ping 2015-04-14 17:35 GMT+03:00 Ilya Enkovich enkovich@gmail.com: On 10 Apr 03:27, Jan Hubicka wrote: + /* We might propagate instrumented

[patch c++]: Fix PR 59759

2015-05-26 Thread Kai Tietz
Hi, I am not sure if suggested fix is the thing we want here. But infact having here a VAR_DECL can be caused by prior errors introducing them. So we simply might want to treat VAR_DECL in unify via unify_template_argument_mismatch. Tested for 5.x branch, and trunk. Ok for apply? Kai

[Ada] Allow new restriction pragmas in package System

2015-05-26 Thread Arnaud Charlet
This update allows the use of the following restrictions pragmas in package System: No_Specification_Of_Aspect No_Use_Of_Attribute No_Use_Of_Pragma Given a system.ads file containing the lines: pragma Restrictions (No_Use_Of_Pragma = Attach_Handler); pragma Restrictions

Re: Move ABS detection from fold-const.c to match.pd

2015-05-26 Thread Richard Biener
On Sun, May 24, 2015 at 3:17 PM, Marc Glisse marc.gli...@inria.fr wrote: I forgot to mention I optimistically tried to write something like this: (match (negated_value_for_comparison @0) (negate @0)) (match (negated_value_for_comparison (negate @0)) @0) (match

[Bug tree-optimization/46032] openmp inhibits loop vectorization

2015-05-26 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=46032 --- Comment #12 from Richard Biener rguenth at gcc dot gnu.org --- (In reply to vries from comment #11) The ipa-pta solution no longer works. In 4.6, we had: ... # USE = anything # CLB = anything GOMP_parallel_startD.1048

[Ada] Preparatory work for solving exponentiation problem

2015-05-26 Thread Arnaud Charlet
Previously, A**B could give different results for float and long float depending on whether B was a small static constant in the range 2..4 or a variable with the same value. Although both values are valid, this discrepancy is undesirable, both for general use and in particular for formal analysis

[Ada] Implement -gnatd.k to suppress internal line numbers

2015-05-26 Thread Arnaud Charlet
The new debug switch -gnatd.k suppresses occurrences of line numbers within error messages referring to a location in an internal file. The following test normally compiles as follows (with -gnatj55) 1. with Ada.Text_IO; use Ada.Text_IO; 2. with Ada.Containers.Vectors; 3.

[Bug middle-end/66241] [6 regression] [ARM] ICE: verify_type failed while building libstdc++ (dwarfout.c: gen_type_die_with_usage())

2015-05-26 Thread ramana at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66241 Ramana Radhakrishnan ramana at gcc dot gnu.org changed: What|Removed |Added Status|NEW |RESOLVED

[Bug tree-optimization/46032] openmp inhibits loop vectorization

2015-05-26 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=46032 Richard Biener rguenth at gcc dot gnu.org changed: What|Removed |Added CC||hubicka at

[Bug ipa/66181] [6 Regression]: /usr/include/bits/types.h:134:16: ICE: verify_type failed

2015-05-26 Thread ramana at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66181 Ramana Radhakrishnan ramana at gcc dot gnu.org changed: What|Removed |Added CC||vp at

Re: Copy TYPE_NO_FORCE_BLK in finalize_type_size

2015-05-26 Thread Richard Biener
On Fri, May 22, 2015 at 5:44 PM, Jan Hubicka hubi...@ucw.cz wrote: Hi, PR 66181 is about ICE in verify_type that complains that type and its variant differs by TYPE_NO_FORCE_BLK. This flag is kind-of internal to stor-layout.c, so the divergence may not matter (I am not sure about it as

[PATCH GCC]Improve how we handle overflow in scev by using overflow information computed for control iv in loop niter, part II

2015-05-26 Thread Bin Cheng
Hi, My first part patch improving how we handle overflow in scev is posted at https://gcc.gnu.org/ml/gcc-patches/2015-05/msg01795.html . Here comes the second part patch. This patch does below improvements: 1) Computes and records control iv for each loop's exit edge. This provides a way to

Re: [PING][PATCH][PR65443] Add transform_to_exit_first_loop_alt

2015-05-26 Thread Richard Biener
On Thu, 14 May 2015, Tom de Vries wrote: On 20-04-15 14:25, Richard Biener wrote: On Wed, 15 Apr 2015, Tom de Vries wrote: On 03-04-15 14:39, Tom de Vries wrote: On 27-03-15 15:10, Tom de Vries wrote: Hi, this patch fixes PR65443, a todo in the parloops pass for

[Ada] Ensure consistency of fpt exponentiation results

2015-05-26 Thread Arnaud Charlet
This change ensures on all targets that A**B = A**C when B is a small static constant in the range 0 .. 4 and C is a variable with the same value. Previously for Float and Long_Float on some targets, this was not the case. The results given were both within the error bounds that are allowed by the

[Ada] Spurious visiblity error on private subtype and inlined constructs

2015-05-26 Thread Arnaud Charlet
This patch fixes a visibility error on a subtype of a derived private type, when the enclosing unit is both the parent of an instantiated generic child unit, and contains an expression function that is automatically inlined. The following must compile and execute quietly: gnatmake -q main

[Bug target/66215] [4.8/4.9/5/6 Regression] Wrong after label NOP emission for -mhotpatch

2015-05-26 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66215 --- Comment #23 from Jakub Jelinek jakub at gcc dot gnu.org --- (In reply to Dominik Vogt from comment #22) Created attachment 35628 [details] Experimental fix 5 Version 5 with the suggested changes and a new test case. Hopefully the last

[Bug tree-optimization/66285] failure to vectorize parallelized loop

2015-05-26 Thread vries at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66285 --- Comment #7 from vries at gcc dot gnu.org --- (In reply to Richard Biener from comment #6) I thought that parallelizing vectorized loops is harder (you eventually get extra prologue and epliogue loops, etc). Another example, par-4.c: ...

Re: PING: [PATCH] PR target/65846: Optimize data access in PIE with copy reloc

2015-05-26 Thread Evgeny Stupachenko
GCC built with latest binutils and the patch give the following performance improve: spec2000INT +3% at -O2 -m32, +1,5% at -O2 -m64. Some other benchmark scores at -O2 were also improved up to 6%. The patch is very efficient for PIE mode. Thanks, Evgeny On Tue, May 5, 2015 at 6:30 PM, H.J. Lu

Re: Balanced partition map for Firefox

2015-05-26 Thread Richard Biener
On Tue, 19 May 2015, Martin Liška wrote: Hello. I've just noticed that we, for default configuration, produce just 30 partitions. I'm wondering whether that's fine, or it would be necessary to re-tune partitioning algorithm to produce better balanced map? Attached patch is used to

[Bug rtl-optimization/66275] __attribute__((sysv_abi)) with x86_64-w64-mingw32-gcc generates incorrect code

2015-05-26 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66275 Richard Biener rguenth at gcc dot gnu.org changed: What|Removed |Added Keywords||wrong-code

Re: Copy TYPE_NO_FORCE_BLK in finalize_type_size

2015-05-26 Thread Ramana Radhakrishnan
On 26/05/15 09:58, Richard Biener wrote: On Fri, May 22, 2015 at 5:44 PM, Jan Hubicka hubi...@ucw.cz wrote: Hi, PR 66181 is about ICE in verify_type that complains that type and its variant differs by TYPE_NO_FORCE_BLK. This flag is kind-of internal to stor-layout.c, so the divergence may

Re: conditional lim

2015-05-26 Thread Evgeniya Maenkova
Hi, Richard Thanks for review starting. Do you see any major issues with this patch (i.e. algorithms and ideas that should be completely replaced, effectively causing the re-write of most code)? To decide if there are major issues in the patch, perhaps, you need additional clarifications from

[Ada] Check violation of 6.20/3 in aggregates

2015-05-26 Thread Arnaud Charlet
This patch extends the machinery which detects dangerous order dependencies caused by out-mode parameters of Ada 2012 functions (AI-0144) to detect the error in array aggregates that have a nonstatic range (RM 6.20/3). The compiler now catches the error in the following sources: pragma Ada_2012;

  1   2   3   >