https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118069
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- 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).
