[PATCH, Fortran] PR 79968: merge similar diagnostics containing -fdec-structure

2017-05-17 Thread Fritz Reese
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79968 All, The PR suggests unifying diagnostics of the form "%s at %C is a DEC extension, enable with ..." I think the patch is obvious/trivial and speaks for itself. I plan to commit the attached to trunk shortly, barring any complaints. (Nb. even

C PATCH to use NULL_TREE instead of 0 for trees

2017-05-17 Thread Marek Polacek
I've always disliked using 0 where NULL_TREE should be. It's confusing to see if (value != 0), which makes value to look like an integer, even though it may be a tree. Next cleanup will probablyn be about using booleans where desirable. Bootstrapped/regtested on x86_64-linux, ok for trunk?

[PATCH, rs6000] gcc mainline, add builtin support for vec_doublee, vec_doubleo, vec_doublel builtins

2017-05-17 Thread Carl E. Love
GCC Maintainers: This patch adds support for the various vec_doublee, vec_doubleo, vec_doublel, vec_doubleh builtin-ins. The patch has been tested on powerpc64le-unknown-linux-gnu (Power 8 LE) with no regressions. Is the patch OK for gcc mainline? Carl Love

[PATCH 0/2] [MSP430] Fix issues handling .persistent attribute (PR 78818)

2017-05-17 Thread Jozef Lawrynowicz
The MSP430 target supports an attribute "persistent" that can be set on variables to indicate that they should be placed in a special section ".persistent", which will not be re-initialized on reset. As reported in PR78818 (https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78818), GCC does not place

[PATCH 1/2] [MSP430] Fix issues handling .persistent attribute (PR 78818)

2017-05-17 Thread Jozef Lawrynowicz
Change back end and add tests. Patch is attached. Note: Patch will not apply if https://gcc.gnu.org/ml/gcc-patches/2017-04/msg01030.html has been committed. "$DEFAULT_CFLAGS" in msp430.exp would need to be changed to "$MSP430_DEFAULT_CFLAGS". If the patch is acceptable, I would appreciate if

[C++ PATCH] extern "C" checking

2017-05-17 Thread Nathan Sidwell
This patch breaks a bit more out of pushdecl. When pushing an extern "C" function, we have to go check for other instances of it in different namespaces. We had lookup_extern_c_fun_in_all_ns to go find it in a different namespace. Looking for a name across all namespaces is the one thing

Re: [PATCH] Fix PR middle-end/80775, -O3 produces ice in group_case_labels_stmt

2017-05-17 Thread Peter Bergner
On 5/17/17 2:21 AM, Richard Biener wrote: > On Tue, 16 May 2017, Peter Bergner wrote: >> This bootstrapped and regtested with no regressions on both powerpc64le-linux >> and x86_64-linux. Is this ok for trunk? > > Ok. Committed as revision 248155. Thanks. Peter

[PATCH 2/2] [MSP430] Fix issues handling .persistent attribute (PR 78818)

2017-05-17 Thread Jozef Lawrynowicz
Add warning to back end and add test. Patch is attached. If the patch is acceptable, I would appreciate if someone could commit it for me as I do not have write access. 2017-05-XX Jozef Lawrynowicz gcc/ PR target/78818 * config/msp430/msp430.c

[PATCH] Fixes to Doxygen comments in libstdc++ headers

2017-05-17 Thread Jonathan Wakely
Nothing very interesting, I noticed a few Doxygen warnings while building the docs. * include/bits/refwrap.h: Fix Doxygen warning. * include/bits/specfun.h: Likewise. * include/bits/std_function.h: Likewise. * include/bits/stl_algo.h (set_union, set_intersection)

Re: C PATCH to use NULL_TREE instead of 0 for trees

2017-05-17 Thread Joseph Myers
On Wed, 17 May 2017, Marek Polacek wrote: > I've always disliked using 0 where NULL_TREE should be. It's confusing to see > if (value != 0), which makes value to look like an integer, even though it may > be a tree. > > Next cleanup will probablyn be about using booleans where desirable. > >

Re: [PATCH] [i386] Recompute the frame layout less often

2017-05-17 Thread Bernd Edlinger
On 05/17/17 04:01, Daniel Santos wrote: > On 05/16/2017 02:52 PM, Bernd Edlinger wrote: >> I think I solved the problem with -fsplit-stack, I am not sure >> if ix86_static_chain_on_stack might change after reload due to >> final.c possibly calling targetm.calls.static_chain, but if that >> is the

[PATCH] Fix comparison of decimal float zeroes (PR80692)

2017-05-17 Thread Segher Boessenkool
Decimal float negative zero should compare equal to positive zero. Decimal float zeroes are encoded as value class "normal" (in real.c); they need to be handled specially, but in this one case that does not yet happen. This fixes it. Bootstrapped and tested on powerpc64-linux {-m32,-m64}; also

[PATCH, committed] Typo in gcc.target/powerpc/pr78604.c

2017-05-17 Thread Bill Schmidt
Hi, I apparently committed the wrong version of this file with a typo in the dg-options. Fixed, tested on powerpc64le-unknown-linux-gnu, committed as obvious. Thanks, Bill 2017-05-17 Bill Schmidt * gcc.target/powerpc/pr78604.c: Fix typo in dg-options.

Re: [other/80803] libgo

2017-05-17 Thread Nathan Sidwell
On 05/17/2017 01:53 PM, Nathan Sidwell wrote: Bill, the revision you converged on is, as Ian, says, just moving some interface around. That was needed to fix obj-c++. This diff is the combination of that patch and its logical predecessor. Does reverting this diff get you back to normalcy?

[other/80803] libgo

2017-05-17 Thread Nathan Sidwell
Bill, the revision you converged on is, as Ian, says, just moving some interface around. That was needed to fix obj-c++. This diff is the combination of that patch and its logical predecessor. Does reverting this diff get you back to normalcy? nathan -- Nathan Sidwell Index:

Re: [PATCH] [i386] Recompute the frame layout less often

2017-05-17 Thread Bernd Edlinger
On 05/15/17 03:39, Daniel Santos wrote: > On 05/14/2017 11:31 AM, Bernd Edlinger wrote: >> Hi Daniel, >> >> there is one thing I don't understand in your patch: >> That is, it introduces a static value: >> >> /* Registers who's save & restore will be managed by stubs called from >>

[PATCH 3/4] Add a branch cost for SPARC M7.

2017-05-17 Thread Sheldon Lobo
* config/sparc/sparc.h (BRANCH_COST): Set the SPARC M7 branch latency to 1. --- gcc/config/sparc/sparc.h |7 +-- 1 files changed, 5 insertions(+), 2 deletions(-) diff --git a/gcc/config/sparc/sparc.h b/gcc/config/sparc/sparc.h index 6277738..686a3d5 100644 ---

[PATCH 0/4] Minor SPARC T4 and M7 fixes and additions

2017-05-17 Thread Sheldon Lobo
This patch series contains small fixes and updates for the SPARC platform. Patch 1 fixes a small typo in sol2.h Patch 2 sets a branch cost for the SPARC T4 processor. Patch 3 sets a branch cost for the SPARC M7 processor. Patch 4 changes the function alignment for the M7 processor from 4 to 8

[PATCH 4/4] Set function alignment for M7 to 8 bytes.

2017-05-17 Thread Sheldon Lobo
* config/sparc/sparc.c (sparc_option_override): Set function alignment for -mcpu=niagara7 to 64 to match the I$ line. * testsuite/gcc.target/sparc/niagara7-align.c: Test case with -mcpu=niagara7 -falign-functions. --- gcc/config/sparc/sparc.c

[PATCH 2/4] Add a branch cost for SPARC T4.

2017-05-17 Thread Sheldon Lobo
* config/sparc/sparc.h (BRANCH_COST): Set the SPARC T4 branch latency to 2. --- gcc/config/sparc/sparc.h |8 ++-- 1 files changed, 6 insertions(+), 2 deletions(-) diff --git a/gcc/config/sparc/sparc.h b/gcc/config/sparc/sparc.h index 590a5f4..6277738 100644 ---

[PATCH 1/4] Fix typo in config/sparc/sol2.h

2017-05-17 Thread Sheldon Lobo
* config/sparc/sol2.h: Fix a ASM_CPU32_DEFAULT_SPEC typo. --- gcc/config/sparc/sol2.h |2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/gcc/config/sparc/sol2.h b/gcc/config/sparc/sol2.h index db24ca3..8a50bfe 100644 --- a/gcc/config/sparc/sol2.h +++

Re: [patch, fortran] PR80741 [Regression 7/8] DTIO wrong code causes incorrect behaviour of namelist READ

2017-05-17 Thread Paul Richard Thomas
Hi Jerry, OK for trunk and for 7-branch after a delay. Cheers and thanks Paul On 17 May 2017 at 06:34, Jerry DeLisle wrote: > Hi all, > > When I first looked at this I thought the minor front end bobble was the > problem. That turns out to be unrelated but needed to be

Re: [PATCH 4/4] Set function alignment for M7 to 8 bytes.

2017-05-17 Thread Eric Botcazou
> * config/sparc/sparc.c (sparc_option_override): Set function > alignment for -mcpu=niagara7 to 64 to match the I$ line. > * testsuite/gcc.target/sparc/niagara7-align.c: Test case with > -mcpu=niagara7 -falign-functions. The testsuite directory has its own ChangeLog file

Re: [PATCH 0/4] Minor SPARC T4 and M7 fixes and additions

2017-05-17 Thread Eric Botcazou
> This patch series contains small fixes and updates for the SPARC > platform. > > Patch 1 fixes a small typo in sol2.h > > Patch 2 sets a branch cost for the SPARC T4 processor. > > Patch 3 sets a branch cost for the SPARC M7 processor. > > Patch 4 changes the function alignment for the M7

Re: [PATCH, Fortran] PR 79968: merge similar diagnostics containing -fdec-structure

2017-05-17 Thread Paul Richard Thomas
Hi Fritz, Yes, that's good for trunk. Thanks Paul On 17 May 2017 at 16:51, Fritz Reese wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79968 > > All, > > The PR suggests unifying diagnostics of the form "%s at %C is a DEC > extension, enable with ..." I think the

[PATCH, rs6000] Fold Vector misc - fix testcases

2017-05-17 Thread Will Schmidt
Review and update the dg-require-effective-target clauses for the fold-vec-* tests. Most of the tests affected here had specified altivec when they actually needed VSX. Also simplified the related dg-options statements to eliminate redundancies. The testcases have now been double-checked in

Re: [PATCH 4/4] Set function alignment for M7 to 8 bytes.

2017-05-17 Thread Sheldon Lobo
On 05/17/2017 04:11 PM, Eric Botcazou wrote: * config/sparc/sparc.c (sparc_option_override): Set function alignment for -mcpu=niagara7 to 64 to match the I$ line. * testsuite/gcc.target/sparc/niagara7-align.c: Test case with -mcpu=niagara7 -falign-functions.

Re: [RFC] propagate malloc attribute in ipa-pure-const pass

2017-05-17 Thread Martin Sebor
The patch passes bootstrap+test on x86_64 and found a few functions in the source tree (attached func_names.txt) that could be annotated with malloc (I gave a brief look at some of the functions and didn't appear to be false positives but I will recheck thoroughly) virtual char*

Re: [PATCH, rs6000] Fold Vector misc - fix testcases

2017-05-17 Thread Segher Boessenkool
Hi Will, On Wed, May 17, 2017 at 01:44:45PM -0500, Will Schmidt wrote: > --- a/gcc/testsuite/gcc.target/powerpc/fold-vec-div-floatdouble.c > +++ b/gcc/testsuite/gcc.target/powerpc/fold-vec-div-floatdouble.c > @@ -1,9 +1,9 @@ > /* Verify that overloaded built-ins for vec_div with float and > -

Re: [PATCH, rs6000] gcc mainline, add builtin support for vec_doublee, vec_doubleo, vec_doublel builtins

2017-05-17 Thread Segher Boessenkool
Hi Carl, Bunch of things, I'm afraid. On Wed, May 17, 2017 at 08:25:38AM -0700, Carl E. Love wrote: >* config/rs6000/rs6000-c: Add support for built-in functions >* config/rs6000/rs6000-builtin.def: Add definitions for >* config/rs6000/altivec.h: Add define for Some parts are

Re: [other/80803] libgo

2017-05-17 Thread Nathan Sidwell
On 05/17/2017 04:56 PM, Bill Schmidt wrote: Hi Nathan, Interestingly, this patch applies cleanly, but does *not* solve the problem with libgo. Another puzzling development, since bisection showed all revisions before this being clean and all revisions afterward being problematic. Drat. :(

libgo patch committed: add "vendor" to pkgpath for vendored standard packages

2017-05-17 Thread Ian Lance Taylor
This libgo patch ensures that the packages vendored into the standard library do not have the same pkgpath as the actual packages. If we don't, attempts to build and test the actual packages will get confused. The specific error I was seeing was import loops, causing some of the packages to fail

Re: [other/80803] libgo

2017-05-17 Thread Bill Schmidt
Hi Nathan, Interestingly, this patch applies cleanly, but does *not* solve the problem with libgo. Another puzzling development, since bisection showed all revisions before this being clean and all revisions afterward being problematic. Drat. :( I will have to go deeper into what's happening

[PATCH rs6000] Fix up dg-options for BMI intrinsic tests

2017-05-17 Thread Steven Munroe
David pointed out that I my earlier X86 BMI intrinsic header submission was causing make check failures on on powerpc64le platforms. The patch below tests out on Linux BE powerpc64/32 and should also resolve the failures on AIX. I don't have access to a AIX so David can you give this patch a quick

Re: [patch] FreeBSD arm: make _Unwind_G/SetIP available as function.

2017-05-17 Thread Andreas Tobler
On 07.05.17 21:23, Andreas Tobler wrote: Hi all, On FreeBSD we make use of the functions _Unwind_GetIP, _Unwind_GetIPInfo and _Unwind_SetIP outside of GCC. All other FreeBSD targets have these functions available except arm. Now since the GCC port for arm*-*-freebsd* is used more often (not

[patch, fortran] Handle MATMUL(TRANSPOSE(A),B) in inline matmul

2017-05-17 Thread Thomas Koenig
Hello world, after receiving no negative feedback on my RFC patch, I have deciced to submit the patch. The attached patch handles MATMUL(TRANSPOSE(A),B) in inlining matmul. Speed is a bit faster than the library version. Regression-tested. OK for trunk? Regards Thomas 2017-05-17

Re: [PATCH] Fix comparison of decimal float zeroes (PR80692)

2017-05-17 Thread Ben Elliston
On Wed, May 17, 2017 at 06:36:38PM +, Segher Boessenkool wrote: > 2017-05-17 Segher Boessenkool > > PR middle-end/80692 > * real.c (do_compare): Give decimal_do_compare preference over > comparing just the signs. > > gcc/testsuite/ > PR

Re: [PATCH rs6000] Fix up dg-options for BMI intrinsic tests

2017-05-17 Thread David Edelsohn
On Wed, May 17, 2017 at 4:56 PM, Steven Munroe wrote: > David pointed out that I my earlier X86 BMI intrinsic header submission > was causing make check failures on on powerpc64le platforms. The patch > below tests out on Linux BE powerpc64/32 and should also resolve

[PATCH] add more detail to -Wconversion and -Woverflow (PR 80731)

2017-05-17 Thread Martin Sebor
While working on a new warning for unsafe conversion I noticed that the existing warnings that diagnose these kinds of problems are missing some useful detail. For example, given declarations of an integer Type and an integer Constant defined in some header, a C programmer who writes this

Re: Make tree-ssa-strlen.c handle partial unterminated strings

2017-05-17 Thread Richard Sandiford
Richard Sandiford writes: > Jakub Jelinek writes: >> Hi! >> >> Note the intent of the pass is to handle the most common cases, it is fine >> if some cases that aren't common aren't handled, it is all about the extra >> complexity vs. how much it

Re: [RFC PATCH, i386]: Enable post-reload compare elimination pass

2017-05-17 Thread Uros Bizjak
On Wed, May 17, 2017 at 4:45 AM, Hans-Peter Nilsson wrote: >> But yes, we definitely should document the final canonical ordering. > > Is that about to also happen? > > I foresee in another half-a-dozen years, and *this* iteration is > forgotten, someone bothered enough to

Re: [PATCH] Fix PR middle-end/80775, -O3 produces ice in group_case_labels_stmt

2017-05-17 Thread Richard Biener
On Tue, 16 May 2017, Peter Bergner wrote: > The test case in PR80775 exposes a problem in handling two separate > case labels that lead to the same block that contains a call to > __builtin_unreachable(). The current code handles the first label > and deletes the associated edge/block, but

Re: [PATCH v2 2/N] Introduce dump_flags_t type and use it instead of int, type.

2017-05-17 Thread Richard Biener
On Tue, May 16, 2017 at 4:55 PM, Martin Liška wrote: > On 05/16/2017 03:48 PM, Richard Biener wrote: >> On Fri, May 12, 2017 at 3:00 PM, Martin Liška wrote: >>> Second part changes 'int flags' to a new typedef. >>> All corresponding interfaces have been changed.

Re: [PATCH] Dump functions for verification failures

2017-05-17 Thread Richard Biener
On Wed, May 17, 2017 at 4:12 AM, Andi Kleen wrote: > From: Andi Kleen > > When a verification check fails it is useful to dump the current > function to the dump file, so it's easier to figure out what > actually went wrong. > > Add function dumps for

Re: [PATCH v2 2/N] Introduce dump_flags_t type and use it instead of int, type.

2017-05-17 Thread Martin Liška
On 05/17/2017 09:44 AM, Richard Biener wrote: > On Tue, May 16, 2017 at 4:55 PM, Martin Liška wrote: >> On 05/16/2017 03:48 PM, Richard Biener wrote: >>> On Fri, May 12, 2017 at 3:00 PM, Martin Liška wrote: Second part changes 'int flags' to a new typedef.

Re: [RFC PATCH, i386]: Enable post-reload compare elimination pass

2017-05-17 Thread Eric Botcazou
> I've got the visium, rx and mn103 patches handy to ensure they don't > regress. aarch64 doesn't seem to be affected either way but I didn't > investigate why -- I expected it to improve with your change. Thanks for taking care of this, but a couple of comments in config/visium are now

[PATCH] Enable by default -Werror just for bootstrap-debug.mk.

2017-05-17 Thread Martin Liška
Hi. As discussed on IRC some time ago, there are configurations that produce -Werror=maybe-uninitialized and other warnings that break bootstrap. So that, the patch makes -Werror just for default (boostrap-debug) configuration. Ready for trunk? Martin >From

Re: C PATCH to fix ASAN ICE with a compound literal (PR sanitizer/80659)

2017-05-17 Thread Marek Polacek
On Wed, May 17, 2017 at 09:42:08AM +0200, Richard Biener wrote: > On Tue, 16 May 2017, Marek Polacek wrote: > > > Martin L. asked me to have a look at this ICE with ASAN. This is an ICE > > with a > > compound literal in a switch. A hash map gimplify_ctxp->live_switch_vars is > > filled when

Re: C PATCH to fix ASAN ICE with a compound literal (PR sanitizer/80659)

2017-05-17 Thread Richard Biener
On Tue, 16 May 2017, Marek Polacek wrote: > Martin L. asked me to have a look at this ICE with ASAN. This is an ICE with > a > compound literal in a switch. A hash map gimplify_ctxp->live_switch_vars is > filled when processing DECL_EXPRs with their DECL_EXPR_DECLs. Such decls > should >

Re: [PATCH, GCC/ARM] Fix comment for cmse_nonsecure_call_clear_caller_saved

2017-05-17 Thread Kyrill Tkachov
On 15/05/17 17:13, Thomas Preudhomme wrote: Hi, Saving, clearing and restoring of *callee-saved* registers when doing a cmse_nonsecure_call is done in the __gnu_cmse_nonsecure_call libcall. Yet, comments for cmse_nonsecure_call_clear_caller_saved claim that it is this function that does these

Re: [PATCH 12/12] [i386,testsuite] Test program for ms to sysv abi function calls.

2017-05-17 Thread Thomas Preudhomme
Hi Daniel, On 27/04/17 09:09, Daniel Santos wrote: A comprehensive program for testing x86_64 ms_abi functions that call sysv_abi functions to help validate -mcall-ms2sysv-xlogues and use of aligned SSE MOVs after a (non-DRAP) realigned stack. Signed-off-by: Daniel Santos

Re: [PATCH 1/2] x86,s390: add compiler memory barriers when expanding atomic_thread_fence (PR 80640)

2017-05-17 Thread Alexander Monakov
Ping. (to be clear, patch 2/2 is my previous followup in this thread, I forgot to adjust the subject line; it should have said: "[PATCH 2/2] x86: add compiler memory barriers when expanding atomic_load"). On Wed, 10 May 2017, Alexander Monakov wrote: > Hi, > > When expanding

Trun predicates into a class

2017-05-17 Thread Jan Hubicka
Hi, this is first patch of series to modularize function analysis done by ipa-inline and ipa-cp. This patch turns predicates into a class. It avoids any code movement or semnatic changes which I will do next. Main change is to turn some of functions into operators which makes the code more

[PATCH] Fix PR80754

2017-05-17 Thread Wilco Dijkstra
When lra-remat rematerializes an instruction with a clobber, it checks that the clobber does not kill live registers. However it fails to check that the clobber also doesn't overlap with the destination register of the final rematerialized instruction. As a result it is possible to generate

Re: [gomp4] backport misc OMP 4.5 changes from trunk

2017-05-17 Thread Thomas Schwinge
Hi! On Wed, 15 Mar 2017 07:21:26 -0700, Cesar Philippidis wrote: > This patch backports Jakub's Fortran OMP 4.5 changes to gomp-4_0-branch. > The original patch may be found here > . I've applied > it to

Re: [gomp4] Implement OpenACC 2.5 reference counting, and finalize clause

2017-05-17 Thread Thomas Schwinge
Hi! On Tue, 16 May 2017 20:55:46 +0800, Chung-Lin Tang wrote: > finalize clause of the exit data directive This would run into ICEs in the C++ front end (template handling) as well as C and Fortran front ends (nested function handling), and didn't pretty-print the

Re: [gomp4] Implement OpenACC 2.5 reference counting, and finalize clause

2017-05-17 Thread Thomas Schwinge
Hi! On Tue, 16 May 2017 20:55:46 +0800, Chung-Lin Tang wrote: > finalize clause of the exit data directive Thanks! > --- libgomp/oacc-parallel.c (revision 248095) > +++ libgomp/oacc-parallel.c (revision 248096) > void > GOACC_enter_exit_data (int device,

Re: [gomp4] Implement OpenACC 2.5 reference counting, and finalize clause

2017-05-17 Thread Thomas Schwinge
Hi! On Tue, 16 May 2017 20:55:46 +0800, Chung-Lin Tang wrote: > finalize clause of the exit data directive, and the > corresponding API routines. > --- libgomp/oacc-parallel.c (revision 248095) > +++ libgomp/oacc-parallel.c (revision 248096) > @@ -355,7 +355,22 @@

Re: [PATCH v2 3/N] Transform TDF_{lang,tree,ipa,rtl} to dump_kind enum.

2017-05-17 Thread Richard Biener
On Fri, May 12, 2017 at 3:04 PM, Martin Liška wrote: > Third part removes TDF_* flags mentioned in the subject. These flags are used > to enable all passes of specific type and Nathan has recently separated these > by a new pair of macros. I hope moving these to a separate enum

[C++ PATCH] OVERLOAD iterators #4

2017-05-17 Thread Nathan Sidwell
This patch converts pieces of class member function handling. Plus a couple of constraint pieces and an address-of where we wrap an fn in an overload. nathan -- Nathan Sidwell 2017-05-17 Nathan Sidwell * class.c (handle_using_decl): Use OVL_FIRST, ovl_iterator.

Re: [C++ PATCH, RFC] Implement new C++ intrinsics __is_assignable and __is_constructible.

2017-05-17 Thread Ville Voutilainen
On 16 May 2017 at 21:44, Jason Merrill wrote: >> Well, now that Jason pointed out that cp_unevaluated_operand is the >> trick, here's a new >> patch that fixes that bug and passes the full testsuite on Linux-x64. > > OK, thanks. One more round. This patch doesn't change any of

Re: [PATCH] warn on mem calls modifying objects of non-trivial types (PR 80560)

2017-05-17 Thread Pedro Alves
On 05/17/2017 02:55 AM, Martin Sebor wrote: > On 05/16/2017 04:48 PM, Pedro Alves wrote: >> On 05/16/2017 08:41 PM, Jason Merrill wrote: >> >>> I agree that it makes sense to >>> check for a trivial assignment operator specifically. I guess we want >>> a slightly stronger "trivially copyable"

Re: [gomp4] Implement OpenACC 2.5 reference counting, and finalize clause

2017-05-17 Thread Thomas Schwinge
Hi! On Tue, 16 May 2017 20:55:46 +0800, Chung-Lin Tang wrote: > finalize clause of the exit data directive The OpenACC front end code currently maps the OpenACC delete clause to "OMP_CLAUSE_DELETE" -- however, without a finalize clause, this clause actually has

Re: [PATCH] warn on mem calls modifying objects of non-trivial types (PR 80560)

2017-05-17 Thread Pedro Alves
[Meant to add this to the other email, but forgot to copy it back.] On 05/12/2017 03:31 AM, Martin Sebor wrote: > + // Zeroing out is diagnosed only because it's difficult not to. > + // Otherwise, a class that's non-trivial only because it has > + // a non-trivial dtor can be safely zeroed

Re: [PATCH] make RTL/TREE/IPA dump kind an index

2017-05-17 Thread Richard Biener
On Sun, May 14, 2017 at 3:57 AM, Nathan Sidwell wrote: > On 05/13/2017 03:58 AM, Bernhard Reutner-Fischer wrote: > >> Specifically >> https://gcc.gnu.org/ml/fortran/2012-03/msg00094.html >> >> dejagnu-1.5.2 contains the libdirs tweak and was released 2015-01-30 >> >> Mike, can we

[RFC, PATCH][ASAN] Implement dynamic allocas/VLAs sanitization.

2017-05-17 Thread Maxim Ostapenko
Hi, this patch implements dynamic allocas/VLAs sanitization in ASan. Basically, this is implemented at compiler part in the following way: 1) For each __builtin_alloca{_with_align} increase its size and alignment to contain ASan redzones. 2) Poison redzones by calling

Re: [PATCH GCC8][29/33]New register pressure estimation

2017-05-17 Thread Richard Biener
On Mon, May 15, 2017 at 5:50 PM, Bin.Cheng wrote: > On Thu, May 11, 2017 at 11:39 AM, Richard Biener > wrote: >> On Tue, Apr 18, 2017 at 12:53 PM, Bin Cheng wrote: >>> Hi, >>> Currently IVOPTs shares the same register

RE:[PATCH,AIX] Enable FFI Go Closure on AIX

2017-05-17 Thread REIX, Tony
Hi, We have built and installed the libffi master of yesterday on a AIX 6.1 machine and we have rebuilt and tested Python3 (3.5.2) with this libffi. And that is OK. 32bit and 64bit. 5 more tests were run and succeeded. And 1 test (test_ssl) which was skipped before is now run but failed due to

Re: [PATCH GCC8][30/33]Fold more type conversion into binary arithmetic operations

2017-05-17 Thread Richard Biener
On Mon, May 15, 2017 at 5:56 PM, Bin.Cheng wrote: > On Thu, May 11, 2017 at 11:54 AM, Richard Biener > wrote: >> On Tue, Apr 18, 2017 at 12:53 PM, Bin Cheng wrote: >>> Hi, >>> Simplification of (T1)(X *+- CST) is already

Re: [RFC PATCH, i386]: Enable post-reload compare elimination pass

2017-05-17 Thread Hans-Peter Nilsson
On Wed, 17 May 2017, Uros Bizjak wrote: > On Wed, May 17, 2017 at 4:45 AM, Hans-Peter Nilsson wrote: > >> But yes, we definitely should document the final canonical ordering. > > > > Is that about to also happen? > The proposed doc patch is wiating for review at [1]. > > [1]

Re: [PATCH v2 04/N] Simplify usage of some TDF_* flags.

2017-05-17 Thread Richard Biener
On Tue, May 16, 2017 at 3:53 PM, Martin Liška wrote: > There's one another patch that merges some TDF_* flags that have > very similar meaning and do not influence test-suite, because > nobody is using them for scanning. > > Patch can bootstrap on ppc64le-redhat-linux and survives

Re: [PATCH GCC8][29/33]New register pressure estimation

2017-05-17 Thread Richard Sandiford
"Bin.Cheng" writes: > -/* Calculates cost for having N_REGS registers. This number includes > - induction variables, invariant variables and invariant expressions. */ > +/* Estimate register pressure for loop having N_INVS invariants and N_CANDS > + induction

[C++ PATCH] OVERLOAD iterators #5

2017-05-17 Thread Nathan Sidwell
This patch fixes up add_method. There are two things going on here 1) a new ovl_insert worker to add a new decl to an existing overload set. This is no longer simply prepending the new decl, as we keep the set ordered. The eventual ordering will be hidden->using->regular->exported. But at

RE:[PATCH,AIX] Enable FFI Go Closure on AIX

2017-05-17 Thread REIX, Tony
Patch has been submitted to libffi github : https://github.com/libffi/libffi/pull/308 . Regards, Cordialement, Tony Reix Bull - ATOS IBM Coop Architect & Technical Leader Office : +33 (0) 4 76 29 72 67 1 rue de Provence - 38432 Échirolles - France www.atos.net

Re: [PATCH,AIX] Enable FFI Go Closure on AIX

2017-05-17 Thread David Edelsohn
On Wed, May 17, 2017 at 9:11 AM, REIX, Tony wrote: > Patch has been submitted to libffi github : > https://github.com/libffi/libffi/pull/308 . Good. There still was no ChangeLog included with the patch. Also, the new functions in the patch are not consistent with the

Re: Trun predicates into a class

2017-05-17 Thread David Malcolm
On Wed, 2017-05-17 at 12:48 +0200, Jan Hubicka wrote: > Hi, > this is first patch of series to modularize function analysis done by > ipa-inline and ipa-cp. This patch turns predicates into a class. It > avoids any > code movement or semnatic changes which I will do next. Main change > is to >

[ubsan PATCH] -fsanitize=null fails to sanitize >i (PR sanitizer/80797)

2017-05-17 Thread Marek Polacek
We are failing to detect accessing a null pointer in >i because v_3 = _2->i; is not gimple_assign_load_p: 1997 if (flag_sanitize & (SANITIZE_NULL | SANITIZE_ALIGNMENT)) 1998 { 1999 if (gimple_store_p (stmt)) 2000 instrument_null (gsi, true);

Re: [C++ PATCH, RFC] Implement new C++ intrinsics __is_assignable and __is_constructible.

2017-05-17 Thread Jonathan Wakely
On 17/05/17 15:15 +0300, Ville Voutilainen wrote: One more round. This patch doesn't change any of the compiler bits, but the llvm testsuite revealed that we didn't handle things like is_trivially_copy_constructible properly, so I needed to adjust the library implementation of the

Re: Trun predicates into a class

2017-05-17 Thread Jan Hubicka
> On Wed, 2017-05-17 at 12:48 +0200, Jan Hubicka wrote: > > Hi, > > this is first patch of series to modularize function analysis done by > > ipa-inline and ipa-cp. This patch turns predicates into a class. It > > avoids any > > code movement or semnatic changes which I will do next. Main

Re: [PATCH] Add -dB option to disable backtraces

2017-05-17 Thread Andi Kleen
On Tue, May 16, 2017 at 08:40:02PM -0700, Andrew Pinski wrote: > On Tue, May 16, 2017 at 7:16 PM, Andi Kleen wrote: > > From: Andi Kleen > > > > When running creduce on an ICE substantial amounts of the total > > CPU time go to backtrace_qsort()

Re: [PATCH] Add -dB option to disable backtraces

2017-05-17 Thread Ian Lance Taylor via gcc-patches
On Wed, May 17, 2017 at 7:13 AM, Andi Kleen wrote: > On Tue, May 16, 2017 at 08:40:02PM -0700, Andrew Pinski wrote: >> On Tue, May 16, 2017 at 7:16 PM, Andi Kleen wrote: >> > From: Andi Kleen >> > >> > When running creduce on an