Go patch committed: assign phase of escape analysis

2016-06-13 Thread Ian Lance Taylor
This patch by Chris Manghane implements the assign phase of escape analysis. This builds a graph of assignments within a function. This is just another step toward escape analysis; it is not yet enabled. Ian Index: gcc/go/gofrontend/MERGE

Re: CppCoreGuidelines warnings

2016-06-13 Thread Jason Merrill
On Sat, Jun 11, 2016 at 8:57 PM, Christopher Di Bella wrote: >> I'm currently waiting on approval from my employer before I move ahead >with anything > > My employer has given me the okay to contribute to gcc, provided that I > follow some fairly straightforward rules. Most

Re: [PATCH, i386]: Introduce __builtin_signbitq to use SSE4.1 PTEST insn

2016-06-13 Thread Uros Bizjak
On Tue, Jun 14, 2016 at 12:50 AM, Uros Bizjak wrote: > On Mon, Jun 13, 2016 at 11:54 PM, Joseph Myers > wrote: > >>> Attached patch intriduces __builtin_signbitq built-in function, so the >>> compiler will be able to use SSE4.1 PTEST instruction to

Re: [PATCH, i386]: Introduce __builtin_signbitq to use SSE4.1 PTEST insn

2016-06-13 Thread Uros Bizjak
On Mon, Jun 13, 2016 at 11:54 PM, Joseph Myers wrote: >> Attached patch intriduces __builtin_signbitq built-in function, so the >> compiler will be able to use SSE4.1 PTEST instruction to determine >> sign bit of __float128 value. > > The __builtin_signbit function is

Re: [PATCH, i386]: Introduce __builtin_signbitq to use SSE4.1 PTEST insn

2016-06-13 Thread Joseph Myers
On Mon, 13 Jun 2016, Uros Bizjak wrote: > Hello! > > Attached patch intriduces __builtin_signbitq built-in function, so the > compiler will be able to use SSE4.1 PTEST instruction to determine > sign bit of __float128 value. The __builtin_signbit function is type-generic from GCC 6 onwards, so

[Bug middle-end/71488] [6/7 Regression] Wrong code for vector comparisons with ivybridge and westmere targets

2016-06-13 Thread glisse at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71488 --- Comment #2 from Marc Glisse --- Independently of the wrong code issue, we are generating pretty bad code on Uros' testcase. It is full of operator delete(0) and operator new(0). The first one we could drop, but the second one is forced by

Re: _Bool and trap representations

2016-06-13 Thread Alexander Cherepanov
On 2016-06-14 00:13, Joseph Myers wrote: On Tue, 14 Jun 2016, Alexander Cherepanov wrote: The problem is that parts of representations of two different ordinary values can form a trap representation. Oh, you're talking about normalizing the destination rather than the source of the copy?

[Bug sanitizer/71498] ubsan bounds checking influenced by surrounding code

2016-06-13 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71498 --- Comment #7 from Jakub Jelinek --- Fixed for 6.2+ so far.

[PATCH, i386]: Introduce __builtin_signbitq to use SSE4.1 PTEST insn

2016-06-13 Thread Uros Bizjak
Hello! Attached patch intriduces __builtin_signbitq built-in function, so the compiler will be able to use SSE4.1 PTEST instruction to determine sign bit of __float128 value. The patch introduces complete infrastructure, including fallback to __signbittf2 libgcc function for non-SSE4.1 targets.

[Bug bootstrap/71481] [7 regression] ICE during selftest: input.c: test_reading_source_line

2016-06-13 Thread dmalcolm at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71481 --- Comment #10 from David Malcolm --- (In reply to Bernd Edlinger from comment #7) > (In reply to David Malcolm from comment #3) > > Candidate patch: https://gcc.gnu.org/ml/gcc-patches/2016-06/msg00755.html > > BTW: this patch seems not to

[Bug bootstrap/71481] [7 regression] ICE during selftest: input.c: test_reading_source_line

2016-06-13 Thread dmalcolm at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71481 --- Comment #9 from David Malcolm --- Author: dmalcolm Date: Mon Jun 13 21:20:10 2016 New Revision: 237414 URL: https://gcc.gnu.org/viewcvs?rev=237414=gcc=rev Log: PR bootstrap/71481: fix input.c selftest gcc/ChangeLog: PR

Re: _Bool and trap representations

2016-06-13 Thread Joseph Myers
On Tue, 14 Jun 2016, Alexander Cherepanov wrote: > The problem is that parts of representations of two different ordinary values > can form a trap representation. Oh, you're talking about normalizing the destination rather than the source of the copy? -- Joseph S. Myers

[Bug sanitizer/71498] ubsan bounds checking influenced by surrounding code

2016-06-13 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71498 --- Comment #6 from Jakub Jelinek --- Author: jakub Date: Mon Jun 13 21:08:36 2016 New Revision: 237412 URL: https://gcc.gnu.org/viewcvs?rev=237412=gcc=rev Log: PR sanitizer/71498 * c-gimplify.c (ubsan_walk_array_refs_r): Set

Re: _Bool and trap representations

2016-06-13 Thread Alexander Cherepanov
t.c && ./a.out d = 0.00 00 00 00 00 00 40 00 00 00 00 00 00 00 00 00 00 -- gcc version: gcc (GCC) 7.0.0 20160613 (experimental) -- Alexander Cherepanov

[Bug sanitizer/71498] ubsan bounds checking influenced by surrounding code

2016-06-13 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71498 --- Comment #5 from Jakub Jelinek --- Author: jakub Date: Mon Jun 13 21:01:44 2016 New Revision: 237409 URL: https://gcc.gnu.org/viewcvs?rev=237409=gcc=rev Log: PR sanitizer/71498 * c-gimplify.c (ubsan_walk_array_refs_r): Set

[Bug preprocessor/71183] [7 Regression] gcc -E always gives __DATE__ and __TIME__ as Jan 1 1970 00:00:00

2016-06-13 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71183 --- Comment #9 from Jakub Jelinek --- Author: jakub Date: Mon Jun 13 21:00:07 2016 New Revision: 237408 URL: https://gcc.gnu.org/viewcvs?rev=237408=gcc=rev Log: PR preprocessor/71183 * c-ppoutput.c (init_pp_output): Set

[Bug tree-optimization/71403] [7 Regression] wrong code (segfault) at -O3 on x86_64-linux-gnu

2016-06-13 Thread law at redhat dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71403 Jeffrey A. Law changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[tree-optimization/71403] Do not allow threading to a deeper loop nest

2016-06-13 Thread Jeff Law
pr71403 (and its duplicates) show a problem where we thread a backedge from an outer loop to the header of an inner loop. This looks all find and good at the CFG level, but it essentially combines the inner and outer loop with parts of the loop executing on some iterations, but not on

[Bug tree-optimization/71403] [7 Regression] wrong code (segfault) at -O3 on x86_64-linux-gnu

2016-06-13 Thread law at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71403 --- Comment #8 from Jeffrey A. Law --- Author: law Date: Mon Jun 13 20:55:59 2016 New Revision: 237403 URL: https://gcc.gnu.org/viewcvs?rev=237403=gcc=rev Log: PR tree-optimization/71403 * tree-ssa-threadbackward.c

Re: [PATCH] Fix ubsan handling of BIND_EXPR (PR sanitizer/71498)

2016-06-13 Thread Marek Polacek
On Mon, Jun 13, 2016 at 08:39:43PM +0200, Jakub Jelinek wrote: > Hi! > > As has been discussed in the original -fsanitize=bounds submission, > walk_tree for BIND_EXPR walks the body and > DECL_INITIAL/DECL_SIZE/DECL_SIZE_UNIT of all the BIND_EXPR_VARS. > For -fsanitize=bounds instrumentation, we

Re: [PATCH] Fix SOURCE_DATE_EPOCH handling with -E (PR preprocessor/71183)

2016-06-13 Thread Joseph Myers
On Mon, 13 Jun 2016, Jakub Jelinek wrote: > Hi! > > The SOURCE_DATE_EPOCH env var is ignored during -E, which is undesirable > and inconsistent. The problem is that the appropriate callback for > libcpp is only installed when compiling and not when preprocessing only. > > Fixed thusly,

Re: _Bool and trap representations

2016-06-13 Thread Joseph Myers
On Mon, 13 Jun 2016, Alexander Cherepanov wrote: > Thanks for the info. IMHO this part of DR 260 has even more serious > consequences than the part about pointer provenance. It effectively prohibits > manual byte-by-byte (or any non-atomic) copying of objects for types like long > double. If an

Re: PR 71181 Avoid rehash after reserve

2016-06-13 Thread François Dumont
Hi I eventually would like to propose the attached patch. In tr1 I made sure we use a special past-the-end iterator that makes usage of lower_bound result without check safe. PR libstdc++/71181 * include/tr1/hashtable_policy.h (_Prime_rehash_policy::_M_next_bkt): Make

JonY appointed Cygwin and mingw-w64 maintainer

2016-06-13 Thread David Edelsohn
I am pleased to announce that the GCC Steering Committee has appointed Jon Y as Cygwin and mingw-w64 maintainer. Please join me in congratulating Jon on his new role. Jon, please update your listing in the MAINTAINERS file. Happy hacking! David

Re: [PATCH 3/3][AArch64] Emit division using the Newton series

2016-06-13 Thread Evandro Menezes
On 06/13/16 05:15, James Greenhalgh wrote: Thanks for your patience on this patch series. Just checked the series in. Thank y'all for your assistance and patience. Cheers, -- Evandro Menezes

[Bug middle-end/71488] [6/7 Regression] Wrong code for vector comparisons with ivybridge and westmere targets

2016-06-13 Thread ubizjak at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71488 Uroš Bizjak changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

Re: _Bool and trap representations

2016-06-13 Thread Alexander Cherepanov
On 2016-06-08 17:37, Martin Sebor wrote: On 06/08/2016 12:36 AM, Alexander Cherepanov wrote: Hi! If a variable of type _Bool contains something different from 0 and 1 its use amounts to UB in gcc and clang. There is a couple of examples in [1] ([2] is also interesting). [1]

Re: [PR71478] Fix ICE in tree-ssa-reassoc.c

2016-06-13 Thread Jakub Jelinek
On Fri, Jun 10, 2016 at 01:34:07PM +0200, Richard Biener wrote: > On Fri, Jun 10, 2016 at 4:19 AM, kugan > wrote: > > Hi, > > > > In PR71478, for vector negation of ssa produced by call stmt, we add vector > > (-1) and ssa to the ops list. However, in the place

[Bug tree-optimization/71478] [7 Regression] ICE in tree-ssa-reassoc.c after r236564

2016-06-13 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71478 --- Comment #5 from Jakub Jelinek --- Author: jakub Date: Mon Jun 13 18:54:25 2016 New Revision: 237392 URL: https://gcc.gnu.org/viewcvs?rev=237392=gcc=rev Log: PR middle-end/71478 * gcc.dg/pr71478.c: Remove

gcc -gdwarf-2 -gstrict-dwarf produces bad debug_loc entries

2016-06-13 Thread Trevor Harrison
I'm running into an issue with start/end values of debug_loc entries being absolute addresses instead of offsets when a file is compiled with -gdwarf-2 and -gstrict-dwarf and there are virtual methods in that file. gcc 4.4.7, but I've seen it under 4.8'ish. I'm new enough to dwarf stuff to not

[C++ PATCH] Fix incomplete type error recovery (PR c++/71516)

2016-06-13 Thread Jakub Jelinek
Hi! On the following testcase we ICE during error recovery, because a is first added to the incomplete vars vector, but then is attempted to be initialized, which results in error and setting its type to error_mark_node (as the type has been incomplete). When we try to complete vars, we ICE

[PATCH] Fix ubsan handling of BIND_EXPR (PR sanitizer/71498)

2016-06-13 Thread Jakub Jelinek
Hi! As has been discussed in the original -fsanitize=bounds submission, walk_tree for BIND_EXPR walks the body and DECL_INITIAL/DECL_SIZE/DECL_SIZE_UNIT of all the BIND_EXPR_VARS. For -fsanitize=bounds instrumentation, we want to avoid walking DECL_INITIAL of TREE_STATIC vars, so should set

[PATCH] Improve tree-ssa-tail-merge for switches (PR tree-optimization/71520)

2016-06-13 Thread Jakub Jelinek
Hi! Cross-jumping at GIMPLE level gives up e.g. because there are any labels at the beginning of the block (which is always the case for bbs referenced from switches). While labels for non-local goto as well as computed goto are hard to handle, after all the edges are then EDGE_ABNORMAL that

Re: Fix pure/const discovery WRT interposition part 2

2016-06-13 Thread H.J. Lu
On Sat, Apr 16, 2016 at 9:47 AM, Jan Hubicka wrote: > Hi, > this patch updates ipa-pure-const.c to only propagate PURE flag across > calls that does not bind to local defs and are not explicitly declared const. > This gets memory state into shape that the callee produced by other

Re: [PATCH], PowerPC: Allow DImode in Altivec registers

2016-06-13 Thread Michael Meissner
It would help if I included the patch. On Mon, Jun 13, 2016 at 01:28:16PM -0400, Michael Meissner wrote: > This patch goes through the PowerPC compiler and adds support to allow DImode > (64-bit integers) into Altivec registers for VSX systems. It also adds some > support to allow loading some

[Bug middle-end/71524] [7 Regression] internal compiler error: in binds_to_current_def_p, at symtab.c:2232

2016-06-13 Thread hjl.tools at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71524 H.J. Lu changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

[PATCH] Fix SOURCE_DATE_EPOCH handling with -E (PR preprocessor/71183)

2016-06-13 Thread Jakub Jelinek
Hi! The SOURCE_DATE_EPOCH env var is ignored during -E, which is undesirable and inconsistent. The problem is that the appropriate callback for libcpp is only installed when compiling and not when preprocessing only. Fixed thusly, bootstrapped/regtested on x86_64-linux and i686-linux, ok for

Re: [PATCH 2/3] selftests: improve reported failure locations

2016-06-13 Thread Jeff Law
On 06/09/2016 12:42 PM, David Malcolm wrote: This patch introduce a selftest::location struct to wrap up __FILE__ and __LINE__ information (and __FUNCTION__) throughout the selftests, allowing location information to be passed around. It updates the helper functions in pretty-print.c to pass

Re: [PATCH 3/3] pretty-print.c: skip color selftests if GCC_COLORS is set

2016-06-13 Thread Jeff Law
On 06/09/2016 12:42 PM, David Malcolm wrote: gcc/ChangeLog: * pretty-print.c (assert_pp_format_colored): Skip the test if GCC_COLORS is set. (test_pp_format): Remove comment about GCC_COLORS. OK. jeff

Re: [PATCH 1/3] selftest: show values when ASSERT_STREQ fails

2016-06-13 Thread Jeff Law
On 06/09/2016 12:42 PM, David Malcolm wrote: Rework ASSERT_STREQ so that it prints the actual and expected values to stderr when it fails (by moving it to a helper function). gcc/ChangeLog: * selftest.c (selftest::fail_formatted): New function. (selftest::assert_streq): New

Re: [PATCH] PR bootstrap/71481: fix input.c selftest

2016-06-13 Thread Jeff Law
On 06/09/2016 03:58 PM, David Malcolm wrote: input.c's selftest::test_reading_source_line attempted to read from __FILE__, which doesn't work if the binary is run from a different location than the build dir. Fix it by rewriting the test to write out a tempfile, and read from that, rather than

Fix oversight in vn_reference_lookup_3

2016-06-13 Thread Eric Botcazou
The second test on shared_lookup_references in the block: /* We need to pre-pend vr->operands[0..i] to rhs. */ vec old = vr->operands; if (i + 1 + rhs.length () > vr->operands.length ()) { vr->operands.safe_grow (i + 1 + rhs.length ()); if (old ==

Re: [PATCH] c/69507 - bogus warning: ISO C does not allow ‘__alignof__ (expression)’

2016-06-13 Thread Joseph Myers
On Fri, 27 May 2016, Martin Sebor wrote: > The patch below adjusts the C alignof pedantic warning to avoid > diagnosing the GCC extension (__alignof__) and only diagnose > _Alignof in C99 and prior modes. This is consistent with how > __attribute__ ((aligned)) and _Alignas is handled (among

[PATCH PING] boehm-gc: check for execinfo.h directly

2016-06-13 Thread Mike Frysinger
The current header depends on glibc version checks to determine whether execinfo.h exists which breaks uClibc. Instead, add an explicit configure check for it. 2015-08-29 Mike Frysinger * configure.ac: Call AC_CHECK_HEADERS([execinfo.h]). * configure:

Re: [PATCH 3/8] nvptx -muniform-simt

2016-06-13 Thread Alexander Monakov
On Sun, 12 Jun 2016, Sandra Loosemore wrote: > On 06/09/2016 10:53 AM, Alexander Monakov wrote: > > +@item -muniform-simt > > +@opindex muniform-simt > > +Generate code that allows to keep all lanes in each warp active, even when > > Allows *what* to keep? E.g. what is doing the keeping here?

Re: [patch, avr] Fix PR67353

2016-06-13 Thread Bernhard Reutner-Fischer
On June 13, 2016 5:48:43 PM GMT+02:00, Georg-Johann Lay wrote: >Pitchumani Sivanupandi schrieb: >> Hi, >> >> This patch introduces new flags for warning 'misspelled interrupt/ >> signal handler'. Flag -Wmisspelled-isr is enabled by default and it >> will warn user if the

[PATCH], PowerPC: Allow DImode in Altivec registers

2016-06-13 Thread Michael Meissner
This patch goes through the PowerPC compiler and adds support to allow DImode (64-bit integers) into Altivec registers for VSX systems. It also adds some support to allow loading some DImode constants via either ISA 2.07 or ISA 3.0 instructions. I have bootstrapped this with no regressions on

[Bug tree-optimization/71490] [7 regression] gcc.dg/tree-ssa/slsr-8.c FAILs

2016-06-13 Thread thopre01 at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71490 --- Comment #3 from Thomas Preud'homme --- Differences start at sink phase: @@ -46,17 +56,17 @@ f (int s, int * c) _2 = a1.0_1 * 4; _3 = -_2; x1_14 = c_13(D) + _3; - a2_15 = s_11(D) * 4; - a2.1_4 = (unsigned int) a2_15; - _5 =

[Bug fortran/71523] Static variables given automatic initializers with -finit-* and -fmax-stack-var-size

2016-06-13 Thread fritzoreese at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71523 Fritz Reese changed: What|Removed |Added CC||fritzoreese at gmail dot com --- Comment

[PATCH, Fortran] PR71523 - Static variables given automatic initializers with -finit-* and -fmax-stack-var-size

2016-06-13 Thread Fritz Reese
RE: https://gcc.gnu.org/ml/fortran/2016-06/msg00023.html On Thu, Jun 9, 2016 at 2:01 PM, Fritz Reese wrote: > It looks like when -fautomatic and -finit-local-zero are set with > -fmax-stack-var-size=X, an automatic initializer is generated even for > variables larger than

Re: Update probabilities in predict.def to match reality

2016-06-13 Thread Kyrill Tkachov
Hi Honza, On 07/06/16 20:27, Jan Hubicka wrote: Hello, Maritn Liska measured branch predictor hitrates on current tree and SPEC2006. CPU2006 HEURISTICS BRANCHES (REL) HITRATE COVERAGE COVERAGE (REL) loop iv compare33

Re: [PR middle-end/71373] Document missing OMP_CLAUSE_* in gcc/tree-nested.c

2016-06-13 Thread Thomas Schwinge
Hi! On Mon, 13 Jun 2016 16:48:56 +0200, Jakub Jelinek wrote: > On Mon, Jun 13, 2016 at 04:43:25PM +0200, Thomas Schwinge wrote: > > On Wed, 01 Jun 2016 17:06:42 +0200, Thomas Schwinge > > wrote: > > > Here are the OpenACC bits of

[Bug middle-end/71524] New: [7 Regression] internal compiler error: in binds_to_current_def_p, at symtab.c:2232

2016-06-13 Thread hjl.tools at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71524 Bug ID: 71524 Summary: [7 Regression] internal compiler error: in binds_to_current_def_p, at symtab.c:2232 Product: gcc Version: 7.0 Status: UNCONFIRMED

[Bug middle-end/71373] Handle more OMP_CLAUSE_* in nested function decomposition

2016-06-13 Thread tschwinge at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71373 --- Comment #9 from Thomas Schwinge --- Author: tschwinge Date: Mon Jun 13 16:37:29 2016 New Revision: 237386 URL: https://gcc.gnu.org/viewcvs?rev=237386=gcc=rev Log: [PR middle-end/71373] Document missing OMP_CLAUSE_* in gcc/tree-nested.c

[Patch AArch64] Add some more missing intrinsics

2016-06-13 Thread James Greenhalgh
Hi, Inspired by Jiong's recent work, here are some more missing intrinsics, and a smoke test for each of them. This patch covers: vcvt_n_f64_s64 vcvt_n_f64_u64 vcvt_n_s64_f64 vcvt_n_u64_f64 vcvt_f64_s64 vrecpe_f64 vcvt_f64_u64 vrecps_f64 Tested on aarch64-none-elf, and on an

[Bug fortran/71523] New: Static variables given automatic initializers with -finit-* and -fmax-stack-var-size

2016-06-13 Thread fritzoreese at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71523 Bug ID: 71523 Summary: Static variables given automatic initializers with -finit-* and -fmax-stack-var-size Product: gcc Version: 7.0 Status: UNCONFIRMED

Re: [PATCH][vectorizer][2/2] PR 65951: Hook up mult synthesis logic into vectorisation of mult-by-constant

2016-06-13 Thread Kyrill Tkachov
On 13/06/16 15:48, Marc Glisse wrote: + /* All synthesis algorithms require shifts, so bail out early if + target cannot vectorize them. */ + if (!target_has_vecop_for_code (LSHIFT_EXPR, vectype)) +return false; Hmm, 2 points: * Could you use vect_supportable_shift (or equivalent)

Fix CASE_CHAIN typos (was: [patch] Fix CASE_LABEL_EXPR documentation in tree.def and tree-cfg.c)

2016-06-13 Thread Thomas Schwinge
Hi! On Wed, 18 Apr 2012 17:32:08 +0200, Steven Bosscher wrote: > Subject says all. Will commit as obvious. > > * tree.def (CASE_LABEL_EXPR): Fix documentation, mention all operands. > * tree-cfg.c (edge_to_cases): Fix documentation. > --- tree.def

[libiberty][PATCH] Avoid zero-length VLAs.

2016-06-13 Thread Brooks Moses
Zero-length variable-length-arrays are not allowed in standard C99, and perhaps more importantly, they cause ASAN to complain. (See, e.g., https://gcc.gnu.org/ml/gcc-patches/2013-09/msg00917.html.) With this patch, the libiberty tests, including demangler-fuzzer, are ASAN-clean. - Brooks

[Bug c++/70507] integer overflow builtins not constant expressions

2016-06-13 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70507 Martin Sebor changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug c/68120] can't easily deal with integer overflow at compile time

2016-06-13 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68120 Martin Sebor changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

Re: [PATCH] Fix bootstrap when user language is not english

2016-06-13 Thread Jakub Jelinek
On Mon, Jun 13, 2016 at 03:39:21PM +, Bernd Edlinger wrote: > On 06/13/16 17:27, David Malcolm wrote: > > On Mon, 2016-06-13 at 14:41 +, Bernd Edlinger wrote: > >> Hi, > >> > >> as noted in PR bootstrap/71481, comment#4 currently > >> the trunk fails to bootstrap if the current language is

Re: [patch, avr] Fix PR67353

2016-06-13 Thread Georg-Johann Lay
Pitchumani Sivanupandi schrieb: Hi, This patch introduces new flags for warning 'misspelled interrupt/ signal handler'. Flag -Wmisspelled-isr is enabled by default and it will warn user if the interrupt/ signal handler is without '__vector' prefix. Flag -Wno-misspelled-isr shall be enabled by

Re: [PATCH] Fix bootstrap when user language is not english

2016-06-13 Thread Bernd Edlinger
On 06/13/16 17:27, David Malcolm wrote: > On Mon, 2016-06-13 at 14:41 +, Bernd Edlinger wrote: >> Hi, >> >> as noted in PR bootstrap/71481, comment#4 currently >> the trunk fails to bootstrap if the current language is >> not english. A workaround is possible by setting LANG=C, >> but OTOH it

Re: [PATCH] Fix bootstrap when user language is not english

2016-06-13 Thread David Malcolm
On Mon, 2016-06-13 at 14:41 +, Bernd Edlinger wrote: > Hi, > > as noted in PR bootstrap/71481, comment#4 currently > the trunk fails to bootstrap if the current language is > not english. A workaround is possible by setting LANG=C, > but OTOH it is rather easy to fix, by translating the

Re: [PATCH] Add ggc-tests.c

2016-06-13 Thread David Malcolm
On Mon, 2016-06-13 at 13:36 +0200, Ulrich Weigand wrote: > Gerald Pfeifer wrote: > > > The source code of need_finalization_p in ggc.h reads > > > >template > >static inline bool > >need_finalization_p () > >{ > >#if GCC_VERSION >= 4003 > > return

[Bug c++/71463] [6/7 regression] unexpected warning: ignoring function return attributes on template argument

2016-06-13 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71463 Martin Sebor changed: What|Removed |Added Status|UNCONFIRMED |NEW Known to work|

[Bug c++/71516] [5/6/7 Regression] ICE on invalid C++ code (invalid use of forward declared type) on x86_64-linux-gnu: Segmentation fault (program cc1plus)

2016-06-13 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71516 Jakub Jelinek changed: What|Removed |Added Status|NEW |ASSIGNED Assignee|unassigned

[Bug tree-optimization/71483] [7 Regression] g++ ICE at -O3 on valid code on x86_64-linux-gnu with “Floating point exception”

2016-06-13 Thread alahay01 at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71483 alahay01 at gcc dot gnu.org changed: What|Removed |Added CC||alahay01 at gcc dot gnu.org

[Bug tree-optimization/71490] [7 regression] gcc.dg/tree-ssa/slsr-8.c FAILs

2016-06-13 Thread thopre01 at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71490 Thomas Preud'homme changed: What|Removed |Added CC||thopre01 at gcc dot gnu.org ---

Re: [PR middle-end/71373] Document missing OMP_CLAUSE_* in gcc/tree-nested.c

2016-06-13 Thread Thomas Schwinge
Hi! On Mon, 13 Jun 2016 16:43:25 +0200, Thomas Schwinge wrote: > On Wed, 01 Jun 2016 17:06:42 +0200, Thomas Schwinge > wrote: > > Here are the OpenACC bits of . > > In the PR, Jakub clarified that all the missing

Re: [PATCH][vectorizer][2/2] PR 65951: Hook up mult synthesis logic into vectorisation of mult-by-constant

2016-06-13 Thread Marc Glisse
+ /* All synthesis algorithms require shifts, so bail out early if + target cannot vectorize them. */ + if (!target_has_vecop_for_code (LSHIFT_EXPR, vectype)) +return false; Hmm, 2 points: * Could you use vect_supportable_shift (or equivalent) instead? This way it will work even if

Re: [PR middle-end/71373] Document missing OMP_CLAUSE_* in gcc/tree-nested.c

2016-06-13 Thread Jakub Jelinek
On Mon, Jun 13, 2016 at 04:43:25PM +0200, Thomas Schwinge wrote: > On Wed, 01 Jun 2016 17:06:42 +0200, Thomas Schwinge > wrote: > > Here are the OpenACC bits of . > > In the PR, Jakub clarified that all the missing other OMP_CLAUSE_* are in >

[PATCH, i386]: Use ix86_expand_setcc some more

2016-06-13 Thread Uros Bizjak
No functional changes. 2016-06-13 Uros Bizjak * config/i386/i386.md (paritydi2): Use ix86_expand_setcc. (paritysi2): Ditto. (isinfxf2): Ditto. (isinf2): Ditto. Bootstrapped and regression tested on x86_64-linux-gnu {,-m32}. Committed to mainline SVN.

[PR middle-end/71373] Document missing OMP_CLAUSE_* in gcc/tree-nested.c

2016-06-13 Thread Thomas Schwinge
Hi! On Wed, 01 Jun 2016 17:06:42 +0200, Thomas Schwinge wrote: > Here are the OpenACC bits of . In the PR, Jakub clarified that all the missing other OMP_CLAUSE_* are in fact all unreachable here. OK to document this as follows, in trunk?

[PATCH] Fix bootstrap when user language is not english

2016-06-13 Thread Bernd Edlinger
Hi, as noted in PR bootstrap/71481, comment#4 currently the trunk fails to bootstrap if the current language is not english. A workaround is possible by setting LANG=C, but OTOH it is rather easy to fix, by translating the string in the assertion, as it is the only place that is affected by the

[Bug bootstrap/71510] [7 Regression] Failed to bootstrap with --with-arch=corei7 --with-cpu=intel

2016-06-13 Thread hjl.tools at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71510 --- Comment #4 from H.J. Lu --- (In reply to Richard Biener from comment #2) > Created attachment 38694 [details] > this probably fixes it (didnt' try to reproduce) Yes, it fixes it. Thanks.

[Bug tree-optimization/71520] Missing cross-jumping of switch cases

2016-06-13 Thread tschwinge at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71520 Thomas Schwinge changed: What|Removed |Added CC||tschwinge at gcc dot gnu.org ---

[Bug tree-optimization/71522] [5/6/7 Regression] Wrong optimization of memcpy through a var of type long double

2016-06-13 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71522 Richard Biener changed: What|Removed |Added Priority|P3 |P2 Known to work|

[Bug tree-optimization/71522] Wrong optimization of memcpy through a var of type long double

2016-06-13 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71522 Richard Biener changed: What|Removed |Added Keywords||wrong-code Component|c

Re: [Patch AArch64] Fixup to fcvt patterns added in r237200

2016-06-13 Thread Kyrill Tkachov
On 10/06/16 13:29, James Greenhalgh wrote: Hi, My autotester picked up some issues with the vcvt{ds}_n_* intrinsics added in r237200. The iterators in this pattern do not resolve, as they have not been explicitly tied to the mode iterator (rather than the code iterator) used by the pattern.

Re: [PATCH][1/2] Move mult synthesis definitions into a separate file

2016-06-13 Thread Kyrill Tkachov
Hi Richard, On 13/06/16 15:07, Richard Biener wrote: On Mon, Jun 13, 2016 at 2:23 PM, Kyrill Tkachov wrote: Hi all, There are other places besides expand where we might want to synthesize an integer multiplication by a constant. Thankfully the algorithm

[Bug c/71522] Wrong optimization of memcpy through a var of type long double

2016-06-13 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71522 Richard Biener changed: What|Removed |Added Status|UNCONFIRMED |ASSIGNED Last reconfirmed|

Re: [PATCH][1/2] Move mult synthesis definitions into a separate file

2016-06-13 Thread Richard Biener
On Mon, Jun 13, 2016 at 2:23 PM, Kyrill Tkachov wrote: > Hi all, > > There are other places besides expand where we might want to synthesize an > integer > multiplication by a constant. Thankfully the algorithm selection code in > expmed.c > is already quite well

Re: RFC (gimplify, openmp): PATCH to is_gimple_reg to check DECL_HAS_VALUE_EXPR_P

2016-06-13 Thread Jason Merrill
On Mon, Jun 13, 2016 at 5:03 AM, Richard Biener wrote: > On Sat, Jun 11, 2016 at 9:30 PM, Jakub Jelinek wrote: >> On Sat, Jun 11, 2016 at 08:43:06PM +0200, Richard Biener wrote: >>> On June 10, 2016 9:48:45 PM GMT+02:00, Jason Merrill

Re: [PATCH][vectorizer][2/2] PR 65951: Hook up mult synthesis logic into vectorisation of mult-by-constant

2016-06-13 Thread Kyrill Tkachov
On 13/06/16 14:58, Marc Glisse wrote: On Mon, 13 Jun 2016, Kyrill Tkachov wrote: This patch allows the vectoriser to synthesize multiplications by an integer constant using the algorithms determined by choose_mult_variant from expmed.c. choose_mult_variant returns an algorithm structure that

[Bug c++/71513] [6/7 Regression] ICE on valid C++11 code (with alignas specifier) on x86_64-linux-gnu: Segmentation fault

2016-06-13 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71513 Martin Sebor changed: What|Removed |Added CC||msebor at gcc dot gnu.org Known to

[Bug c/71522] Wrong optimization of memcpy through a var of type long double

2016-06-13 Thread ch3root at openwall dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71522 --- Comment #1 from Alexander Cherepanov --- This is run on x86-64, sizeof(long double) == 16. The string literal is 15 letters 'A' and a terminating 0. To get the same effect on x86-32 the string should be shortened by four 'A'.

Re: [PATCH][vectorizer][2/2] PR 65951: Hook up mult synthesis logic into vectorisation of mult-by-constant

2016-06-13 Thread Marc Glisse
On Mon, 13 Jun 2016, Kyrill Tkachov wrote: This patch allows the vectoriser to synthesize multiplications by an integer constant using the algorithms determined by choose_mult_variant from expmed.c. choose_mult_variant returns an algorithm structure that is a linked list of steps describing

[PATCH] Fix code emission for FAIL_ALLOC predictor

2016-06-13 Thread Martin Liška
Hello. Following patch fixes Fortran FAIL_ALLOC predictor in a way that it introduces a new one (PRED_FORTRAN_REALLOC) and it properly marks returned values as described in the following 2 examples: A) allocate_allocatable original annotation: if ((logical(kind=4)) __builtin_expect

[Bug c/71522] New: Wrong optimization of memcpy through a var of type long double

2016-06-13 Thread ch3root at openwall dot com
dantic -Wall -Wextra test.c && ./a.out AAA $ gcc -std=c11 -pedantic -Wall -Wextra -O3 test.c && ./a.out -- gcc version: gcc (GCC) 7.0.0 20160613 (experimental) The effect is very similar to

[Bug bootstrap/71510] [7 Regression] Failed to bootstrap with --with-arch=corei7 --with-cpu=intel

2016-06-13 Thread hjl.tools at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71510 --- Comment #3 from H.J. Lu --- (In reply to Segher Boessenkool from comment #1) > I cannot reproduce this problem; bootstrap went without a hitch, both > with and without those --with-*. Did you build i386 GCC or x86-64 GCC?

[Bug driver/68463] Offloading fails when some objects are compiled with LTO and some without

2016-06-13 Thread jnorris at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68463 --- Comment #8 from jnorris at gcc dot gnu.org --- Author: jnorris Date: Mon Jun 13 13:17:22 2016 New Revision: 237379 URL: https://gcc.gnu.org/viewcvs?rev=237379=gcc=rev Log: Backport from mainline r236098. 2016-05-10 James

[Bug c/66682] Lots of macro expansion, very slow compilation

2016-06-13 Thread avibl at cadence dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66682 Avi Bloch changed: What|Removed |Added CC||avibl at cadence dot com --- Comment #10

Re: [PATCH] Allow fwprop to undo vectorization harm (PR68961)

2016-06-13 Thread Richard Biener
On Mon, 13 Jun 2016, Richard Biener wrote: > On Fri, 10 Jun 2016, Richard Biener wrote: > > > > > With the proposed cost change for vector construction we will end up > > vectorizing the testcase in PR68961 again (on x86_64 and likely > > on ppc64le as well after that target gets adjustments).

[Bug c++/71516] [5/6/7 Regression] ICE on invalid C++ code (invalid use of forward declared type) on x86_64-linux-gnu: Segmentation fault (program cc1plus)

2016-06-13 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71516 Jakub Jelinek changed: What|Removed |Added Priority|P3 |P4 CC|

[Bug c++/71515] [4.9/5/6/7 Regression] ICE on valid C++ code on x86_64-linux-gnu: Segmentation fault (program cc1plus)

2016-06-13 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71515 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org,

Re: [PATCH][C] Avoid reading from FUNCTION_DECL with atomics

2016-06-13 Thread Jakub Jelinek
On Mon, Jun 13, 2016 at 01:25:35PM +0200, Richard Biener wrote: > The following avoids creating IL that accesses a FUNCTION_DECLs memory > directly rather than indirectly through an address based on it. > > Bootstrap and regtest running on x86_64-unknown-linux-gnu, ok for trunk? I think the

Re: [PATCH] Add ggc-tests.c

2016-06-13 Thread Ulrich Weigand
Gerald Pfeifer wrote: > The source code of need_finalization_p in ggc.h reads > >template >static inline bool >need_finalization_p () >{ >#if GCC_VERSION >= 4003 > return !__has_trivial_destructor (T); >#else > return true; >#endif >} > > which means

[PATCH][1/2] Move mult synthesis definitions into a separate file

2016-06-13 Thread Kyrill Tkachov
Hi all, There are other places besides expand where we might want to synthesize an integer multiplication by a constant. Thankfully the algorithm selection code in expmed.c is already quite well separated from the RTL implementation, so if we can just factor out the prototype of

  1   2   3   >