https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118069
Patrick Palka changed:
What|Removed |Added
Status|NEW |ASSIGNED
CC|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118069
--- Comment #4 from Richard Biener ---
I wonder if we ever get into tree sharing here and thus prove things multiple
times (and a 'visited'/'proofed' hash-set would help). Maybe caching proofs
in general might pay off (if we do lots of those).
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118069
Marek Polacek changed:
What|Removed |Added
CC||mpolacek at gcc dot gnu.org
--- Comment
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118069
Andrew Pinski changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last reconfirmed|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118069
--- Comment #2 from Andrew Pinski ---
Created attachment 59881
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=59881&action=edit
Preprocessed source from the trunk
