https://gcc.gnu.org/bugzilla/show_bug.cgi?id=12345
--- Comment #10 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Martin Liska <mar...@gcc.gnu.org>: https://gcc.gnu.org/git/gitweb.cgi?p=gcc.git;h=a62236b9d579315a0482cdd6deb409f76381c233 commit r10-5848-ga62236b9d579315a0482cdd6deb409f76381c233 Author: Martin Liska <mli...@suse.cz> Date: Tue May 12 09:25:54 2020 +0200 Just test it. gcc/ChangeLog: 2020-05-12 Martin Liska <mli...@suse.cz> PR ipa/12345 * tree-vrp.c: Done. * tree.c: Done.