Re: [RFA][PR tree-optimization/79095] [PATCH 1/4] Improve ranges for MINUS_EXPR and EXACT_DIV_EXPR V2

2017-02-10 Thread Richard Biener
On Fri, Feb 10, 2017 at 4:06 AM, Jeff Law wrote: > On 02/08/2017 05:45 AM, Richard Biener wrote: >> >> On Tue, Feb 7, 2017 at 7:31 PM, Jeff Law wrote: >>> >>> >>> This patch addresses issues Richi raised from V1. Specifically it moves >>> EXACT_DIV_EXPR handling into extract_range_from_binary_ex

Re: [PATCH] gfortran -- Map REAL128 to REAL kind type with widest precision

2017-02-10 Thread Gerald Pfeifer
On Thu, 9 Feb 2017, Steve Kargl wrote: > I may have had acces to the wiki at some point, but no longer can > login. For the gcc-7/changes.html, is the attached diff ok? Gerald, > is there a ChangeLog for wwwdocs/? the gcc-7/changes.html change looks good to me (wearing my web hat, I'll defer to

Re: [RFC] [PATCH v3 0/8] [i386] Use out-of-line stubs for ms_abi pro/epilogues

2017-02-10 Thread Uros Bizjak
On Tue, Feb 7, 2017 at 7:38 PM, Daniel Santos wrote: > Uros or Jan, > Please take this as a ping, as I never bothered pinging after submitting v2 > since I found a few more issues with it. :) Although I realize this would be > a GCC 8 stage 1 item, I would like to try to get it finished up and >

Re: [PATCH 1/5] testsuite: attr-alloc_size-11.c (PR79356)

2017-02-10 Thread Rainer Orth
Segher Boessenkool writes: > As stated in the PR, this test now passes on aarch64, ia64, powerpc, > and s390x. This patch disables the xfails for those targets. As I'd mentioned in PR tree-optimization/78775, the test XPASSes on SPARC, too. > Tested on powerpc64-linux {-m32,-m64}. Is this ok

Re: [RFC] [PATCH v3 0/8] [i386] Use out-of-line stubs for ms_abi pro/epilogues

2017-02-10 Thread JonY
On 02/10/2017 10:32 AM, Uros Bizjak wrote: > On Tue, Feb 7, 2017 at 7:38 PM, Daniel Santos wrote: > >> Uros or Jan, >> Please take this as a ping, as I never bothered pinging after submitting v2 >> since I found a few more issues with it. :) Although I realize this would be >> a GCC 8 stage 1 ite

[PATCH][RFC] Fix PR79432, SSA from the gimplifier and abnormal edges

2017-02-10 Thread Richard Biener
It turns out the SSA var defs/uses generated by the gimplifier can break apart in a way no longer satisfying the dominance requirement of SSA uses vs. their defs by means of CFG construction adding abnormal edges for stuff like setjmp (but also non-local gotos I guess). This would be quite costl

Re: [PATCH][GIMPLEFE] Fix for ICE due to undeclared variable

2017-02-10 Thread Richard Biener
On Thu, Feb 9, 2017 at 7:00 AM, Prasad Ghangal wrote: > On 7 February 2017 at 13:40, Richard Biener > wrote: >> On Mon, Feb 6, 2017 at 7:00 AM, Prasad Ghangal >> wrote: >>> On 4 January 2017 at 16:02, Richard Biener >>> wrote: On Wed, Dec 28, 2016 at 7:27 PM, Prasad Ghangal wrote:

Re: [gomp4] enable GOMP_MAP_FIRSTPRIVATE_INT in OpenACC

2017-02-10 Thread Tom de Vries
On 30/01/17 11:18, Thomas Schwinge wrote: +static tree +convert_from_firstprivate_pointer (tree var, bool is_ref, gimple_seq *gs) +{ + tree type = TREE_TYPE (var); + tree new_type = NULL_TREE; + tree tmp = NULL_TREE; + tree inner_type = NULL_TREE; [...]/source-gcc/gcc/omp-low.c: In funct

[PATCH][GRAPHITE] Remove support for ISL 0.14

2017-02-10 Thread Richard Biener
As a cleanup (and to be able to close bugs only reproducing with ISL 0.14) the following removes support for ISL 0.14 for GCC 7. This removes quite a bit of legacy code (which would need to be maintained). Bootstrap / regtest in progress with ISL 0.14 installed and once with ISL 0.16.1 installe

[PATCH] Adjust sorry () for graphite

2017-02-10 Thread Richard Biener
Built on x86_64-unknown-linux-gnu, applied as obvious. Richard. 2017-02-10 Richard Biener * toplev.c (process_options): Do not mention obsolete graphite options when printing sorry message about missing graphite support. Mention -floop-nest-optimize. Index: gcc/tople

Re: [PATCH 1/5] testsuite: attr-alloc_size-11.c (PR79356)

2017-02-10 Thread Segher Boessenkool
On Fri, Feb 10, 2017 at 11:56:39AM +0100, Rainer Orth wrote: > Segher Boessenkool writes: > > > As stated in the PR, this test now passes on aarch64, ia64, powerpc, > > and s390x. This patch disables the xfails for those targets. > > As I'd mentioned in PR tree-optimization/78775, the test XPAS

C++ PATCH to prevent bogus -Wint-in-bool-context warning (PR c++/79184)

2017-02-10 Thread Marek Polacek
This PR complains about -Wint-in-bool-context warning where it shouldn't. Here, in "f<1 * 1>()" the MULT_EXPR isn't really in a boolean context, but we warn anyway during overload resolution, when adding various template candidates. I believe the way to prevent this is to honor complain & tf_warni

C++ PATCH to fix ICE-on-invalid with incomplete type (PR c++/79435)

2017-02-10 Thread Marek Polacek
I believe that to fix this ice-on-invalid we should just make type_dependent_expression_p more robust so that it doesn't crash on expressions that are missing a type. Bootstrapped/regtested on x86_64-linux, ok for trunk? 2017-02-10 Marek Polacek PR c++/79435 * pt.c (type_depen

Re: C++ PATCH to fix ICE-on-invalid with incomplete type (PR c++/79435)

2017-02-10 Thread Jason Merrill
OK. On Fri, Feb 10, 2017 at 10:57 AM, Marek Polacek wrote: > I believe that to fix this ice-on-invalid we should just make > type_dependent_expression_p more robust so that it doesn't crash on > expressions > that are missing a type. > > Bootstrapped/regtested on x86_64-linux, ok for trunk? > >

Re: C++ PATCH to prevent bogus -Wint-in-bool-context warning (PR c++/79184)

2017-02-10 Thread Jason Merrill
OK. On Fri, Feb 10, 2017 at 10:55 AM, Marek Polacek wrote: > This PR complains about -Wint-in-bool-context warning where it shouldn't. > Here, in "f<1 * 1>()" the MULT_EXPR isn't really in a boolean context, but we > warn anyway during overload resolution, when adding various template > candidate

Re: [PATCH][PR target/79449][7 regression] fix ppc strncmp builtin expansion runtime boundary crossing check

2017-02-10 Thread Segher Boessenkool
Hi Aaron, On Thu, Feb 09, 2017 at 09:45:38PM -0600, Aaron Sawdey wrote: > --- gcc/config/rs6000/rs6000.c(revision 245294) > +++ gcc/config/rs6000/rs6000.c(working copy) > @@ -19931,15 +19931,26 @@ >cmpldi cr7,r8,4096-16 >bgtcr7,L(pagecross) */ > > + /* Ma

Re: [PATCH][PR target/79295][7 regression] fix ppc bcdadd insn pattern

2017-02-10 Thread Segher Boessenkool
On Thu, Feb 09, 2017 at 10:09:08PM -0600, Aaron Sawdey wrote: > The bcdadd pattern has the wrong constraints. The change Meissner > supplied in PR79295 fixes the issue. > > Successfully bootstrapped on ppc64le, ok for trunk if regtest also > passes? Yes please. Thanks, Segher > 2017-02-09  A

Re: [PATCH 2/8] [i386] Add option -moutline-msabi-xlogues

2017-02-10 Thread Sandra Loosemore
On 02/09/2017 09:46 PM, Daniel Santos wrote: On 02/08/2017 05:28 PM, Bernhard Reutner-Fischer wrote: On 7 February 2017 19:40:17 CET, Daniel Santos wrote: +{ "-mmoutline-msabi-xlogues",MASK_OUTLINE_MSABI_XLOGUES } }; s/mm/m/ I'd like to re-iterate my previous request that the op

Re: [PATCH] avoid ICE when attempting to init a flexible array member (PR c++/79363)

2017-02-10 Thread Martin Sebor
Ping: https://gcc.gnu.org/ml/gcc-patches/2017-02/msg00489.html On 02/06/2017 07:04 PM, Martin Sebor wrote: The attached patch avoids another ICE (in addition to the already fixed bug 72775) in flexible array member NSDMI. To avoid code duplication and for consistency I factored the diagnostic

Re: [RFC] [PATCH v3 0/8] [i386] Use out-of-line stubs for ms_abi pro/epilogues

2017-02-10 Thread Daniel Santos
On 02/10/2017 05:34 AM, JonY wrote: Hi, Thanks for the code size reduction patch, I have a few questions: Thanks for your review! 1. How does code compiled with -moutline-msabi-xlogues interact with older code compiled without it? Are these only called on ABI transition? These are only cal

Re: [PATCH 2/8] [i386] Add option -moutline-msabi-xlogues

2017-02-10 Thread Daniel Santos
On 02/10/2017 10:54 AM, Sandra Loosemore wrote: On 02/09/2017 09:46 PM, Daniel Santos wrote: On 02/08/2017 05:28 PM, Bernhard Reutner-Fischer wrote: On 7 February 2017 19:40:17 CET, Daniel Santos wrote: +{ "-mmoutline-msabi-xlogues", MASK_OUTLINE_MSABI_XLOGUES } }; s/mm/m/ I'd like

Re: [RFC] [PATCH v3 0/8] [i386] Use out-of-line stubs for ms_abi pro/epilogues

2017-02-10 Thread Daniel Santos
On 02/10/2017 04:32 AM, Uros Bizjak wrote: On Tue, Feb 7, 2017 at 7:38 PM, Daniel Santos wrote: You will need a sign-off from cygwin od mingw-w64 maintainer (CC'd). While I can review the patch in the sense that it won't break generic code, I don't know nothing about mingw-64 to give you any me

[PATCH] suppress unhelpful -Wformat-truncation=2 INT_MAX warning (PR 79448)

2017-02-10 Thread Martin Sebor
The recent Fedora mass rebuild revealed that the Wformat-truncation=2 checker is still a bit too aggressive and complains about potentially unbounded strings causing subsequent directives t exceed the INT_MAX limit. (It's unclear how the build ended up enabling level 2 of the warning.) This is b

C++ PATCH for c++/79401 (protected inherited constructor)

2017-02-10 Thread Jason Merrill
For a protected ctor, we need to adjust the access path, not clobber it. Tested x86_64-pc-linux-gnu, applying to trunk. commit d065eb77265df02c1f77fc9ea78b09b731c9fa0c Author: Jason Merrill Date: Fri Feb 10 12:15:42 2017 -0500 PR c++/79401 - protected inherited constructor

C++ PATCH for c++/71285 (member of fold-expr)

2017-02-10 Thread Jason Merrill
The fold-expressions code was improperly using unknown_type_node, which means unresolved overload; an expression whose type is unknown due to type-dependence should have null type. Tested x86_64-pc-linux-gnu, applying to trunk. commit e0fecc36cbee5afb56837b883d4091d180b880b5 Author: Jason Merrill

C++ PATCH for c++/78897 (ICE with constexpr and union)

2017-02-10 Thread Jason Merrill
When we process a store that changes the active member of a union, we need to forget about other members. Tested x86_64-pc-linux-gnu, applying to trunk. commit 23c02701a1f2d115b9b88ccd88e1d3a26674ab14 Author: Jason Merrill Date: Fri Feb 10 12:35:49 2017 -0500 PR c++/78897 - constex

Re: [PATCH] gfortran -- Map REAL128 to REAL kind type with widest precision

2017-02-10 Thread Jerry DeLisle
On 02/09/2017 08:05 PM, Steve Kargl wrote: On Thu, Feb 09, 2017 at 07:35:11PM -0800, Jerry DeLisle wrote: On 02/09/2017 12:40 PM, Janne Blomqvist wrote: On Thu, Feb 9, 2017 at 8:33 PM, Steve Kargl wrote: On Thu, Feb 09, 2017 at 12:10:02PM +0200, Janne Blomqvist wrote: That being said, I thi

Re: [PATCH] gfortran -- Map REAL128 to REAL kind type with widest precision

2017-02-10 Thread Janne Blomqvist
On Fri, Feb 10, 2017 at 9:14 PM, Jerry DeLisle wrote: > On 02/09/2017 08:05 PM, Steve Kargl wrote: >> >> On Thu, Feb 09, 2017 at 07:35:11PM -0800, Jerry DeLisle wrote: >>> >>> On 02/09/2017 12:40 PM, Janne Blomqvist wrote: On Thu, Feb 9, 2017 at 8:33 PM, Steve Kargl wrote: > >>

[PATCH] Fix overflow-vec-{1,2} testcases on ppc64/s390x (PR middle-end/79454)

2017-02-10 Thread Jakub Jelinek
Hi! UBSAN_*_OVERFLOW ifns on vector types prefer to just check in a loop for overflow, but perform the vector arithmetics on vectors. The advantage is that the partial results don't have to be inserted one by one into the result vector. This requires that there is an instruction to perform that.

[PATCH] Invalidate combiner's cached last value upon insn removal (PR rtl-optimization/79388, PR rtl-optimization/79450)

2017-02-10 Thread Jakub Jelinek
Hi! On the following testcases combiner during notes distribution sees a REG_DEAD note and decides to remove the setter thereof. That register has remembered a last value on that insn though, and it is a pseudo set multiple times. Later on we combine some further insns into pseudo = pseudo op so

[C++ PATCH] Don't pedwarn on deprecated or fallthrough attributes (PR c++/79301)

2017-02-10 Thread Jakub Jelinek
Hi! The reporter complained that even when __has_cpp_attribute (fallthrough) and similarly __has_cpp_attribute (deprecated) return true, in pedantic mode the compiler will error out on those. The following patch just removes the pedwarn, i.e. we accept those attributes as extensions even in C++11

[PATCH] Workaround extended precision decimal computations in float-cast-overflow-10.c (PR sanitizer/79341)

2017-02-10 Thread Jakub Jelinek
Hi! Apparently on s390x with -march=z10 and above at -O2, some of the _Decimal32 computations are performed in _Decimal64 precision. As the test intent is to test the diagnostics on cast from floating point types to integral types, the values we want to cast matter most (we want values that are s

C++ PATCH for c++/78908, template operators and bit-fields

2017-02-10 Thread Jason Merrill
In this testcase, in a template we were building a non-dependent version of a COMPONENT_REF with a lowered bit-field type but without the FIELD_DECL. We should use the declared type. Tested x86_64-pc-linux-gnu, applying to trunk. commit 631e8a030d0c8eebb0800943e41ffbdc38ba7eec Author: Jason Merri

[doc] install.texi link maintenance

2017-02-10 Thread Gerald Pfeifer
2017-02-10 Gerald Pfeifer * doc/install.texi (Specific): Use https for blackfin.uclinux.org. (Specific): Update mingw-w64 reference. (Binaries): Ditto. (Specific): Remove broken link to Renesas RX processor. With this, install.texi appears fine wrt. links! Appl

[PATCH] gengtype parsing member fns

2017-02-10 Thread Nathan Sidwell
I happened to write an inline member fn containing a '/' operator. That caused gengtype to complain about an unexpected '/' character. I thought I'd gone crazy until I determined it was gengtype complaining not cc1plus! Anyway, this patch adds '/' to the set of single char tokens permitted

[committed] Add a testcase (PR c++/79457)

2017-02-10 Thread Jakub Jelinek
Hi! This PR got fixed in r244833, but as the testcase isn't a 7.x regression, but existed for years, I think it is worth to check in this testcase too. Tested on x86_64-linux, committed to trunk as obvious. 2017-02-10 Jakub Jelinek PR c++/79457 * g++.dg/cpp0x/pr79457.C: New t

[doc] doc/makefile.texi: refer to installation instructions

2017-02-10 Thread Gerald Pfeifer
This link has _never_ worked, and instead of referring to the copy at gcc.gnu.org/install/ referring to the installation instructions in textual form makes sense. (They are part of release tarballs, for example.) Applied. Gerald 2017-02-10 Gerald Pfeifer * doc/makefile.texi (profi

[wwwdocs] projects/gupc.html: remove bad links to upc.lbl.gov

2017-02-10 Thread Gerald Pfeifer
upc.lbl.gov seems severely misconfigured and returns Forbidden You don't have permission to access / on this server. Additionally, a 403 Forbidden error was encountered while trying to use an ErrorDocument to handle the request. Gary, if you have contact with the admins or other links

[libstdc++,doc] doc/xml/manual/profile_mode.xml: Update a paper reference

2017-02-10 Thread Gerald Pfeifer
Not there yet, but getting close... Applied. Gerald 2017-02-10 Gerald Pfeifer * doc/xml/manual/profile_mode.xml: Update a paper reference. Index: doc/xml/manual/profile_mode.xml === --- doc/xml/manual/profile_mode.xml

Re: [PATCH] gengtype parsing member fns

2017-02-10 Thread Jeff Law
On 02/10/2017 01:55 PM, Nathan Sidwell wrote: I happened to write an inline member fn containing a '/' operator. That caused gengtype to complain about an unexpected '/' character. I thought I'd gone crazy until I determined it was gengtype complaining not cc1plus! Anyway, this patch adds '/'

Re: [PATCH][GRAPHITE] Remove support for ISL 0.14

2017-02-10 Thread Jeff Law
On 02/10/2017 07:13 AM, Richard Biener wrote: As a cleanup (and to be able to close bugs only reproducing with ISL 0.14) the following removes support for ISL 0.14 for GCC 7. This removes quite a bit of legacy code (which would need to be maintained). Bootstrap / regtest in progress with ISL 0

[PATCH] Cherry-pick 3 libsanitizer s390 changes (PR sanitizer/79341)

2017-02-10 Thread Jakub Jelinek
Hi! I've committed following patch to import a couple of s390{,x} asan fixes. Regtested on s390x-linux with -m64/-m31, committed to trunk. 2017-02-11 Jakub Jelinek PR sanitizer/79341 * configure.tgt (s390*-*-linux*): Don't disable libsanitizer on s390-linux 31-bit.

Re: [PATCH][GRAPHITE] Remove support for ISL 0.14

2017-02-10 Thread Jakub Jelinek
On Fri, Feb 10, 2017 at 04:34:30PM -0700, Jeff Law wrote: > > 2017-02-10 Richard Biener > > > > config/ > > * isl.m4: Remove support for ISL 0.14. > > > > * configure: Re-generate. > > > > gcc/ > > * configure.ac (HAVE_ISL_OPTIONS_SET_SCHEDULE_SERIALIZE_SCCS): > > Remo

Re: [RFA][PR tree-optimization/79095] [PATCH 1/4] Improve ranges for MINUS_EXPR and EXACT_DIV_EXPR V2

2017-02-10 Thread Jeff Law
On 02/09/2017 08:06 PM, Jeff Law wrote: + && *vr0min == *vr0max + && integer_zerop (*vr0min) + && TREE_CODE (vr1max) == INTEGER_CST + && TREE_CODE (vr1min) == INTEGER_CST + && difference_larger_than (vr1max,

Re: [libstdc++,doc] doc/xml/manual/profile_mode.xml: Update a paper reference

2017-02-10 Thread Joseph Myers
On Fri, 10 Feb 2017, Gerald Pfeifer wrote: > - http://www.w3.org/1999/xlink"; > xlink:href="http://dx.doi.org/10.1109/CGO.2009.36";>paper presented at > + http://www.w3.org/1999/xlink"; > xlink:href="http://ieeexplore.ieee.org/document/4907670/";>paper presented at dx.doi.org is specificall

Re: [RFC] [PATCH v3 0/8] [i386] Use out-of-line stubs for ms_abi pro/epilogues

2017-02-10 Thread JonY
On 02/10/2017 05:23 PM, Daniel Santos wrote: > On 02/10/2017 05:34 AM, JonY wrote: >> Hi, >> mingw-w64 itself does not use any ms_abi/sysv_abi marked functions >> internally, so it should be unaffected. I don't think Cygwin uses any >> either, but I need to double check. > > Of course, ms_abi is g

Re: PR79286, ira combine_and_move_insns in loops

2017-02-10 Thread Alan Modra
On Fri, Feb 03, 2017 at 01:55:33AM -0700, Jeff Law wrote: > That seems pretty pessimistic -- do we have dominance information at this > point? If so we could check that the assignment to the register dominates > the use. If they are in the same block, then you have to look at LUIDs or > somesuch

Re: [PATCH] gfortran -- Map REAL128 to REAL kind type with widest precision

2017-02-10 Thread Jerry DeLisle
On 02/10/2017 11:22 AM, Janne Blomqvist wrote: On Fri, Feb 10, 2017 at 9:14 PM, Jerry DeLisle wrote: On 02/09/2017 08:05 PM, Steve Kargl wrote: On Thu, Feb 09, 2017 at 07:35:11PM -0800, Jerry DeLisle wrote: On 02/09/2017 12:40 PM, Janne Blomqvist wrote: On Thu, Feb 9, 2017 at 8:33 PM, Ste

Re: [PATCH] gfortran -- Map REAL128 to REAL kind type with widest precision

2017-02-10 Thread Steve Kargl
On Fri, Feb 10, 2017 at 04:52:09PM -0800, Jerry DeLisle wrote: > > gcc112 is a power8 machine. > > $ gfc -static -mfloat128 -mcpu=power8 foo.f90 > $ ./a.out > 16 106 31 > > $ gfc -static -mfloat128 -mabi=ieeelongdouble foo.f90 > gfc: warning: using IEEE extended precision long double > f951: War

Re: [PATCH] gfortran -- Map REAL128 to REAL kind type with widest precision

2017-02-10 Thread Steve Kargl
On Fri, Feb 10, 2017 at 05:00:26PM -0800, Steve Kargl wrote: > On Fri, Feb 10, 2017 at 04:52:09PM -0800, Jerry DeLisle wrote: > > > > gcc112 is a power8 machine. > > > > $ gfc -static -mfloat128 -mcpu=power8 foo.f90 > > $ ./a.out > > 16 106 31 > > > > $ gfc -static -mfloat128 -mabi=ieeelongdoubl

Re: [PATCH] Fix the UB in regex caused by long decimal string

2017-02-10 Thread Tim Shen via gcc-patches
Add gcc-patches. On Fri, Feb 10, 2017 at 5:48 PM, Tim Shen wrote: > Oops I attached a diff without the ChangeLog. Attach again. > > -- > Regards, > Tim Shen -- Regards, Tim Shen

[PATCH] Reduce _GLIBCXX_REGEX_STATE_LIMIT

2017-02-10 Thread Tim Shen via gcc-patches
Thanks Kostya for the fuzzing work! Reduce it to a reasonably small number (but not too small), so that libFuzzer doesn't find as many crashers (none in a short period of time, actually) with a 8MB stack on a 64-bit machine. Thanks! -- Regards, Tim Shen commit 4021ce78ed48215e7b765e8879ca65612

Re: [RFC] [PATCH v3 0/8] [i386] Use out-of-line stubs for ms_abi pro/epilogues

2017-02-10 Thread Daniel Santos
On 02/10/2017 06:20 PM, JonY wrote: On 02/10/2017 05:23 PM, Daniel Santos wrote: On 02/10/2017 05:34 AM, JonY wrote: Hi, mingw-w64 itself does not use any ms_abi/sysv_abi marked functions internally, so it should be unaffected. I don't think Cygwin uses any either, but I need to double check.

Re: [PATCH][GRAPHITE] Remove support for ISL 0.14

2017-02-10 Thread Richard Biener
On February 11, 2017 12:38:32 AM GMT+01:00, Jakub Jelinek wrote: >On Fri, Feb 10, 2017 at 04:34:30PM -0700, Jeff Law wrote: >> > 2017-02-10 Richard Biener >> > >> >config/ >> >* isl.m4: Remove support for ISL 0.14. >> > >> >* configure: Re-generate. >> > >> >gcc/ >> >* c

Re: [PATCH] Fix overflow-vec-{1,2} testcases on ppc64/s390x (PR middle-end/79454)

2017-02-10 Thread Richard Biener
On February 10, 2017 8:45:09 PM GMT+01:00, Jakub Jelinek wrote: >Hi! > >UBSAN_*_OVERFLOW ifns on vector types prefer to just check in a loop >for overflow, but perform the vector arithmetics on vectors. The >advantage >is that the partial results don't have to be inserted one by one into >the >r