[Bug tree-optimization/63278] Fails to compute loop bound from constant string

[winter-...@bfw-online.de]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63278

Leon Winter  changed:

   What|Removed |Added

 CC||winter-...@bfw-online.de

--- Comment #4 from Leon Winter  ---
Just letting you know that my sub-bug still persists (through-out gcc 4.9-5.3
so far):

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65178

Since we compile with -Werror this is quite the show stopper for us.

[Bug tree-optimization/69760] [4.9/5 Regression] Wrong 64-bit memory address caused by an unneeded overflowing 32-bit integer multiplication on x86_64 under -O2 and -O3 code optimization

[vogt at linux dot vnet.ibm.com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69760

--- Comment #14 from Dominik Vogt  ---
The regression is fixed with the latest patch for
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69983

[Bug middle-end/69983] [6 Regression] FAIL: gcc.dg/graphite/scop-sor.c scan-tree-dump-times graphite "number of SCoPs: 1" 1

[vogt at linux dot vnet.ibm.com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69983

--- Comment #8 from Dominik Vogt  ---
Successfully bootstrapped and regression tested on s390x (biarch).

[Bug tree-optimization/65178] incorrect -Wmaybe-uninitialized when using nested loops

[winter-...@bfw-online.de]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65178

--- Comment #5 from Leon Winter  ---
Still persists.

[Bug tree-optimization/69196] [5/6 Regression] code size regression with jump threading at -O2

[vogt at linux dot vnet.ibm.com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69196

--- Comment #16 from Dominik Vogt  ---
(In the ChangeLog entry, the "-1" is missing from the name of the new
testfile.)

[Bug c/70038] [5.3.0 and 4.9.1]Wrong optimization with -O2

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70038

--- Comment #4 from Andrew Pinski  ---
(In reply to kenlon from comment #2)
> call to stat with a null argument is not the matter,it will return -1,that
> is ok.
> the matter code is:
> (prevlinkname ? "TRUE":"NULL");
> 
> if (prevlinkname) {
> 
> }
> 
> it will not judge "prevlinkname".

No call to stat is the issue.

Take the code you have:

if (stat(prevlinkname, _buf) == 0)
{
unlink(prevlinkname);
}
printf("%p %s\n",prevlinkname,(prevlinkname ? "TRUE":"NULL"));

After the call to stat, GCC assumes prevlinkname is non null as it was an
argument to stat; so it does "TRUE" branch of the comparison.

Again calling stat with a NULL argument is undefined so GCC can assume all
calls to stat have a non-null argument.

[Bug tree-optimization/69196] [5/6 Regression] code size regression with jump threading at -O2

[vogt at linux dot vnet.ibm.com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69196

Dominik Vogt  changed:

   What|Removed |Added

 CC||vogt at linux dot vnet.ibm.com

--- Comment #15 from Dominik Vogt  ---
The new test fails on s390x:

.../build/gcc/xgcc -B.../build/gcc/
.../gcc/testsuite/gcc.dg/tree-ssa/pr69196-1.c -fno-diagnostics-show-caret
-fdiagnostics-color=never -O2 -fdump-tree-vrp1-details -S -m31 -o pr69196-1.s
PASS: gcc.dg/tree-ssa/pr69196-1.c (test for excess errors)
FAIL: gcc.dg/tree-ssa/pr69196-1.c scan-tree-dump vrp1 "FSM did not thread
around loop and would copy too many statements"

(same with -m64 instead of -m31).

[Bug c/70038] [5.3.0 and 4.9.1]Wrong optimization with -O2

[trippels at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70038

Markus Trippelsdorf  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||trippels at gcc dot gnu.org
 Resolution|--- |INVALID

--- Comment #3 from Markus Trippelsdorf  ---
Use -fno-delete-null-pointer-checks if you rely on this undefined behavior.

[Bug c/70038] [5.3.0 and 4.9.1]Wrong optimization with -O2

[366899789 at qq dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70038

kenlon <366899789 at qq dot com> changed:

   What|Removed |Added

 Status|RESOLVED|UNCONFIRMED
 Resolution|INVALID |---

--- Comment #2 from kenlon <366899789 at qq dot com> ---
call to stat with a null argument is not the matter,it will return -1,that is
ok.
the matter code is:
(prevlinkname ? "TRUE":"NULL");

if (prevlinkname) {

}

it will not judge "prevlinkname".

[Bug middle-end/70025] [6 Regression] Miscompilation of gc-7.4.2 on s390x starting with r227382

[vogt at linux dot vnet.ibm.com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70025

--- Comment #10 from Dominik Vogt  ---
Successfully bootstrapped and regression tested on s390x (-m31 and -m64).

[Bug c/70038] [5.3.0 and 4.9.1]Wrong optimization with -O2

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70038

Andrew Pinski  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |INVALID

--- Comment #1 from Andrew Pinski  ---
the call to stat is undefined if it is called with a null argument.

[Bug c/67854] Missing diagnostic for passing bool to va_arg

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67854

Marek Polacek  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

--- Comment #10 from Marek Polacek  ---
Fixed.

[Bug c/70038] New: [5.3.0 and 4.9.1]Wrong optimization with -O2

[366899789 at qq dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70038

Bug ID: 70038
   Summary: [5.3.0 and 4.9.1]Wrong optimization with -O2
   Product: gcc
   Version: 5.3.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
  Assignee: unassigned at gcc dot gnu.org
  Reporter: 366899789 at qq dot com
  Target Milestone: ---

Compile the following code with -O2 -fdump-tree-optimized:

-
#include 
#include 
#include 
#include 


void create_link(char *pfilename,
const char *linkname, mode_t linktype,
const char *prevlinkname)
{
struct stat stat_buf;

if (stat(prevlinkname, _buf) == 0)
{
unlink(prevlinkname);
}
printf("%p %s\n",prevlinkname,(prevlinkname ? "TRUE":"NULL"));
if (stat(linkname, _buf) == 0)
{
if (prevlinkname) {
rename(linkname, prevlinkname);
printf("%p %s\n",prevlinkname,(prevlinkname ?
"TRUE":"NULL"));
}
else {
unlink(linkname);
}
}
if (linktype == S_IFLNK)
{
symlink(pfilename, linkname);
}
else
{
link(pfilename, linkname);
}
}

int main(int argc,char *argv[])
{
if(argc > 1) {
create_link(argv[1], "link", S_IFLNK, NULL);
}
return 0;
}

-

~

Start binary with "./a.out test.sh"
test.sh is a exist file.
It will print: 
(nil) TRUE
(nil) TRUE, 
but expected output is:
(nil) NULL.

the assembly code is:
--
.file   "test.c"
.section.rodata.str1.1,"aMS",@progbits,1
.LC0:
.string "TRUE"
.LC1:
.string "%p %s\n"
.section.text.unlikely,"ax",@progbits
.LCOLDB2:
.text
.LHOTB2:
.p2align 4,,15
.globl  create_link
.type   create_link, @function
create_link:
.LFB20:
.cfi_startproc
pushq   %r13
.cfi_def_cfa_offset 16
.cfi_offset 13, -16
pushq   %r12
.cfi_def_cfa_offset 24
.cfi_offset 12, -24
movq%rdi, %r13
pushq   %rbp
.cfi_def_cfa_offset 32
.cfi_offset 6, -32
pushq   %rbx
.cfi_def_cfa_offset 40
.cfi_offset 3, -40
movq%rsi, %rbp
movl%edx, %r12d
movq%rcx, %rsi
movl$1, %edi
subq$152, %rsp
.cfi_def_cfa_offset 192
movq%rcx, %rbx
movq%rsp, %rdx
call__xstat
testl   %eax, %eax
je  .L8
.L2:
movl$.LC0, %edx
movq%rbx, %rsi
movl$.LC1, %edi
xorl%eax, %eax
callprintf
movq%rsp, %rdx
movq%rbp, %rsi
movl$1, %edi
call__xstat
testl   %eax, %eax
jne .L3
movq%rbx, %rsi
movq%rbp, %rdi
callrename
movl$.LC0, %edx
movq%rbx, %rsi
movl$.LC1, %edi
xorl%eax, %eax
callprintf
.L3:
cmpl$40960, %r12d
movq%rbp, %rsi
movq%r13, %rdi
je  .L9
calllink
addq$152, %rsp
.cfi_remember_state
.cfi_def_cfa_offset 40
popq%rbx
.cfi_def_cfa_offset 32
popq%rbp
.cfi_def_cfa_offset 24
popq%r12
.cfi_def_cfa_offset 16
popq%r13
.cfi_def_cfa_offset 8
ret
.p2align 4,,10
.p2align 3
.L8:
.cfi_restore_state
movq%rbx, %rdi
callunlink
jmp .L2
.p2align 4,,10
.p2align 3
.L9:
callsymlink
addq$152, %rsp
.cfi_def_cfa_offset 40
popq%rbx
.cfi_def_cfa_offset 32
popq%rbp
.cfi_def_cfa_offset 24
popq%r12
.cfi_def_cfa_offset 16
popq%r13
.cfi_def_cfa_offset 8
ret
.cfi_endproc
.LFE20:
.size   create_link, .-create_link
.section.text.unlikely
.LCOLDE2:
.text
.LHOTE2:
.section.rodata.str1.1
.LC3:
.string "link"
.section.text.unlikely
.LCOLDB4:
.section.text.startup,"ax",@progbits
.LHOTB4:
.p2align 4,,15
.globl  main
.type   main, @function
main:
.LFB21:
.cfi_startproc
cmpl$1, %edi
jle .L13
pushq   %rax
.cfi_def_cfa_offset 16
movq8(%rsi), %rdi
movl$40960, %edx
xorl%ecx, %ecx
movl$.LC3, %esi
callcreate_link
xorl%eax, %eax
popq%rdx
.cfi_def_cfa_offset 8
ret
.L13:
xorl%eax, %eax

[Bug c/67854] Missing diagnostic for passing bool to va_arg

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67854

--- Comment #9 from Marek Polacek  ---
Author: mpolacek
Date: Wed Mar  2 07:24:19 2016
New Revision: 233891

URL: https://gcc.gnu.org/viewcvs?rev=233891=gcc=rev
Log:
PR c/67854
* gimplify.c (gimplify_va_arg_expr): Use expanded location for the
"is promoted to" warning.

* gcc.dg/pr67854.c: New test.

Added:
trunk/gcc/testsuite/gcc.dg/pr67854.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/gimplify.c
trunk/gcc/testsuite/ChangeLog

[Bug middle-end/70025] [6 Regression] Miscompilation of gc-7.4.2 on s390x starting with r227382

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70025

Jakub Jelinek  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

--- Comment #9 from Jakub Jelinek  ---
Fixed.

[Bug middle-end/70025] [6 Regression] Miscompilation of gc-7.4.2 on s390x starting with r227382

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70025

--- Comment #8 from Jakub Jelinek  ---
Author: jakub
Date: Wed Mar  2 06:58:05 2016
New Revision: 233889

URL: https://gcc.gnu.org/viewcvs?rev=233889=gcc=rev
Log:
PR middle-end/70025
* gcc.dg/torture/pr70025.c: New test.

Added:
trunk/gcc/testsuite/gcc.dg/torture/pr70025.c
Modified:
trunk/gcc/testsuite/ChangeLog

[Bug web/69601] current/ redirect is off by at least a day

[Joost.VandeVondele at mat dot ethz.ch]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69601

--- Comment #2 from Joost VandeVondele  
---
same issue for March

[Bug middle-end/68621] [6 Regression] FAIL: gcc.dg/tree-ssa/ifc-8.c scan-tree-dump-times ifcvt "Applying if-conversion" 1

[vekumar at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68621

--- Comment #6 from vekumar at gcc dot gnu.org ---
Author: vekumar
Date: Wed Mar  2 06:14:43 2016
New Revision: 233888

URL: https://gcc.gnu.org/viewcvs?rev=233888=gcc=rev
Log:
Adjust test case in PR68621 to compile with -fpic.

2016-03-02  Venkataramanan Kumar  

PR tree-optimization/68621
* gcc.dg/tree-ssa/ifc-8.c: Adjust test.


Modified:
trunk/gcc/testsuite/ChangeLog
trunk/gcc/testsuite/gcc.dg/tree-ssa/ifc-8.c

[Bug fortran/56226] Add support for DEC UNION and MAP extensions

[fritzoreese at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56226

--- Comment #13 from Fritz Reese  ---
I actually have a fairly in-depth set of testcases as part of the patch (based
on lots of legacy code). More are of course welcome, but check out what I've
already added as a starting point.

[Bug fortran/56226] Add support for DEC UNION and MAP extensions

[joel.matz at horizonbtc dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56226

--- Comment #12 from Joel Matz  ---
I'll see if I can put together some unit tests. Thanks for the effort,

[Bug c++/70036] [concepts] ICE with a dependent sizeof in a concept

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70036

Jason Merrill  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||jason at gcc dot gnu.org
 Resolution|--- |FIXED
   Assignee|unassigned at gcc dot gnu.org  |jason at gcc dot gnu.org
   Target Milestone|--- |6.0

--- Comment #2 from Jason Merrill  ---
Fixed.

[Bug c++/70036] [concepts] ICE with a dependent sizeof in a concept

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70036

--- Comment #1 from Jason Merrill  ---
Author: jason
Date: Wed Mar  2 02:55:23 2016
New Revision: 233886

URL: https://gcc.gnu.org/viewcvs?rev=233886=gcc=rev
Log:
PR c++/70036

* parser.c (cp_parser_requires_clause): Call
check_for_bare_parameter_packs.

Added:
trunk/gcc/testsuite/g++.dg/concepts/variadic3.C
Modified:
trunk/gcc/cp/ChangeLog
trunk/gcc/cp/parser.c

[Bug c++/68998] [5 Regression] Wrong code generated regarding constexpr arrays

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68998

Jason Merrill  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||jason at gcc dot gnu.org
 Resolution|--- |FIXED
   Assignee|unassigned at gcc dot gnu.org  |jason at gcc dot gnu.org

--- Comment #3 from Jason Merrill  ---
The change dosen't seem to have caused trouble on trunk, so I've backported it.

[Bug c++/69261] [6 Regression] Copying char arrays during constexpr evaluation does not work reliably

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69261

--- Comment #8 from Jason Merrill  ---
Author: jason
Date: Wed Mar  2 02:46:12 2016
New Revision: 233883

URL: https://gcc.gnu.org/viewcvs?rev=233883=gcc=rev
Log:
PR c++/69261

* constexpr.c (find_array_ctor_elt): Handle splitting RANGE_EXPR.

Added:
branches/gcc-5-branch/gcc/testsuite/g++.dg/cpp1y/constexpr-array2.C
Modified:
branches/gcc-5-branch/gcc/cp/ChangeLog
branches/gcc-5-branch/gcc/cp/constexpr.c

[Bug c++/68087] [5/6 Regression] ICE with constexpr in array with negative index

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68087

--- Comment #9 from Jason Merrill  ---
Author: jason
Date: Wed Mar  2 02:45:45 2016
New Revision: 233882

URL: https://gcc.gnu.org/viewcvs?rev=233882=gcc=rev
Log:
PR c++/68087

2016-03-01  Markus Trippelsdorf  
Paolo Carlini  
/cp
* constexpr.c (cxx_eval_array_reference): Use tree_fits_shwi_p before
tree_to_shwi to avoid ICEs.

Modified:
branches/gcc-5-branch/gcc/cp/ChangeLog
branches/gcc-5-branch/gcc/cp/constexpr.c
branches/gcc-5-branch/gcc/testsuite/ChangeLog
branches/gcc-5-branch/gcc/testsuite/g++.dg/cpp0x/constexpr-array13.C

[Bug c++/51489] constexpr not working consistently

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=51489

--- Comment #5 from Jason Merrill  ---
Author: jason
Date: Wed Mar  2 02:44:58 2016
New Revision: 233880

URL: https://gcc.gnu.org/viewcvs?rev=233880=gcc=rev
Log:
PR c++/51489

* constexpr.c (cxx_eval_binary_expression): Don't VERIFY_CONSTANT
the operands.

Added:
branches/gcc-5-branch/gcc/testsuite/g++.dg/cpp1y/constexpr-array4.C
Modified:
branches/gcc-5-branch/gcc/cp/ChangeLog
branches/gcc-5-branch/gcc/cp/constexpr.c

[Bug c++/67104] [5 regression] Constant expression factory function initializes std::array with static storage duration strangely

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67104

--- Comment #15 from Jason Merrill  ---
Author: jason
Date: Wed Mar  2 02:45:04 2016
New Revision: 233881

URL: https://gcc.gnu.org/viewcvs?rev=233881=gcc=rev
Log:
PR c++/67104

* constexpr.c (array_index_cmp, find_array_ctor_elt): New.
(cxx_eval_array_reference, cxx_eval_store_expression): Use them.

Modified:
branches/gcc-5-branch/gcc/cp/ChangeLog
branches/gcc-5-branch/gcc/cp/constexpr.c

[Bug c++/69995] [5/6 Regression] [C++14] Invalid result when evaluating constexpr function

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69995

--- Comment #8 from Jason Merrill  ---
Author: jason
Date: Wed Mar  2 02:44:46 2016
New Revision: 233879

URL: https://gcc.gnu.org/viewcvs?rev=233879=gcc=rev
Log:
PR c++/69995

* constexpr.c (cxx_eval_call_expression): Unshare arg.
(cxx_eval_constant_expression) [DECL_EXPR]: Unshare init.
[TARGET_EXPR]: Unshare init.

Added:
branches/gcc-5-branch/gcc/testsuite/g++.dg/cpp1y/constexpr-copy2.C
branches/gcc-5-branch/gcc/testsuite/g++.dg/cpp1y/constexpr-copy3.C
Modified:
branches/gcc-5-branch/gcc/cp/ChangeLog
branches/gcc-5-branch/gcc/cp/constexpr.c

[Bug c++/51489] constexpr not working consistently

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=51489

--- Comment #4 from Jason Merrill  ---
Author: jason
Date: Wed Mar  2 02:32:44 2016
New Revision: 233878

URL: https://gcc.gnu.org/viewcvs?rev=233878=gcc=rev
Log:
PR c++/51489

* constexpr.c (cxx_eval_binary_expression): Don't VERIFY_CONSTANT
the operands.

Added:
trunk/gcc/testsuite/g++.dg/cpp1y/constexpr-array4.C
Modified:
trunk/gcc/cp/ChangeLog
trunk/gcc/cp/constexpr.c

[Bug c++/69995] [5/6 Regression] [C++14] Invalid result when evaluating constexpr function

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69995

--- Comment #7 from Jason Merrill  ---
Author: jason
Date: Wed Mar  2 02:32:38 2016
New Revision: 233877

URL: https://gcc.gnu.org/viewcvs?rev=233877=gcc=rev
Log:
PR c++/69995

* constexpr.c (cxx_eval_call_expression): Unshare arg.
(cxx_eval_constant_expression) [DECL_EXPR]: Unshare init.
[TARGET_EXPR]: Unshare init.

Added:
trunk/gcc/testsuite/g++.dg/cpp1y/constexpr-copy2.C
trunk/gcc/testsuite/g++.dg/cpp1y/constexpr-copy3.C
Modified:
trunk/gcc/cp/ChangeLog
trunk/gcc/cp/constexpr.c

[Bug c++/70037] [concepts] comdat group error and an ICE with a conceptified tuple implementation

[ville.voutilainen at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70037

--- Comment #1 from Ville Voutilainen  ---
The trace:

error: Two symbols with same comdat_group are not linked by the
same_comdat_group list.
"tuple<> is eligible for EBO" );
   ^
_ZNSt5tupleIJS_IJS_IJEEC1Ev/300 (constexpr std::tuple<
 >::tuple() requires
predicate((#‘unary_right_fold_expr’ not supported by expression#) &&
!(#‘unary_right_fold_expr’ not supported by expression#)) [with _Elements =
{std::tuple >}]) @0x7f2d3fd8d8a0
  Type: function definition analyzed alias cpp_implicit_alias
  Visibility: forced_by_abi public weak
comdat_group:_ZNSt5tupleIJS_IJS_IJEEC2Ev one_only visibility_specified
  Same comdat group as: _ZNSt5tupleIJS_IJS_IJEEC2Ev/299
  previous sharing asm name: 291
  References: _ZNSt5tupleIJS_IJS_IJEEC2Ev/299 (alias)
  Referring: 
  First run: 0
  Function flags:
  Called by: 
  Calls: 
_ZNSt5tupleIJS_IJS_IJEEC1Ev/291 (constexpr std::tuple<
 >::tuple() requires
predicate((#‘unary_right_fold_expr’ not supported by expression#) &&
(#‘unary_right_fold_expr’ not supported by expression#)) [with _Elements =
{std::tuple >}]) @0x7f2d400c2cf0
  Type: function definition analyzed alias cpp_implicit_alias
  Visibility: forced_by_abi public weak
comdat_group:_ZNSt5tupleIJS_IJS_IJEEC2Ev one_only visibility_specified
  Same comdat group as: _ZNSt5tupleIJS_IJS_IJEEC2Ev/290
  next sharing asm name: 300
  References: _ZNSt5tupleIJS_IJS_IJEEC2Ev/290 (alias)
  Referring: 
  First run: 0
  Function flags:
  Called by: 
  Calls: 
/home/ville/gcc-git/gcc/libstdc++-v3/testsuite/20_util/tuple/53648.cc:43:47:
internal compiler error: symtab_node::verify failed
0x941719 symtab_node::verify_symtab_nodes()
../../gcc/symtab.c:1219
0x953c1b symtab_node::checking_verify_symtab_nodes()
../../gcc/cgraph.h:602
0x953c1b symbol_table::compile()
../../gcc/cgraphunit.c:2380
0x9561a2 symbol_table::compile()
../../gcc/cgraphunit.c:2536
0x9561a2 symbol_table::finalize_compilation_unit()
../../gcc/cgraphunit.c:2562
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See  for instructions.

[Bug c++/70037] New: [concepts] comdat group error and an ICE with a conceptified tuple implementation

[ville.voutilainen at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70037

Bug ID: 70037
   Summary: [concepts] comdat group error and an ICE with a
conceptified tuple implementation
   Product: gcc
   Version: 6.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c++
  Assignee: unassigned at gcc dot gnu.org
  Reporter: ville.voutilainen at gmail dot com
  Target Milestone: ---

Created attachment 37838
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=37838=edit
Preprocessed test

Having difficulties reducing this, attaching preprocessed source.

[Bug fortran/56226] Add support for DEC UNION and MAP extensions

[jvdelisle at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56226

Jerry DeLisle  changed:

   What|Removed |Added

 CC||jvdelisle at gcc dot gnu.org

--- Comment #11 from Jerry DeLisle  ---
(In reply to Joel Matz from comment #8)
> Any word on this?  I would certainly be willing to help test.

Please start testing if you can.  The more testing the better.  Lots of
variations. I am not familiar with these extensions, I assume a lot of legacy
code exists.

[Bug c++/70036] New: [concepts] ICE with a dependent sizeof in a concept

[ville.voutilainen at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70036

Bug ID: 70036
   Summary: [concepts] ICE with a dependent sizeof in a concept
   Product: gcc
   Version: 6.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c++
  Assignee: unassigned at gcc dot gnu.org
  Reporter: ville.voutilainen at gmail dot com
  Target Milestone: ---

Test:

template  concept bool Large = sizeof(T) > 1;

template 
struct X
{
X() requires Large = default;
X() requires !Large = default;
};

int main()
{
X x;
X y;
}

This gives:

prog.cc: In function 'int main()':
prog.cc:1:47: internal compiler error: in dependent_type_p, at cp/pt.c:22550
 template  concept bool Large = sizeof(T) > 1;
   ^
0x5f5278 dependent_type_p(tree_node*)
/home/heads/gcc/gcc-source/gcc/cp/pt.c:22550
0x6771c7 cxx_sizeof_or_alignof_type(tree_node*, tree_code, bool)
/home/heads/gcc/gcc-source/gcc/cp/typeck.c:1569
0x6039da tsubst_copy_and_build(tree_node*, tree_node*, int, tree_node*, bool,
bool)
/home/heads/gcc/gcc-source/gcc/cp/pt.c:16234
0x603188 tsubst_copy_and_build(tree_node*, tree_node*, int, tree_node*, bool,
bool)
/home/heads/gcc/gcc-source/gcc/cp/pt.c:16150
0x5fdb78 tsubst_expr(tree_node*, tree_node*, int, tree_node*, bool)
/home/heads/gcc/gcc-source/gcc/cp/pt.c:15774
0x6f7baa satisfy_predicate_constraint
/home/heads/gcc/gcc-source/gcc/cp/constraint.cc:1768
0x6f7baa satisfy_constraint_1
/home/heads/gcc/gcc-source/gcc/cp/constraint.cc:1975
0x6f8066 satisfy_constraint
/home/heads/gcc/gcc-source/gcc/cp/constraint.cc:2026
0x6f815a constraints_satisfied_p(tree_node*)
/home/heads/gcc/gcc-source/gcc/cp/constraint.cc:2133
0x5c9ecc add_function_candidate
/home/heads/gcc/gcc-source/gcc/cp/call.c:1994
0x5ca8ef add_candidates
/home/heads/gcc/gcc-source/gcc/cp/call.c:5351
0x5cae84 build_new_method_call_1
/home/heads/gcc/gcc-source/gcc/cp/call.c:8282
0x5cae84 build_new_method_call(tree_node*, tree_node*, vec**, tree_node*, int, tree_node**, int)
/home/heads/gcc/gcc-source/gcc/cp/call.c:8478
0x5c4d8c build_special_member_call(tree_node*, tree_node*, vec**, tree_node*, int, int)
/home/heads/gcc/gcc-source/gcc/cp/call.c:8012
0x690bc6 expand_default_init
/home/heads/gcc/gcc-source/gcc/cp/init.c:1756
0x690bc6 expand_aggr_init_1
/home/heads/gcc/gcc-source/gcc/cp/init.c:1858
0x691385 build_aggr_init(tree_node*, tree_node*, int, int)
/home/heads/gcc/gcc-source/gcc/cp/init.c:1606
0x5d739d build_aggr_init_full_exprs
/home/heads/gcc/gcc-source/gcc/cp/decl.c:5964
0x5d739d check_initializer
/home/heads/gcc/gcc-source/gcc/cp/decl.c:6108
0x5ed0e4 cp_finish_decl(tree_node*, tree_node*, bool, tree_node*, int)
/home/heads/gcc/gcc-source/gcc/cp/decl.c:6783
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See  for instructions.

[Bug middle-end/70025] [6 Regression] Miscompilation of gc-7.4.2 on s390x starting with r227382

[vmakarov at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70025

--- Comment #7 from Vladimir Makarov  ---
Author: vmakarov
Date: Wed Mar  2 01:39:30 2016
New Revision: 233876

URL: https://gcc.gnu.org/viewcvs?rev=233876=gcc=rev
Log:
2016-03-01  Vladimir Makarov  

PR middle-end/70025
* lra-constraints.c (regno_val_use_in): New.
(match_reload): Use it instead of regno_use_in.


Modified:
trunk/gcc/ChangeLog
trunk/gcc/lra-constraints.c

[Bug libgcc/69997] GCC5.3.0 _Unwind_ForcedUnwind Always Abort While pthread_exit

[tcliuqiang at msn dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69997

--- Comment #4 from Liu Qiang  ---
Hello everybody.

I build the powerpc64 crosstoolchain with removing the
'gcc_assert(code==URC_NO_REASON)', and run the new system built by it.  The
program (python3 with thread exiting) terminated by SIGSEGV instead of SIGABRT.
Can anyone help? 


Program received signal SIGSEGV, Segmentation fault.
[Switching to Thread 0x3fffb763b190 (LWP 1667)]
_Unwind_GetGR (index=65, context=0x3fffb7639e40) at
/develop/build/toolchain/src/gcc-4.9.3/libgcc/unwind-dw2.c:244
244 /develop/build/toolchain/src/gcc-4.9.3/libgcc/unwind-dw2.c: No such
file or directory.
(gdb) bt
#0  _Unwind_GetGR (index=65, context=0x3fffb7639e40) at
/develop/build/toolchain/src/gcc-4.9.3/libgcc/unwind-dw2.c:244
#1  frob_update_context (fs=0x3fffb7638ea0, context=0x3fffb7639e40) at
./md-unwind-support.h:335
#2  uw_update_context_1 (context=context@entry=0x3fffb7639e40,
fs=fs@entry=0x3fffb7638ea0) at
/develop/build/toolchain/src/gcc-4.9.3/libgcc/unwind-dw2.c:1494
#3  0x3fffb6e249f0 in uw_init_context_1
(context=context@entry=0x3fffb7639e40,
outer_cfa=outer_cfa@entry=0x3fffb763a4f0, 
outer_ra=0x3fffb7c92e04 <._Unwind_ForcedUnwind+164>) at
/develop/build/toolchain/src/gcc-4.9.3/libgcc/unwind-dw2.c:1587
#4  0x3fffb6e25230 in _Unwind_ForcedUnwind (exc=0x3fffb763b600,
stop=@0x3fffb7ca9270: 0x3fffb7c8f8f0 <.unwind_stop>,
stop_argument=0x3fffb763a7e0)
at /develop/build/toolchain/src/gcc-4.9.3/libgcc/unwind.inc:201
#5  0x3fffb7c92e04 in ._Unwind_ForcedUnwind () from /lib/libpthread.so.0
#6  0x3fffb7c8fb08 in .__pthread_unwind () from /lib/libpthread.so.0
#7  0x3fffb7c84e1c in .pthread_exit () from /lib/libpthread.so.0
#8  0x3fffb7e78044 in PyThread_exit_thread () at
Python/thread_pthread.h:266
#9  0x3fffb7e7e888 in t_bootstrap (boot_raw=0x10115740) at
./Modules/_threadmodule.c:1023
#10 0x3fffb7c83af0 in .start_thread () from /lib/libpthread.so.0
#11 0x3fffb7ad4024 in .__clone () from /lib/libc.so.6
(gdb) info registers 
r0 0x5701392
r1 0x3fffb76387f0   70367525963760
r2 0x3fffb6e43030   70367517618224
r3 0x3fffb7638860   70367525963872
r4 0x0  0
r5 0x3fffb6e25230   70367517495856
r6 0x3fffb6e3b770   70367517587312
r7 0x7fc4f378   2143613816
r8 0x8  8
r9 0x4000   4611686018427387904
r100x0  0
r110x3fffb763a3b0   70367525970864
r120x3fffb7639e40   70367525969472
r130x3fffb76428f0   70367526004976
r140x800576460752303423488
r150x3fffb78fce60   70367528865376
r160x3fffb6e3c000   70367517589504
r170x3fffb763b250   70367525974608
r180x80 8388608
r190x3fffb7ca8020   70367532711968
r200x10115740   269571904
r210x3fffeaf8   70368744172280
r220x3fffb763a4f0   70367525971184
r230x3fffb7639e40   70367525969472
r240x3fffb7638860   70367525963872
r250x3fffb763a3aa   70367525970858
r260x3fffb763a2d0   70367525970640
r270x92 146
r280x3fffb76397c0   70367525967808
r290x3fffb7638ea0   70367525965472
r300x0  0
r310x1  1
pc 0x3fffb6e23a24   0x3fffb6e23a24 
msr0x8002d000   2147667968
cr 0x44424422   1145193506
lr 0x3fffb6e23680   0x3fffb6e23680 
ctr0x3fffb6e237d0   70367517489104
xer0x0  0
orig_r30x3fffb6e3b804   70367517587460
trap   0x300768
(gdb)

[Bug c++/70035] New: [5.3 regression] Calling a non-virtual member in base-class constructor call with ubsan causes segfault when superclass has virtual member with same name

[teemperor at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70035

Bug ID: 70035
   Summary: [5.3 regression] Calling a non-virtual member in
base-class constructor call with ubsan causes segfault
when superclass has virtual member with same name
   Product: gcc
   Version: 5.3.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c++
  Assignee: unassigned at gcc dot gnu.org
  Reporter: teemperor at gmail dot com
  Target Milestone: ---

Created attachment 37837
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=37837=edit
Small testcase triggering the bug

Bug is quite specific, only applies to situations where:

* A initializer list calls constructor of parent class.
* This constructor call args calls a non-virtual method
  defined in the current class
* The parent class has a virtual method with the same name
  (but different signature)

In those cases ubsan causes a segfault.

It only happens in 5.3, didn't experience the bug in 5.2 and previous versions.

I've attached an minimal testcase. Running it produces on my system:

#
% g++ -fsanitize=undefined  -Wall -Wextra -g segfault_ubsan.cpp && ./a.out
ubsan_segfault.cpp:7:12: warning: unused parameter 'i' [-Wunused-parameter]
   Base(int i) {
^
[1]12911 segmentation fault (core dumped)  ./a.out
#

Running the testcase with clang 3.7.1 is fine:
#
% clang++ -fsanitize=undefined  -Wall -Wextra -g segfault_ubsan.cpp && ./a.out
segfault_ubsan.cpp:7:12: warning: unused parameter 'i' [-Wunused-parameter]
Base(int i) {
 ^
1 warning generated.
#


gdb-bt:
#
Program received signal SIGSEGV, Segmentation fault.
__cxxabiv1::__dynamic_cast (src_ptr=0x1c, src_type=0x77dcb5a0 , dst_type=0x77dca8f0 , src2dst=src2dst@entry=0)
at
/build/gcc-multilib/src/gcc-5-20160209/libstdc++-v3/libsupc++/dyncast.cc:50
50 
/build/gcc-multilib/src/gcc-5-20160209/libstdc++-v3/libsupc++/dyncast.cc: No
such file or directory.
(gdb) bt
#0  __cxxabiv1::__dynamic_cast (src_ptr=0x1c, src_type=0x77dcb5a0 , dst_type=0x77dca8f0 , src2dst=src2dst@entry=0)
at
/build/gcc-multilib/src/gcc-5-20160209/libstdc++-v3/libsupc++/dyncast.cc:50
#1  0x76a4beb0 in __ubsan::checkDynamicType
(Object=Object@entry=0x7fffd910, Type=0x400b58 ,
Hash=16569236629162752260)
at
/build/gcc-multilib/src/gcc-5-20160209/libsanitizer/ubsan/ubsan_type_hash.cc:225
#2  0x76a4b336 in HandleDynamicTypeCacheMiss (Data=0x601380,
Pointer=140737488345360, Hash=, Opts=...) at
/build/gcc-multilib/src/gcc-5-20160209/libsanitizer/ubsan/ubsan_handlers_cxx.cc:31
#3  0x76a4bb73 in __ubsan::__ubsan_handle_dynamic_type_cache_miss
(Data=, Pointer=, Hash=)
at
/build/gcc-multilib/src/gcc-5-20160209/libsanitizer/ubsan/ubsan_handlers_cxx.cc:74
#4  0x004009db in Child::Child (this=0x7fffd910, param=20) at
segfault_ubsan.cpp:19
#5  0x0040089f in main () at segfault_ubsan.cpp:28

#


GCC-Information:

Using built-in specs.
COLLECT_GCC=g++
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-unknown-linux-gnu/5.3.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: /build/gcc-multilib/src/gcc-5-20160209/configure --prefix=/usr
--libdir=/usr/lib --libexecdir=/usr/lib --mandir=/usr/share/man
--infodir=/usr/share/info --with-bugurl=https://bugs.archlinux.org/
--enable-languages=c,c++,ada,fortran,go,lto,objc,obj-c++ --enable-shared
--enable-threads=posix --enable-libmpx --with-system-zlib --with-isl
--enable-__cxa_atexit --disable-libunwind-exceptions --enable-clocale=gnu
--disable-libstdcxx-pch --disable-libssp --enable-gnu-unique-object
--enable-linker-build-id --enable-lto --enable-plugin
--enable-install-libiberty --with-linker-hash-style=gnu
--enable-gnu-indirect-function --enable-multilib --disable-werror
--enable-checking=release
Thread model: posix
gcc version 5.3.0 (GCC)
System is Arch Linux.

[Bug tree-optimization/69196] [5/6 Regression] code size regression with jump threading at -O2

[law at redhat dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69196

Jeffrey A. Law  changed:

   What|Removed |Added

   Priority|P1  |P2

[Bug tree-optimization/69196] [5/6 Regression] code size regression with jump threading at -O2

[law at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69196

--- Comment #14 from Jeffrey A. Law  ---
Author: law
Date: Tue Mar  1 23:12:10 2016
New Revision: 233870

URL: https://gcc.gnu.org/viewcvs?rev=233870=gcc=rev
Log:
PR tree-optimization/69196
* tree-ssa-threadbackward.c (fsm_find_control_statement_thread_paths):
Appropriately clamp the number of statements to copy when the
thread path does not traverse a loop backedge.

PR tree-optimization/69196
* gcc.dg/tree-ssa/pr69196.c: New test.

Added:
trunk/gcc/testsuite/gcc.dg/tree-ssa/pr69196-1.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-ssa-threadbackward.c

[Bug rtl-optimization/70007] [4.9/5/6 Regression] wrong code with -mbmi2

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70007

Eric Botcazou  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

--- Comment #9 from Eric Botcazou  ---
Fixed on all branches.

[Bug rtl-optimization/70007] [4.9/5/6 Regression] wrong code with -mbmi2

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70007

--- Comment #8 from Eric Botcazou  ---
Author: ebotcazou
Date: Tue Mar  1 22:36:15 2016
New Revision: 233869

URL: https://gcc.gnu.org/viewcvs?rev=233869=gcc=rev
Log:
PR rtl-optimization/70007
* gcse.c (compute_ld_motion_mems): Tidy up and also invalidate memory
references present in REG_EQUAL notes attached to non-SET patterns.

Added:
branches/gcc-4_9-branch/gcc/testsuite/gcc.target/i386/pr70007.c
  - copied unchanged from r233868,
trunk/gcc/testsuite/gcc.target/i386/pr70007.c
Modified:
branches/gcc-4_9-branch/gcc/ChangeLog
branches/gcc-4_9-branch/gcc/gcse.c
branches/gcc-4_9-branch/gcc/testsuite/ChangeLog

[Bug fortran/56226] Add support for DEC UNION and MAP extensions

[russelljbrennan at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56226

--- Comment #10 from russelljbrennan at gmail dot com ---
Thanks for this Fritz!  Should make a lot of people's lives much easier.

[Bug rtl-optimization/70007] [4.9/5/6 Regression] wrong code with -mbmi2

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70007

--- Comment #7 from Eric Botcazou  ---
Author: ebotcazou
Date: Tue Mar  1 22:34:40 2016
New Revision: 233868

URL: https://gcc.gnu.org/viewcvs?rev=233868=gcc=rev
Log:
PR rtl-optimization/70007
* gcse.c (compute_ld_motion_mems): Tidy up and also invalidate memory
references present in REG_EQUAL notes attached to non-SET patterns.

Added:
branches/gcc-5-branch/gcc/testsuite/gcc.target/i386/pr70007.c
  - copied unchanged from r233867,
trunk/gcc/testsuite/gcc.target/i386/pr70007.c
Modified:
branches/gcc-5-branch/gcc/ChangeLog
branches/gcc-5-branch/gcc/gcse.c
branches/gcc-5-branch/gcc/testsuite/ChangeLog

[Bug rtl-optimization/70007] [4.9/5/6 Regression] wrong code with -mbmi2

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70007

--- Comment #6 from Eric Botcazou  ---
Author: ebotcazou
Date: Tue Mar  1 22:31:52 2016
New Revision: 233867

URL: https://gcc.gnu.org/viewcvs?rev=233867=gcc=rev
Log:
PR rtl-optimization/70007
* gcse.c (compute_ld_motion_mems): Tidy up and also invalidate memory
references present in REG_EQUAL notes attached to non-SET patterns.

Added:
trunk/gcc/testsuite/gcc.target/i386/pr70007.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/gcse.c
trunk/gcc/testsuite/ChangeLog

[Bug c++/70034] repetitive -Wvla warning for each non-constant dimension of a VLA

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70034

--- Comment #1 from Andrew Pinski  ---
I actually think three is more correct.  The issue is column for where the VLA
is referenced is incorrect.

[Bug c/68187] [6 Regression] Poor error message from -Wmisleading-indentation on glibc's ../stdlib/strtol_l.c

[dmalcolm at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68187

--- Comment #5 from David Malcolm  ---
(In reply to Richard Biener from comment #4)
> Confirmed.

This bug is arguably two different issues: the one in comment #0 and the one in
comment #1.

Richi: I see that you confirmed this and raised the priority from P3 to P1. 
Were you referring to both issues, or just to one of them?   (fwiw, I believe I
have a fix for the issue in comment #0, but not yet for the one in comment #1)

[Bug c++/70034] New: repetitive -Wvla warning for each non-constant dimension of a VLA

[msebor at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70034

Bug ID: 70034
   Summary: repetitive -Wvla warning for each non-constant
dimension of a VLA
   Product: gcc
   Version: 6.0
Status: UNCONFIRMED
  Severity: trivial
  Priority: P3
 Component: c++
  Assignee: unassigned at gcc dot gnu.org
  Reporter: msebor at gcc dot gnu.org
  Target Milestone: ---

G++ issues -Wvla warning for each dimension of a VLA that is not a constant
expression.  It seems that just one warning for the array object would be
sufficient.  (Interestingly, Clang suffers from the same problem.)

$ cat z.c && /home/msebor/build/gcc-trunk-svn/gcc/xgcc
-B/home/msebor/build/gcc-trunk-svn/gcc -S -Wall -Wextra -Wpedantic -o/dev/null
-xc++ z.cvoid foo (int n)
{
  int a [n][n][n];
}
z.c: In function ‘void foo(int)’:
z.c:3:17: warning: ISO C++ forbids variable length array ‘a’ [-Wvla]
   int a [n][n][n];
 ^
z.c:3:17: warning: ISO C++ forbids variable length array ‘a’ [-Wvla]
z.c:3:17: warning: ISO C++ forbids variable length array ‘a’ [-Wvla]
z.c:3:7: warning: unused variable ‘a’ [-Wunused-variable]
   int a [n][n][n];
   ^

[Bug fortran/56226] Add support for DEC UNION and MAP extensions

[fritzoreese at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56226

--- Comment #9 from Fritz Reese  ---
I've finally submitted my patches for a -fdec-structure option which enables
STRUCTURE/RECORD and UNION/MAP support:

https://gcc.gnu.org/ml/fortran/2016-03/msg2.html

I have (4) patches, and had to submit the patches separately to avoid being
spam-blocked:
https://gcc.gnu.org/ml/fortran/2016-03/msg3.html
https://gcc.gnu.org/ml/fortran/2016-03/msg4.html
https://gcc.gnu.org/ml/fortran/2016-03/msg5.html
https://gcc.gnu.org/ml/fortran/2016-03/msg6.html

[Bug tree-optimization/69196] [5/6 Regression] code size regression with jump threading at -O2

[law at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69196

--- Comment #13 from Jeffrey A. Law  ---
Author: law
Date: Tue Mar  1 21:46:58 2016
New Revision: 233866

URL: https://gcc.gnu.org/viewcvs?rev=233866=gcc=rev
Log:
PR tree-optimization/69196
* tree-ssa-threadbackward.c (fsm_find_control_statement_thread_paths):
Do count some PHIs in the thread path against the insn count.  Decrease
final statement count by one as the control statement in the last
block will get removed.  Remove special cased code for handling PHIs   
in the last block.

PR tree-optimization/69196
* gcc.dg/tree-ssa/vrp46.c: Twiddle threading params to keep it from
duplicating code and spoiling the expected output.

Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/testsuite/gcc.dg/tree-ssa/vrp46.c
trunk/gcc/tree-ssa-threadbackward.c

[Bug target/70033] PowerPC power9 tests don't have guard for power9 support

[meissner at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70033

Michael Meissner  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

--- Comment #3 from Michael Meissner  ---
Fixed in subversion id 233865.

[Bug target/70033] PowerPC power9 tests don't have guard for power9 support

[meissner at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70033

--- Comment #2 from Michael Meissner  ---
Created attachment 37836
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=37836=edit
Patch that was checked in to fix the problem

[Bug target/70033] PowerPC power9 tests don't have guard for power9 support

[meissner at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70033

--- Comment #1 from Michael Meissner  ---
Author: meissner
Date: Tue Mar  1 21:31:47 2016
New Revision: 233865

URL: https://gcc.gnu.org/viewcvs?rev=233865=gcc=rev
Log:
2016-03-01  Michael Meissner  

PR target/70033
* gcc.target/powerpc/p9-lxvx-stxvx-1.c: Make sure compiler
supports power9 before doing tests.
* gcc.target/powerpc/p9-lxvx-stxvx-2.c: Likewise.
* gcc.target/powerpc/p9-lxvx-stxvx-3.c: Likewise.
* gcc.target/powerpc/p9-permute.c: Likewise.


Modified:
trunk/gcc/testsuite/ChangeLog
trunk/gcc/testsuite/gcc.target/powerpc/p9-lxvx-stxvx-1.c
trunk/gcc/testsuite/gcc.target/powerpc/p9-lxvx-stxvx-2.c
trunk/gcc/testsuite/gcc.target/powerpc/p9-lxvx-stxvx-3.c
trunk/gcc/testsuite/gcc.target/powerpc/p9-permute.c

[Bug rtl-optimization/44281] [4.9/5/6 Regression] Global Register variable pessimisation

[bernds at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=44281

Bernd Schmidt  changed:

   What|Removed |Added

 Status|RESOLVED|REOPENED
 Resolution|WONTFIX |---
   Target Milestone|4.9.4   |7.0

--- Comment #25 from Bernd Schmidt  ---
Michael Matz pointed out that signal handlers are documented not to be able to
access global register vars. So since that concern is out of the window, I'll
resubmit the patch for 7.0.

[Bug target/67278] [4.9/5/6 Regression] ICE: verify_gimple failed on darwin 14.5 x86_64

[ubizjak at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67278

--- Comment #5 from Uroš Bizjak  ---
(In reply to Richard Biener from comment #4)
> CCing Uros for the followup ICE.  Apply

Following patch should fix the ICE:

--cut here--
Index: config/i386/i386.c
===
--- config/i386/i386.c  (revision 233864)
+++ config/i386/i386.c  (working copy)
@@ -7794,6 +7794,10 @@ type_natural_mode (const_tree type, const CUMULATI
{
  machine_mode innermode = TYPE_MODE (TREE_TYPE (type));

+ /* There are no XFmode vector modes.  */
+ if (innermode == XFmode)
+   return mode;
+
  if (TREE_CODE (TREE_TYPE (type)) == REAL_TYPE)
mode = MIN_MODE_VECTOR_FLOAT;
  else
--cut here--

[Bug target/70033] PowerPC power9 tests don't have guard for power9 support

[meissner at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70033

Michael Meissner  changed:

   What|Removed |Added

 Status|UNCONFIRMED |ASSIGNED
   Last reconfirmed||2016-03-01
   Assignee|unassigned at gcc dot gnu.org  |meissner at gcc dot 
gnu.org
 Ever confirmed|0   |1

[Bug target/70033] New: PowerPC power9 tests don't have guard for power9 support

[meissner at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70033

Bug ID: 70033
   Summary: PowerPC power9 tests don't have guard for power9
support
   Product: gcc
   Version: 6.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: target
  Assignee: unassigned at gcc dot gnu.org
  Reporter: meissner at gcc dot gnu.org
  Target Milestone: ---

The new tests for initial power9 (ISA 3.0) functionality are not properly
guarded to make sure the compiler enables power9 support with:
/* { dg-require-effective-target powerpc_p9vector_ok } */

The following tests are affected:
gcc.target/powerpc/p9-lxvx-stxvx-1.c
gcc.target/powerpc/p9-lxvx-stxvx-2.c
gcc.target/powerpc/p9-lxvx-stxvx-3.c
gcc.target/powerpc/p9-permute.c
gcc/testsuite/gcc.target/powerpc/cpu-builtin-1.c

[Bug target/70027] invalid assembly syntax generated with -fno-plt -masm=intel

[ubizjak at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70027

Uroš Bizjak  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED
   Target Milestone|--- |6.0

--- Comment #4 from Uroš Bizjak  ---
Fixed.

[Bug ada/70017] c52103x and c52104x test failure on s390x

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70017

--- Comment #9 from Eric Botcazou  ---
> We have zero test failures with the patched code.  Is that good enough or
> should I still take a closer look?

Good enough if you have no failures.  You'll get the warning I just reinstated
in corner cases, but no big deal.

[Bug ada/70017] c52103x and c52104x test failure on s390x

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70017

--- Comment #8 from Eric Botcazou  ---
Author: ebotcazou
Date: Tue Mar  1 20:04:01 2016
New Revision: 233862

URL: https://gcc.gnu.org/viewcvs?rev=233862=gcc=rev
Log:
PR ada/70017
* ira.c (do_reload): Issue warning for generic stack checking here...
* reload1.c (reload): ...instead of here and streamline it.

Added:
trunk/gcc/testsuite/gcc.dg/pr70017.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/ira.c
trunk/gcc/reload1.c
trunk/gcc/testsuite/ChangeLog

[Bug target/70027] invalid assembly syntax generated with -fno-plt -masm=intel

[uros at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70027

--- Comment #3 from uros at gcc dot gnu.org ---
Author: uros
Date: Tue Mar  1 20:11:19 2016
New Revision: 233864

URL: https://gcc.gnu.org/viewcvs?rev=233864=gcc=rev
Log:
PR target/70027
* config/i386/i386.c (ix86_output_call_insn): Add -masm=intel
asm dialect alternatives to explicit GOTPCREL calls.

testsuite/ChangeLog:

PR target/70027
* gcc.target/i386/pr70027.c: New test.


Added:
trunk/gcc/testsuite/gcc.target/i386/pr70027.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/config/i386/i386.c
trunk/gcc/testsuite/ChangeLog

[Bug libffi/70024] [5/6 Regression] libffi ABI change w/o SONAME bump

[rth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70024

Richard Henderson  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2016-03-01
 CC||green at gcc dot gnu.org
 Ever confirmed|0   |1

--- Comment #3 from Richard Henderson  ---
That's my fault.

I believe I was planning to put off the soname bump until I'd
also converted libffi to use symbol versioning, but then didn't
finish that sub-project, leaving us in this unfortunate state.

Shall I simply do the version bump now, or also implement the versioning?

[Bug target/70028] Error: operand size mismatch for `kmovw' (wrong assembly generated) with -mavx512bw -masm=intel

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70028

Jakub Jelinek  changed:

   What|Removed |Added

 CC||jakub at gcc dot gnu.org

--- Comment #3 from Jakub Jelinek  ---
Created attachment 37835
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=37835=edit
gcc6-pr70028.patch

So what about this patch then?  I don't see kmov* used with %k in other
patterns, where "m" could appear.

[Bug libffi/70024] [5/6 Regression] libffi ABI change w/o SONAME bump

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70024

Jakub Jelinek  changed:

   What|Removed |Added

 CC||jakub at gcc dot gnu.org

--- Comment #2 from Jakub Jelinek  ---
Yeah, I'm afraid changing it in 4.9 or bumping soname in 5 is now too late.
We could bump the SONAME in 6.

[Bug c++/69203] ICE in potential_constant_expression_1, at cp/constexpr.c:4754

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69203

Jason Merrill  changed:

   What|Removed |Added

 Status|UNCONFIRMED |ASSIGNED
   Last reconfirmed||2016-03-01
 CC||jason at gcc dot gnu.org
   Assignee|unassigned at gcc dot gnu.org  |jason at gcc dot gnu.org
 Ever confirmed|0   |1

[Bug tree-optimization/70032] New: tree-ssa-tail-merge engine replacement

[vries at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70032

Bug ID: 70032
   Summary: tree-ssa-tail-merge engine replacement
   Product: gcc
   Version: 6.0
Status: UNCONFIRMED
  Severity: enhancement
  Priority: P3
 Component: tree-optimization
  Assignee: unassigned at gcc dot gnu.org
  Reporter: vries at gcc dot gnu.org
  Target Milestone: ---

https://gcc.gnu.org/ml/gcc-patches/2015-07/msg00755.html :
...
Hello.

It's going to be almost a year Richard advised me to utilize IPA ICF
infrastructure in tree-ssa-tail-merge, currently using value numbering which
is quite hard to maintain.
Following small patch set is kick-off and I am opened for advices. Meanwhile,
I'm going to send statistics about merged basic blocks before/after the patch
set.

Patch set can bootstrap on x86_64-linux-pc and survives regression tests.

Thanks,
Martin
...

[Bug c/69796] [6 Regression] ICE on invalid code in useless_type_conversion_p, at gimple-expr.c:83

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69796

Jakub Jelinek  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

--- Comment #8 from Jakub Jelinek  ---
Fixed.

[Bug c/69993] Misleading wording for -Wmisleading-indentation

[dmalcolm at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69993

David Malcolm  changed:

   What|Removed |Added

 Status|NEW |ASSIGNED
   Assignee|unassigned at gcc dot gnu.org  |dmalcolm at gcc dot 
gnu.org

--- Comment #4 from David Malcolm  ---
Candidate patch:
  https://gcc.gnu.org/ml/gcc-patches/2016-03/msg00068.html

[Bug c/69974] [6 Regression] gcc ICE on invalid code on x86_64-linux-gnu in "create_tmp_from_val"

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69974

--- Comment #3 from Jakub Jelinek  ---
Author: jakub
Date: Tue Mar  1 18:27:21 2016
New Revision: 233861

URL: https://gcc.gnu.org/viewcvs?rev=233861=gcc=rev
Log:
PR c/69796
PR c/69974
* c-parser.c (c_parser_translation_unit): Don't change TREE_TYPE
of incomplete decls to error_mark_node.

* gcc.dg/pr69796.c: New test.
* gcc.dg/pr69974.c: New test.

Added:
trunk/gcc/testsuite/gcc.dg/pr69796.c
trunk/gcc/testsuite/gcc.dg/pr69974.c
Modified:
trunk/gcc/c/ChangeLog
trunk/gcc/c/c-parser.c
trunk/gcc/testsuite/ChangeLog

[Bug c/69796] [6 Regression] ICE on invalid code in useless_type_conversion_p, at gimple-expr.c:83

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69796

--- Comment #7 from Jakub Jelinek  ---
Author: jakub
Date: Tue Mar  1 18:27:21 2016
New Revision: 233861

URL: https://gcc.gnu.org/viewcvs?rev=233861=gcc=rev
Log:
PR c/69796
PR c/69974
* c-parser.c (c_parser_translation_unit): Don't change TREE_TYPE
of incomplete decls to error_mark_node.

* gcc.dg/pr69796.c: New test.
* gcc.dg/pr69974.c: New test.

Added:
trunk/gcc/testsuite/gcc.dg/pr69796.c
trunk/gcc/testsuite/gcc.dg/pr69974.c
Modified:
trunk/gcc/c/ChangeLog
trunk/gcc/c/c-parser.c
trunk/gcc/testsuite/ChangeLog

[Bug target/70021] [6 Regression] Test miscompiled with -O3 option for -march=core-avx2.

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70021

--- Comment #6 from Jakub Jelinek  ---
Created attachment 37834
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=37834=edit
gcc6-pr70021-wip.patch

But that would mean we don't vectorize the loop.
I see 2 cases here, one where we look up the def_stmt and look through it, that
is the same case as in the other PR and we shouldn't do that, otherwise we
reference something that is not the final SSA_NAME of a pattern sequence
outside of that sequence.
The other case is where we don't look through that or just avoid that, in that
case we add a cast into the current pattern sequence, and refer to the final
SSA_NAME of the other pattern sequence.  I really don't see why that shouldn't
work right.  Except as the patch shows, it doesn't for some reason.

[Bug tree-optimization/70026] [6 Regression] ICE in expand_expr_real_2 with -O1 -ftree-vectorize

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70026

--- Comment #4 from Jakub Jelinek  ---
unsigned int a[64], b[64], c[64], d[64], e[64];

void
foo ()
{
  int i;
  for (i = 0; i < 64; i++)
{
  d[i] = a[i];
  e[i] = ((b[i] < e[i]) != !c[i]) && !a[i];
}
}

-O3 is enough on x86_64.

[Bug bootstrap/60743] build/genautomata uses 700 MB memory for ARM

[ramana at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60743

Ramana Radhakrishnan  changed:

   What|Removed |Added

 Status|REOPENED|RESOLVED
 CC||ramana at gcc dot gnu.org
 Resolution|--- |FIXED

--- Comment #17 from Ramana Radhakrishnan  ---
(In reply to Tyrel Haveman from comment #16)
> Certainly that is an option in many cases. In my particular case this is
> building on an OpenStack cloud instance and we've maxed out the resources
> we've paid for, so I don't have the room to add swap space or more RAM to
> the VM.

Please open a new bug against gcc 5.3.0 . I've lost all tracking for this bug
now about where we actually have an issue and in what specific pipeline
descriptions.

[Bug tree-optimization/70026] [6 Regression] ICE in expand_expr_real_2 with -O1 -ftree-vectorize

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70026

Jakub Jelinek  changed:

   What|Removed |Added

 CC||jakub at gcc dot gnu.org

--- Comment #3 from Jakub Jelinek  ---
Reducing...

[Bug middle-end/69845] [4.9/5/6 Regression] Expression getting incorrectly optimized after being rewritten by compiler

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69845

Richard Biener  changed:

   What|Removed |Added

   Priority|P3  |P2

[Bug tree-optimization/69740] [5/6 Regression] gcc ICE at -O2 and above on valid code on x86_64-linux-gnu in "verify_loop_structure"

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69740

Richard Biener  changed:

   What|Removed |Added

   Keywords||ice-checking
   Priority|P3  |P2

[Bug lto/69650] [6 Regression] ICE in linemap_line_start, at libcpp/line-map.c:803

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69650

Richard Biener  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2016-03-01
 Ever confirmed|0   |1

--- Comment #7 from Richard Biener  ---
Confirmed.

[Bug target/69614] [6 Regression] wrong code with -Os -fno-expensive-optimizations -fschedule-insns -mtpcs-leaf-frame -fira-algorithm=priority @ armv7a

[ktkachov at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69614

--- Comment #14 from ktkachov at gcc dot gnu.org ---
I'm not currently looking into this as I'm rather stumped by regalloc

[Bug c++/69315] [6 Regression] ICE in finish_function with constexpr and templates

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69315

Richard Biener  changed:

   What|Removed |Added

   Priority|P3  |P1

[Bug target/69614] [6 Regression] wrong code with -Os -fno-expensive-optimizations -fschedule-insns -mtpcs-leaf-frame -fira-algorithm=priority @ armv7a

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69614

Richard Biener  changed:

   What|Removed |Added

   Priority|P3  |P2

--- Comment #13 from Richard Biener  ---
Making P2 because this is an issue likely latent on earlier releases.

[Bug c++/69517] [5/6 regression] SEGV on a VLA with excess initializer elements

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69517

Richard Biener  changed:

   What|Removed |Added

   Priority|P3  |P2

[Bug tree-optimization/69224] [4.9/5/6 Regression] -Warray-bounds false positive with -O3 and struct pointer parameter

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69224

Richard Biener  changed:

   What|Removed |Added

   Priority|P3  |P2

[Bug rtl-optimization/69052] [6 Regression] Performance regression after r229402.

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69052

Richard Biener  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2016-03-01
 Ever confirmed|0   |1

[Bug rtl-optimization/69052] [6 Regression] Performance regression after r229402.

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69052

Richard Biener  changed:

   What|Removed |Added

   Priority|P3  |P1

[Bug rtl-optimization/68695] [6 Regression] Performance regression related to ssa patch / ifcvt

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68695

Richard Biener  changed:

   What|Removed |Added

   Priority|P3  |P1
 Status|UNCONFIRMED |NEW
   Last reconfirmed||2016-03-01
 CC||rguenth at gcc dot gnu.org
  Component|middle-end  |rtl-optimization
 Ever confirmed|0   |1

--- Comment #19 from Richard Biener  ---
Confirmed.  Another option would be to still do the coalescing but make sure
to use subregs for the not promoted uses.  Not sure if that's easily possible
or even desired here.

OTOH there should be some RTL pass doing exactly that - copy propagating the
copies away.

Note that we simply performed the coalescing before r224262, so somehow
it was safe to do.

[Bug middle-end/68621] [6 Regression] FAIL: gcc.dg/tree-ssa/ifc-8.c scan-tree-dump-times ifcvt "Applying if-conversion" 1

[vekumar at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68621

--- Comment #5 from vekumar at gcc dot gnu.org ---
Adding visibility to hidden helps.

diff --git a/gcc/testsuite/gcc.dg/tree-ssa/ifc-8.c
b/gcc/testsuite/gcc.dg/tree-ssa/ifc-8.c
index 89a3410..7519a61 100644
--- a/gcc/testsuite/gcc.dg/tree-ssa/ifc-8.c
+++ b/gcc/testsuite/gcc.dg/tree-ssa/ifc-8.c
@@ -1,9 +1,9 @@

 /* { dg-do compile } */
-/* { dg-options "-Ofast -fdump-tree-ifcvt-details -fno-common
-ftree-loop-if-convert-stores" } */
+/* { dg-options "-Ofast -fdump-tree-ifcvt-details
-ftree-loop-if-convert-stores" } */

 #define LEN 4096
- __attribute__((aligned (32))) float array[LEN];
+ __attribute__((visibility("hidden"), aligned (32))) float array[LEN] = {};

 void test ()
 {

[Bug middle-end/68542] [6 Regression] 10% 481.wrf performance regression

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68542

Richard Biener  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |FIXED

--- Comment #9 from Richard Biener  ---
Fixed.

[Bug c/68187] [6 Regression] Poor error message from -Wmisleading-indentation on glibc's ../stdlib/strtol_l.c

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68187

Richard Biener  changed:

   What|Removed |Added

   Priority|P3  |P1
 Status|UNCONFIRMED |NEW
   Last reconfirmed||2016-03-01
 Ever confirmed|0   |1

--- Comment #4 from Richard Biener  ---
Confirmed.

[Bug target/67278] [4.9/5/6 Regression] ICE: verify_gimple failed on darwin 14.5 x86_64

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67278

Richard Biener  changed:

   What|Removed |Added

   Priority|P3  |P2

[Bug target/67278] [4.9/5/6 Regression] ICE: verify_gimple failed on darwin 14.5 x86_64

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67278

Richard Biener  changed:

   What|Removed |Added

 CC||uros at gcc dot gnu.org

--- Comment #4 from Richard Biener  ---
CCing Uros for the followup ICE.  Apply

Index: gcc/tree-cfg.c
===
--- gcc/tree-cfg.c  (revision 233852)
+++ gcc/tree-cfg.c  (working copy)
@@ -2959,10 +2959,10 @@ verify_expr (tree *tp, int *walk_subtree
}
  else if (!INTEGRAL_TYPE_P (TREE_TYPE (t))
   && TYPE_MODE (TREE_TYPE (t)) != BLKmode
-  && (GET_MODE_PRECISION (TYPE_MODE (TREE_TYPE (t)))
+  && (GET_MODE_BITSIZE (TYPE_MODE (TREE_TYPE (t)))
   != tree_to_uhwi (t1)))
{
- error ("mode precision of non-integral result does not "
+ error ("mode size of non-integral result does not "
 "match field size of BIT_FIELD_REF");
  return t;
}

to avoid the first checking issue (or simplify the testcase do not do
arithmetic I guess).

[Bug c/48778] gcc 4.6 -Waddress adds unhelpful new warning case when using from a macro

[msebor at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=48778

Martin Sebor  changed:

   What|Removed |Added

 CC||msebor at gcc dot gnu.org

--- Comment #4 from Martin Sebor  ---
(In reply to Peter Eisentraut from comment #0)
> I don't think this is really helpful.  Macros like in the above example are
> not uncommon, and there is no obvious way to write the code better.

A better way (in that it doesn't elicit the warning) to write buflen() is as an
inline function, perhaps while leaving the buflen macro in place:

  #define buflen(b) ((b) == NULL ? 0 : (b)->len)
  static inline size_t (buflen)(const buf *b) { return buflen (b); }

Then users of buflen have a choice of calling either the function (by
parenthesizing the name) or the macro (without the parentheses).  This practice
is codified in the C standard where C library functions may be (also) defined
as macros this way.

I would rather not compromise the GCC warning since it's possible to make the
opposite argument: that not issuing the warning for macros is unhelpful.

[Bug middle-end/69987] [6 Regression] internal compiler error: in verify_loop_structure, at cfgloop.c:1639

[law at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69987

--- Comment #4 from Jeffrey A. Law  ---
Author: law
Date: Tue Mar  1 16:22:51 2016
New Revision: 233857

URL: https://gcc.gnu.org/viewcvs?rev=233857=gcc=rev
Log:
PR tree-optimization/69987
* gfortran.dg/pr69987.f90: New test.

PR tree-optimization/69989
* gcc.c-torture/compile/pr69989-2.c: New test.

Added:
trunk/gcc/testsuite/gcc.c-torture/compile/pr69989-2.c
trunk/gcc/testsuite/gfortran.dg/pr69987.f90
Modified:
trunk/gcc/testsuite/ChangeLog

[Bug fortran/69963] ICE out of memory on displaced implicit character

[dominiq at lps dot ens.fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69963

Dominique d'Humieres  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2016-03-01
 Ever confirmed|0   |1

--- Comment #2 from Dominique d'Humieres  ---
On x86_64-apple-darwin15, I get from 4.8 up to trunk (6.0)

IMPLICIT statement at (1) cannot follow *
(null):0: confused by earlier errors, bailing out

for the tests 1, 3-6, 8, 11, and 14;

Error: Unexpected IMPLICIT statement at (1)
(null):0: confused by earlier errors, bailing out

for the tests 2, 7, 10, 15, and 16;

Error: IMPLICIT statement is not allowed inside of BLOCK at (1)
(null):0: confused by earlier errors, bailing out

for the test 9; and

Error: Unexpected IMPLICIT statement in CONTAINS section at (1)
(null):0: confused by earlier errors, bailing out

for the tests 12 and 13.

Note that 

(null):0: confused by earlier errors, bailing out

is replaced with

f951: internal compiler error: Segmentation fault: 11
...

for 4.8 up to 5.3 (+ some non-deterministic errors: no ICE or

gfc_resolve_expr(): Bad expression type

with 4.8 and tests 5 and 11).

The end of the backtrace is the same for all the testsError: IMPLICIT statement
at (1) cannot follow data declaration statement at (2)
Process 91167 stopped
* thread #1: tid = 0x7407e3b, 0x7fff8d3c08d0
libsystem_platform.dylib`_platform_memmove$VARIANT$Nehalem + 112, queue =
'com.apple.main-thread', stop reason = EXC_BAD_ACCESS (code=1, address=0x34e9)
frame #0: 0x7fff8d3c08d0
libsystem_platform.dylib`_platform_memmove$VARIANT$Nehalem + 112
libsystem_platform.dylib`_platform_memmove$VARIANT$Nehalem:
->  0x7fff8d3c08d0 <+112>: movups (%rsi), %xmm0
0x7fff8d3c08d3 <+115>: addq   $0x10, %rdi
0x7fff8d3c08d7 <+119>: andq   $-0x10, %rdi
0x7fff8d3c08db <+123>: movq   %rdi, %rcx
(lldb) bt
* thread #1: tid = 0x7407e3b, 0x7fff8d3c08d0
libsystem_platform.dylib`_platform_memmove$VARIANT$Nehalem + 112, queue =
'com.apple.main-thread', stop reason = EXC_BAD_ACCESS (code=1, address=0x34e9)
  * frame #0: 0x7fff8d3c08d0
libsystem_platform.dylib`_platform_memmove$VARIANT$Nehalem + 112
frame #1: 0x000100033e78 f951`gfc_copy_expr(p=0x34e9) + 40
at expr.c:273
frame #2: 0x0001000c37b4 f951`gfc_new_charlen(ns=0x000143822a00,
old_cl=0x0001426068d0) + 100 at symbol.c:3633
frame #3: 0x0001000c3989
f951`gfc_set_default_type(sym=0x000142606c30, error_flag=0,
ns=) + 377 at symbol.c:268
frame #4: 0x000100090204
f951`gfc_match_varspec(primary=0x000142606d60, equiv_flag=,
sub_flag=, ppc_arg=) + 2276 at primary.c:2134
frame #5: 0x00010009050b
f951`::match_variable(result=0x7fff5fbfee50, equiv_flag=0,
host_flag=) + 395 at primary.c:3397
frame #6: 0x00010005f93c f951`gfc_match(target=" %v =") + 780 at
match.c:1033
frame #7: 0x000100061271 f951`gfc_match_assignment() + 49 at
match.c:1210
frame #8: 0x0001000806ca f951`(subr=,
old_locus=0x7fff5fbfeec0, simd_matched=,
str=)(match (*)(), locus *, bool *, const char *) + 10 at
parse.c:93
frame #9: 0x000100083a12 f951`(null)() + 162 at parse.c:351
frame #10: 0x000100085ad5 f951`::next_statement() + 389 at parse.c:1076
frame #11: 0x0001000876ba f951`::parse_spec(st=ST_IMPLICIT) + 4554 at
parse.c:3357
frame #12: 0x00010008ada7 f951`::parse_progunit(st=) + 39
at parse.c:5190
frame #13: 0x00010008c682 f951`gfc_parse_file() + 994 at parse.c:5699
frame #14: 0x0001000d29a9 f951`::gfc_be_parse_file() + 57 at
f95-lang.c:201
frame #15: 0x0001009a939c f951`::compile_file() + 60 at toplev.c:465
frame #16: 0x000100d996cf f951`toplev::main(int, char**) + 1154 at
toplev.c:1988
frame #17: 0x000100d9924d f951`toplev::main(this=,
argc=, argv=) + 733
frame #18: 0x000100d9b0a9 f951`main(argc=2, argv=0x7fff5fbff360) +
41 at main.c:39
frame #19: 0x7fff97c615ad libdyld.dylib`start + 1

[Bug tree-optimization/69989] [6 Regression] ICE on x86_64-linux-gnu at -O3 in both 32-bit and 64-bit modes (in verify_loop_structure, at cfgloop.c:1639)

[law at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69989

--- Comment #13 from Jeffrey A. Law  ---
Author: law
Date: Tue Mar  1 16:22:51 2016
New Revision: 233857

URL: https://gcc.gnu.org/viewcvs?rev=233857=gcc=rev
Log:
PR tree-optimization/69987
* gfortran.dg/pr69987.f90: New test.

PR tree-optimization/69989
* gcc.c-torture/compile/pr69989-2.c: New test.

Added:
trunk/gcc/testsuite/gcc.c-torture/compile/pr69989-2.c
trunk/gcc/testsuite/gfortran.dg/pr69987.f90
Modified:
trunk/gcc/testsuite/ChangeLog

[Bug target/67278] [4.9/5/6 Regression] ICE: verify_gimple failed on darwin 14.5 x86_64

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67278

Richard Biener  changed:

   What|Removed |Added

   Keywords||ice-checking
 Target||x86_64-*-*
 Status|NEW |ASSIGNED
  Component|middle-end  |target
   Assignee|unassigned at gcc dot gnu.org  |rguenth at gcc dot 
gnu.org

--- Comment #3 from Richard Biener  ---
Ok, looks like the ABI passes V1XF in 16bytes on the stack which means this is
a verifier issue (works "correctly" w/o checking).

On i?86 you'll get

t.c:1:1: error: vector size not an integral multiple of component size
 typedef long double a __attribute__((vector_size (16)));
 ^~~


Changing the testcase to

typedef long double a __attribute__((vector_size (32)));

a
sum (a first, a second)
{
return first + second;
}

and thus trying to create V2XF yields

t.c: In function ?sum?:
t.c:5:1: internal compiler error: in type_natural_mode, at
config/i386/i386.c:7890
 {
 ^
0x1211845 type_natural_mode
/space/rguenther/src/svn/trunk3/gcc/config/i386/i386.c:7890
0x1215c87 ix86_return_in_memory
/space/rguenther/src/svn/trunk3/gcc/config/i386/i386.c:9765
0xaadcc7 aggregate_value_p(tree_node const*, tree_node const*)
/space/rguenther/src/svn/trunk3/gcc/function.c:2081
0xab677c allocate_struct_function(tree_node*, bool)
/space/rguenther/src/svn/trunk3/gcc/function.c:4914
0x76cc78 store_parm_decls()

I'm going to fix the verifier and leave the above to target maintainers.
Looks like we have no way of rejecting component types by the backend here btw.

[Bug c/69798] ICE on invalid code on x86_64-linux-gnu in c_parser_braced_init, at c/c-parser.c:4338

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69798

--- Comment #5 from Marek Polacek  ---
No, that wouldn't allow e.g. _Cilk_spawn (*fn)();.

[Bug middle-end/69983] [6 Regression] FAIL: gcc.dg/graphite/scop-sor.c scan-tree-dump-times graphite "number of SCoPs: 1" 1

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69983

--- Comment #6 from Richard Biener  ---
Author: rguenth
Date: Tue Mar  1 15:58:25 2016
New Revision: 233856

URL: https://gcc.gnu.org/viewcvs?rev=233856=gcc=rev
Log:
2016-03-01  Richard Biener  

PR tree-optimization/69983
* tree-chrec.c (eq_evolutions_p): Handle conversions, compare
types and fall back to operand_equal_p.

Modified:
trunk/gcc/ChangeLog
trunk/gcc/tree-chrec.c

[Bug middle-end/69983] [6 Regression] FAIL: gcc.dg/graphite/scop-sor.c scan-tree-dump-times graphite "number of SCoPs: 1" 1

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69983

Richard Biener  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

--- Comment #7 from Richard Biener  ---
Fixed.

[Bug rtl-optimization/70030] [LRA]ICE when reload insn with output scratch operand

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70030

--- Comment #1 from Richard Biener  ---
Please attach the local change plus a testcase.

[Bug target/70021] [6 Regression] Test miscompiled with -O3 option for -march=core-avx2.

[ienkovich at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70021

--- Comment #5 from Ilya Enkovich  ---
Testing this fix:

diff --git a/gcc/tree-vect-patterns.c b/gcc/tree-vect-patterns.c
index 95ce38d..1812742 100644
--- a/gcc/tree-vect-patterns.c
+++ b/gcc/tree-vect-patterns.c
@@ -2084,6 +2084,10 @@ vect_recog_vector_vector_shift_pattern (vec
*stmts,
   if (dt != vect_internal_def)
 return NULL;

+  stmt_vec_info def_vinfo = vinfo_for_stmt (def_stmt);
+  if (STMT_VINFO_IN_PATTERN_P (def_vinfo))
+return NULL;
+
   *type_in = get_vectype_for_scalar_type (TREE_TYPE (oprnd0));
   *type_out = *type_in;
   if (*type_in == NULL_TREE)

[Bug libstdc++/67922] [DR 2550] std::unordered_map::clear should take time linear in the number of elements

[redi at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67922

Jonathan Wakely  changed:

   What|Removed |Added

 Status|SUSPENDED   |NEW

--- Comment #5 from Jonathan Wakely  ---
LWG agrees with the proposed resolution of 2550