{"id":2232322,"url":"http://patchwork.ozlabs.org/api/1.1/patches/2232322/?format=json","web_url":"http://patchwork.ozlabs.org/project/gcc/patch/20260504111517.506A24BAE7C2@sourceware.org/","project":{"id":17,"url":"http://patchwork.ozlabs.org/api/1.1/projects/17/?format=json","name":"GNU Compiler Collection","link_name":"gcc","list_id":"gcc-patches.gcc.gnu.org","list_email":"gcc-patches@gcc.gnu.org","web_url":null,"scm_url":null,"webscm_url":null},"msgid":"<20260504111517.506A24BAE7C2@sourceware.org>","date":"2026-05-04T11:14:49","name":"middle-end/125156 - preserve edge flags in cleanup_control_expr_graph","commit_ref":null,"pull_url":null,"state":"new","archived":false,"hash":"f4aba5d56369988e5368c955600eb3589d89dd2c","submitter":{"id":4338,"url":"http://patchwork.ozlabs.org/api/1.1/people/4338/?format=json","name":"Richard Biener","email":"rguenther@suse.de"},"delegate":null,"mbox":"http://patchwork.ozlabs.org/project/gcc/patch/20260504111517.506A24BAE7C2@sourceware.org/mbox/","series":[{"id":502645,"url":"http://patchwork.ozlabs.org/api/1.1/series/502645/?format=json","web_url":"http://patchwork.ozlabs.org/project/gcc/list/?series=502645","date":"2026-05-04T11:14:49","name":"middle-end/125156 - preserve edge flags in cleanup_control_expr_graph","version":1,"mbox":"http://patchwork.ozlabs.org/series/502645/mbox/"}],"comments":"http://patchwork.ozlabs.org/api/patches/2232322/comments/","check":"pending","checks":"http://patchwork.ozlabs.org/api/patches/2232322/checks/","tags":{},"headers":{"Return-Path":"","X-Original-To":["incoming@patchwork.ozlabs.org","gcc-patches@gcc.gnu.org"],"Delivered-To":["patchwork-incoming@legolas.ozlabs.org","gcc-patches@gcc.gnu.org"],"Authentication-Results":["legolas.ozlabs.org;\n\tdkim=pass (1024-bit key;\n unprotected) header.d=suse.de header.i=@suse.de header.a=rsa-sha256\n header.s=susede2_rsa header.b=BkVZTuw6;\n\tdkim=pass header.d=suse.de header.i=@suse.de header.a=ed25519-sha256\n header.s=susede2_ed25519 header.b=Pgs2xMWO;\n\tdkim=pass (1024-bit key) header.d=suse.de header.i=@suse.de\n header.a=rsa-sha256 header.s=susede2_rsa header.b=BkVZTuw6;\n\tdkim=neutral header.d=suse.de header.i=@suse.de header.a=ed25519-sha256\n header.s=susede2_ed25519 header.b=Pgs2xMWO;\n\tdkim-atps=neutral","legolas.ozlabs.org;\n spf=pass (sender SPF authorized) smtp.mailfrom=gcc.gnu.org\n (client-ip=38.145.34.32; helo=vm01.sourceware.org;\n envelope-from=gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org;\n receiver=patchwork.ozlabs.org)","sourceware.org;\n\tdkim=pass (1024-bit key,\n unprotected) header.d=suse.de header.i=@suse.de header.a=rsa-sha256\n header.s=susede2_rsa header.b=BkVZTuw6;\n\tdkim=pass header.d=suse.de header.i=@suse.de header.a=ed25519-sha256\n header.s=susede2_ed25519 header.b=Pgs2xMWO;\n\tdkim=pass (1024-bit key) header.d=suse.de header.i=@suse.de\n header.a=rsa-sha256 header.s=susede2_rsa header.b=BkVZTuw6;\n\tdkim=neutral header.d=suse.de header.i=@suse.de header.a=ed25519-sha256\n header.s=susede2_ed25519 header.b=Pgs2xMWO","sourceware.org;\n dmarc=pass (p=none dis=none) header.from=suse.de","sourceware.org; spf=pass smtp.mailfrom=suse.de","server2.sourceware.org;\n arc=none smtp.remote-ip=2a07:de40:b251:101:10:150:64:2","smtp-out2.suse.de;\n\tnone"],"Received":["from vm01.sourceware.org (vm01.sourceware.org [38.145.34.32])\n\t(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)\n\t key-exchange x25519 server-signature ECDSA (secp384r1) server-digest SHA384)\n\t(No client certificate requested)\n\tby legolas.ozlabs.org (Postfix) with ESMTPS id 4g8Jw83mbNz1yJV\n\tfor ; Mon, 04 May 2026 21:15:19 +1000 (AEST)","from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id 506A24BAE7C2\n\tfor ; Mon, 4 May 2026 11:15:17 +0000 (GMT)","from smtp-out2.suse.de (smtp-out2.suse.de\n [IPv6:2a07:de40:b251:101:10:150:64:2])\n by sourceware.org (Postfix) with ESMTPS id 133554B9DB4F\n for ; Mon, 4 May 2026 11:14:51 +0000 (GMT)","from murzim.nue2.suse.org (unknown [10.168.4.243])\n (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)\n key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest\n SHA256)\n (No client certificate requested)\n by smtp-out2.suse.de (Postfix) with ESMTPS id 8FEAC5BD16\n for ; Mon, 4 May 2026 11:14:49 +0000 (UTC)"],"DKIM-Filter":["OpenDKIM Filter v2.11.0 sourceware.org 506A24BAE7C2","OpenDKIM Filter v2.11.0 sourceware.org 133554B9DB4F"],"DMARC-Filter":"OpenDMARC Filter v1.4.2 sourceware.org 133554B9DB4F","ARC-Filter":"OpenARC Filter v1.0.0 sourceware.org 133554B9DB4F","ARC-Seal":"i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1777893291; cv=none;\n b=Gfm3GZIHABO/eyAFgpCnOjrixEUsB0SEZ7FlZPcjMvK4B9FvTIBrqofTov4bHOTIAvS3FIEwWGMIcW8/teN/VE5IpvvIUcSGFxZEXbF7GNsXE1jaIPcTcRhdKr7hX34pa5l/Z3+XMOeXQ0w0UgRRozV2mzakuBRURyhByVN01ts=","ARC-Message-Signature":"i=1; a=rsa-sha256; d=sourceware.org; s=key;\n t=1777893291; c=relaxed/simple;\n bh=vnTgXczWWa4HtHcxu3tOHa92naBBSgT4hO9cVDzch0c=;\n h=DKIM-Signature:DKIM-Signature:DKIM-Signature:DKIM-Signature:Date:\n From:To:Subject:MIME-Version;\n b=SQsPvjsVy+JMxFDYeoc/r08efkjH1d1ws9zy9aJPO2zW4g0pVaXV14DBchi4lGkpIeVVKlPxY4sLXXjS8W+Nxxhb1gcInd+Wgajq46jx+YYhGZTKMSi+MwGKsQ30SDhiCfRI5Dp6jUrTbG4Iwur6ppPhOddNchWZ9WYlvmkuAH8=","ARC-Authentication-Results":"i=1; server2.sourceware.org","DKIM-Signature":["v=1; a=rsa-sha256; c=relaxed/relaxed; d=suse.de;\n s=susede2_rsa;\n t=1777893289;\n h=from:from:reply-to:date:date:to:to:cc:mime-version:mime-version:\n content-type:content-type; bh=QQFVoI5FTS4Qt7YdSUEzJuqp1OELM/SWvEE+5eDfhBQ=;\n b=BkVZTuw6NFuVvrJ7L2dE4Rhzg6pjKgjXjSCZg1Op92ndiNYpWa+XLjkpP1jbQeRMtDUQWd\n lHCH8oprUs5OmG/u910TmjSV2vosUtFh7RqVJQCS8RR4zRV8ExncKJQnkqbjckukzf57L4\n 7Jl+nTuNs9APS2I/SpAf+8jdKdYNwws=","v=1; a=ed25519-sha256; c=relaxed/relaxed; d=suse.de;\n s=susede2_ed25519; t=1777893289;\n h=from:from:reply-to:date:date:to:to:cc:mime-version:mime-version:\n content-type:content-type; bh=QQFVoI5FTS4Qt7YdSUEzJuqp1OELM/SWvEE+5eDfhBQ=;\n b=Pgs2xMWOHgrzEbHbgEoHR3cU/fUysRmQAne9bGZrYNcXuJUSM73ESrJ7AE/qFHXUeEUoXa\n u74s1X13j7qMiiBw==","v=1; a=rsa-sha256; c=relaxed/relaxed; d=suse.de;\n s=susede2_rsa;\n t=1777893289;\n h=from:from:reply-to:date:date:to:to:cc:mime-version:mime-version:\n content-type:content-type; bh=QQFVoI5FTS4Qt7YdSUEzJuqp1OELM/SWvEE+5eDfhBQ=;\n b=BkVZTuw6NFuVvrJ7L2dE4Rhzg6pjKgjXjSCZg1Op92ndiNYpWa+XLjkpP1jbQeRMtDUQWd\n lHCH8oprUs5OmG/u910TmjSV2vosUtFh7RqVJQCS8RR4zRV8ExncKJQnkqbjckukzf57L4\n 7Jl+nTuNs9APS2I/SpAf+8jdKdYNwws=","v=1; a=ed25519-sha256; c=relaxed/relaxed; d=suse.de;\n s=susede2_ed25519; t=1777893289;\n h=from:from:reply-to:date:date:to:to:cc:mime-version:mime-version:\n content-type:content-type; bh=QQFVoI5FTS4Qt7YdSUEzJuqp1OELM/SWvEE+5eDfhBQ=;\n b=Pgs2xMWOHgrzEbHbgEoHR3cU/fUysRmQAne9bGZrYNcXuJUSM73ESrJ7AE/qFHXUeEUoXa\n u74s1X13j7qMiiBw=="],"Date":"Mon, 4 May 2026 13:14:49 +0200 (CEST)","From":"Richard Biener ","To":"gcc-patches@gcc.gnu.org","Subject":"[PATCH] middle-end/125156 - preserve edge flags in\n cleanup_control_expr_graph","MIME-Version":"1.0","Content-Type":"text/plain; charset=US-ASCII","X-Spamd-Result":"default: False [-1.80 / 50.00]; BAYES_HAM(-3.00)[99.99%];\n MISSING_MID(2.50)[]; NEURAL_HAM_LONG(-1.00)[-0.998];\n NEURAL_HAM_SHORT(-0.20)[-1.000]; MIME_GOOD(-0.10)[text/plain];\n RCPT_COUNT_ONE(0.00)[1]; FROM_HAS_DN(0.00)[];\n MIME_TRACE(0.00)[0:+]; MISSING_XM_UA(0.00)[]; ARC_NA(0.00)[];\n RCVD_COUNT_ZERO(0.00)[0];\n DKIM_SIGNED(0.00)[suse.de:s=susede2_rsa,suse.de:s=susede2_ed25519];\n FROM_EQ_ENVFROM(0.00)[]; FUZZY_RATELIMITED(0.00)[rspamd.com];\n TO_DN_NONE(0.00)[]; TO_MATCH_ENVRCPT_ALL(0.00)[];\n DBL_BLOCKED_OPENRESOLVER(0.00)[tree-cfgcleanup.cc:url,\n murzim.nue2.suse.org:helo]","X-BeenThere":"gcc-patches@gcc.gnu.org","X-Mailman-Version":"2.1.30","Precedence":"list","List-Id":"Gcc-patches mailing list ","List-Unsubscribe":",\n ","List-Archive":"","List-Post":"","List-Help":"","List-Subscribe":",\n ","Errors-To":"gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org","Message-Id":"<20260504111517.506A24BAE7C2@sourceware.org>"},"content":"cleanup_control_expr_graph when setting EDGE_FALLTHRU cleared all\nexisting edge flags such as EDGE_IRREDUCIBLE_LOOP rather than\njust the no longer relevant EDGE_TRUE_VALUE and EDGE_FALSE_VALUE flags.\n\nBootstrapped and tested on x86_64-unknown-linux-gnu, pushed to trunk.\n\nRichard.\n\n\tPR middle-end/125156\n\t* tree-cfgcleanup.cc (cleanup_control_expr_graph): Clear\n\tEDGE_TRUE_VALUE and EDGE_FALSE_VALUE edge flags only.\n\n\t* gcc.dg/torture/pr125156.c: New testcase.\n---\n gcc/testsuite/gcc.dg/torture/pr125156.c | 26 +++++++++++++++++++++++++\n gcc/tree-cfgcleanup.cc | 3 ++-\n 2 files changed, 28 insertions(+), 1 deletion(-)\n create mode 100644 gcc/testsuite/gcc.dg/torture/pr125156.c","diff":"diff --git a/gcc/testsuite/gcc.dg/torture/pr125156.c b/gcc/testsuite/gcc.dg/torture/pr125156.c\nnew file mode 100644\nindex 00000000000..bb232b1a436\n--- /dev/null\n+++ b/gcc/testsuite/gcc.dg/torture/pr125156.c\n@@ -0,0 +1,26 @@\n+/* { dg-do compile } */\n+\n+#include \n+\n+int64_t g1, g8;\n+\n+void g14()\n+{\n+ int16_t v5;\n+ goto lbl_cont30;\n+lbl_bf2:\n+ g8 = 0;\n+lbl_b5:\n+ g1 = g1 - 8366249724514421075;\n+ switch (v5)\n+case 5:\n+case 2:\n+ goto lbl_b5;\n+ goto lbl_bf2;\n+lbl_cont30:\n+ switch (v5)\n+ {\n+ case 0: goto lbl_bf2;\n+ case 5: goto lbl_b5;\n+ }\n+}\ndiff --git a/gcc/tree-cfgcleanup.cc b/gcc/tree-cfgcleanup.cc\nindex 234b45a219f..85b9a3cedaa 100644\n--- a/gcc/tree-cfgcleanup.cc\n+++ b/gcc/tree-cfgcleanup.cc\n@@ -240,7 +240,8 @@ cleanup_control_expr_graph (basic_block bb, gimple_stmt_iterator gsi)\n \n bitmap_set_bit (cfgcleanup_altered_bbs, bb->index);\n gsi_remove (&gsi, true);\n- taken_edge->flags = EDGE_FALLTHRU;\n+ taken_edge->flags &= ~(EDGE_TRUE_VALUE|EDGE_FALSE_VALUE);\n+ taken_edge->flags |= EDGE_FALLTHRU;\n \n return retval;\n }\n","prefixes":[]}