https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116588
--- Comment #8 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Jakub Jelinek <ja...@gcc.gnu.org>: https://gcc.gnu.org/g:765875e2c18b8f4c346b754a19e287efaec531a5 commit r15-3542-g765875e2c18b8f4c346b754a19e287efaec531a5 Author: Jakub Jelinek <ja...@redhat.com> Date: Mon Sep 9 09:37:26 2024 +0200 testsuite: Fix up pr116588.c test [PR116588] The test as committed without the tree-vrp.cc change only FAILs with FAIL: gcc.dg/pr116588.c scan-tree-dump-not vrp2 "0 != 0" The DEBUG code in there was just to make it easier to debug, but doesn't actually fail when the test is miscompiled. We don't need such debugging code in simple tests like that, but it is useful if they abort when miscompiled. With this patch without the tree-vrp.cc change I see FAIL: gcc.dg/pr116588.c execution test FAIL: gcc.dg/pr116588.c scan-tree-dump-not vrp2 "0 != 0" and with it it passes. 2024-09-09 Jakub Jelinek <ja...@redhat.com> PR tree-optimization/116588 * gcc.dg/pr116588.c: Remove -DDEBUG from dg-options. (main): Remove debugging code and simplify.