[Bug lto/78129] -Werror=suggest-final-types leads to -ENOSPC.

[rguenth at gcc dot gnu.org]

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

Richard Biener  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
  Known to work||6.2.1
 Resolution|--- |FIXED

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

[Bug lto/78129] -Werror=suggest-final-types leads to -ENOSPC.

[rguenth at gcc dot gnu.org]

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

--- Comment #6 from Richard Biener  ---
Author: rguenth
Date: Wed Nov  2 12:47:10 2016
New Revision: 241788

URL: https://gcc.gnu.org/viewcvs?rev=241788=gcc=rev
Log:
2016-11-02  Richard Biener  

Backport from mainline
2016-11-02  Richard Biener  

PR tree-optimization/78047
* tree-ssa-structalias.c (push_fields_onto_fieldstack): Initialize
fake field at offset zero conservatively regarding to
may_have_pointers.

2016-10-31  Richard Biener  

PR lto/78129
* lto.c (do_whole_program_analysis): Bail out after errors
from WPA analysis.

2016-10-07  Richard Biener  

PR tree-optimization/77879
* tree-ssa-structalias.c (handle_const_call): Properly handle
NRV return slots.
(handle_pure_call): Likewise.

2016-10-06  Richard Biener  

PR tree-optimization/77839
* tree-ssa-sccvn.c (set_ssa_val_to): Forbid value -> constant value
lattice transition.

* gcc.dg/torture/pr77839.c: New testcase.

2016-09-27  Richard Biener  

PR tree-optimization/77745
* tree-ssa-pre.c (eliminate_dom_walker::before_dom_children):
When removing redundant stores make sure to check compatibility
of the TBAA state for downstream accesses.
* tree-ssa-sccvn.c (visit_reference_op_store): Likewise for when
value-numbering virtual operands for store matches.

* g++.dg/torture/pr77745.C: New testcase.

2016-09-21  Richard Biener  

PR tree-optimization/77648
* tree-ssa-structalias.c (process_constraint): Handle all DEREF
with complex RHS.
(make_transitive_closure_constraints): Adjust comment.
(make_any_offset_constraints): New function.
(handle_rhs_call): Make sure to first expand a pointer to all
subfields before transitively closing it.
(handle_const_call): Likewise.  Properly expand returned
pointers as well.
(handle_pure_call): Likewise.

* gcc.dg/torture/pr77648-1.c: New testcase.
* gcc.dg/torture/pr77648-2.c: Likewise.

Added:
branches/gcc-6-branch/gcc/testsuite/g++.dg/torture/pr77745.C
branches/gcc-6-branch/gcc/testsuite/gcc.dg/torture/pr77648-1.c
branches/gcc-6-branch/gcc/testsuite/gcc.dg/torture/pr77648-2.c
branches/gcc-6-branch/gcc/testsuite/gcc.dg/torture/pr77839.c
Modified:
branches/gcc-6-branch/gcc/ChangeLog
branches/gcc-6-branch/gcc/lto/ChangeLog
branches/gcc-6-branch/gcc/lto/lto.c
branches/gcc-6-branch/gcc/testsuite/ChangeLog
branches/gcc-6-branch/gcc/tree-ssa-pre.c
branches/gcc-6-branch/gcc/tree-ssa-sccvn.c
branches/gcc-6-branch/gcc/tree-ssa-structalias.c

[Bug lto/78129] -Werror=suggest-final-types leads to -ENOSPC.

[rguenth at gcc dot gnu.org]

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

--- Comment #5 from Richard Biener  ---
Author: rguenth
Date: Mon Oct 31 12:52:23 2016
New Revision: 241698

URL: https://gcc.gnu.org/viewcvs?rev=241698=gcc=rev
Log:
2016-10-31  Richard Biener  

PR lto/78129
* lto.c (do_whole_program_analysis): Bail out after errors
from WPA analysis.

Modified:
trunk/gcc/lto/ChangeLog
trunk/gcc/lto/lto.c

[Bug lto/78129] -Werror=suggest-final-types leads to -ENOSPC.

[rguenth at gcc dot gnu.org]

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

--- Comment #4 from Richard Biener  ---
The attached would be still needed in case the ltrans writing is terminated
by, say, ctrl-c (but then there's a race because WPA doesn't write the ltrans
output list before finishing writing all ltrans objects).

[Bug lto/78129] -Werror=suggest-final-types leads to -ENOSPC.

[rguenth at gcc dot gnu.org]

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

--- Comment #3 from Richard Biener  ---
Ah - I think a simpler pass would be

diff --git a/gcc/lto/lto.c b/gcc/lto/lto.c
index 7256ff9..c1567ca 100644
--- a/gcc/lto/lto.c
+++ b/gcc/lto/lto.c
@@ -3092,6 +3092,10 @@ do_whole_program_analysis (void)

   execute_ipa_pass_list (g->get_passes ()->all_regular_ipa_passes);

+  /* When WPA analysis raises errors, do not bother to output anything.  */
+  if (seen_error ())
+return;
+
   if (symtab->dump_file)
 {
   fprintf (symtab->dump_file, "Optimized ");

[Bug lto/78129] -Werror=suggest-final-types leads to -ENOSPC.

[rguenth at gcc dot gnu.org]

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

--- Comment #2 from Richard Biener  ---
Created attachment 39930
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=39930=edit
patch

Does the attached fix it?  (I lack a testcase to easily reproduce a failing WPA
stage after it has written some ltrans file)

OTOH I wonder where we emit errors during lto_wpa_write_files ...

[Bug lto/78129] -Werror=suggest-final-types leads to -ENOSPC.

[rguenth at gcc dot gnu.org]

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

Richard Biener  changed:

   What|Removed |Added

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

[Bug lto/78129] -Werror=suggest-final-types leads to -ENOSPC.

[rguenth at gcc dot gnu.org]

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

Richard Biener  changed:

   What|Removed |Added

   Keywords||lto
 Status|UNCONFIRMED |NEW
   Last reconfirmed||2016-10-27
 CC||hubicka at gcc dot gnu.org,
   ||rguenth at gcc dot gnu.org
 Ever confirmed|0   |1

--- Comment #1 from Richard Biener  ---
Confirmed.  WPA stage doesn't clean up properly after errors.