Patch Detail
get:
Show a patch.
patch:
Update a patch.
put:
Update a patch.
GET /api/patches/2194857/?format=api
{ "id": 2194857, "url": "http://patchwork.ozlabs.org/api/patches/2194857/?format=api", "web_url": "http://patchwork.ozlabs.org/project/gcc/patch/20260210041928.541457-1-dmalcolm@redhat.com/", "project": { "id": 17, "url": "http://patchwork.ozlabs.org/api/projects/17/?format=api", "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, "list_archive_url": "", "list_archive_url_format": "", "commit_url_format": "" }, "msgid": "<20260210041928.541457-1-dmalcolm@redhat.com>", "list_archive_url": null, "date": "2026-02-10T04:19:28", "name": "[pushed:,r16-7428] analyzer: fix assertion failure in bounded_ranges::cmp [PR113496]", "commit_ref": null, "pull_url": null, "state": "new", "archived": false, "hash": "7bc00e79823fa0829222f5345a78deea8be6fd84", "submitter": { "id": 24465, "url": "http://patchwork.ozlabs.org/api/people/24465/?format=api", "name": "David Malcolm", "email": "dmalcolm@redhat.com" }, "delegate": null, "mbox": "http://patchwork.ozlabs.org/project/gcc/patch/20260210041928.541457-1-dmalcolm@redhat.com/mbox/", "series": [ { "id": 491598, "url": "http://patchwork.ozlabs.org/api/series/491598/?format=api", "web_url": "http://patchwork.ozlabs.org/project/gcc/list/?series=491598", "date": "2026-02-10T04:19:28", "name": "[pushed:,r16-7428] analyzer: fix assertion failure in bounded_ranges::cmp [PR113496]", "version": 1, "mbox": "http://patchwork.ozlabs.org/series/491598/mbox/" } ], "comments": "http://patchwork.ozlabs.org/api/patches/2194857/comments/", "check": "pending", "checks": "http://patchwork.ozlabs.org/api/patches/2194857/checks/", "tags": {}, "related": [], "headers": { "Return-Path": "<gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org>", "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=redhat.com header.i=@redhat.com header.a=rsa-sha256\n header.s=mimecast20190719 header.b=PLsTB7Q1;\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=redhat.com header.i=@redhat.com header.a=rsa-sha256\n header.s=mimecast20190719 header.b=PLsTB7Q1", "sourceware.org; dmarc=pass (p=quarantine dis=none)\n header.from=redhat.com", "sourceware.org; spf=pass smtp.mailfrom=redhat.com", "server2.sourceware.org;\n arc=none smtp.remote-ip=170.10.129.124" ], "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 4f97dK4369z1xtr\n\tfor <incoming@patchwork.ozlabs.org>; Tue, 10 Feb 2026 15:20:04 +1100 (AEDT)", "from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id A2B9C4B920D4\n\tfor <incoming@patchwork.ozlabs.org>; Tue, 10 Feb 2026 04:20:01 +0000 (GMT)", "from us-smtp-delivery-124.mimecast.com\n (us-smtp-delivery-124.mimecast.com [170.10.129.124])\n by sourceware.org (Postfix) with ESMTP id 0AD7C4BB5902\n for <gcc-patches@gcc.gnu.org>; Tue, 10 Feb 2026 04:19:34 +0000 (GMT)", "from mx-prod-mc-05.mail-002.prod.us-west-2.aws.redhat.com\n (ec2-54-186-198-63.us-west-2.compute.amazonaws.com [54.186.198.63]) by\n relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3,\n cipher=TLS_AES_256_GCM_SHA384) id us-mta-447-MtvISxLdOQanBoFR93vnfQ-1; Mon,\n 09 Feb 2026 23:19:32 -0500", "from mx-prod-int-06.mail-002.prod.us-west-2.aws.redhat.com\n (mx-prod-int-06.mail-002.prod.us-west-2.aws.redhat.com [10.30.177.93])\n (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)\n key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest\n SHA256)\n (No client certificate requested)\n by mx-prod-mc-05.mail-002.prod.us-west-2.aws.redhat.com (Postfix) with ESMTPS\n id 6FD751956088\n for <gcc-patches@gcc.gnu.org>; Tue, 10 Feb 2026 04:19:31 +0000 (UTC)", "from t14s.localdomain.com (unknown [10.22.80.18])\n by mx-prod-int-06.mail-002.prod.us-west-2.aws.redhat.com (Postfix) with ESMTP\n id B15B118003F6; Tue, 10 Feb 2026 04:19:30 +0000 (UTC)" ], "DKIM-Filter": [ "OpenDKIM Filter v2.11.0 sourceware.org A2B9C4B920D4", "OpenDKIM Filter v2.11.0 sourceware.org 0AD7C4BB5902" ], "DMARC-Filter": "OpenDMARC Filter v1.4.2 sourceware.org 0AD7C4BB5902", "ARC-Filter": "OpenARC Filter v1.0.0 sourceware.org 0AD7C4BB5902", "ARC-Seal": "i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1770697174; cv=none;\n b=Dn4/1a8qEnHJH6ZhHNwolLU6wvjF+lhwP3BkPoVqh8IQzQarrcmxJaNO64z54+q7zCaSosf0apwX9dCFBwBPXfeOMsgmHgVcD/n9850DB+IPNlQsbPrLX6QBzkIAPOhQd4tkdFH6b/Mjo11CJxmb9P8kiTXN4UdnzItU/d7CjPA=", "ARC-Message-Signature": "i=1; a=rsa-sha256; d=sourceware.org; s=key;\n t=1770697174; c=relaxed/simple;\n bh=QnBMOwuYNZrt8vqrMET42R+nz2+p1eZcIPYy90oIKNs=;\n h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version;\n b=Eo6/aKZ3Y2V+mgl9fhsSFcbwaIaTh52MDIm2kuCAyPQtnYh8OMngN+3qD8eEpSRuPmFVBbRkihnhsNOJ6Byf5JJuyTePE7VQsBRJO7NsBdbm1KBd4oqj/1fcwju5S7yt0RbE1ozPjPv3lc4knsFhjgJGGubUTD1HppMX2aLZfHI=", "ARC-Authentication-Results": "i=1; server2.sourceware.org", "DKIM-Signature": "v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com;\n s=mimecast20190719; t=1770697173;\n h=from:from:reply-to:subject:subject:date:date:message-id:message-id:\n to:to:cc:cc:mime-version:mime-version:content-type:content-type:\n content-transfer-encoding:content-transfer-encoding;\n bh=Z+PV/TanaRwYvLAkMIPZ1Xj4Qlo9DbFUmU0w9QOhmVY=;\n b=PLsTB7Q17xJWxI32ri2Qg3iTRxk9DG+JIksNlQbzOYACuY6S0N53CrOP6pHRH4H8bWmSBm\n QHKfYdNPV891rcrnAJBqZu3+a0vUKRLPtr5nxIwcdJjv4VHMUEDtFFjJz2FXVvp46u8R3h\n hYY94lVyBj1hysnUAfsqQJzLL1vI1jM=", "X-MC-Unique": "MtvISxLdOQanBoFR93vnfQ-1", "X-Mimecast-MFC-AGG-ID": "MtvISxLdOQanBoFR93vnfQ_1770697171", "From": "David Malcolm <dmalcolm@redhat.com>", "To": "gcc-patches@gcc.gnu.org", "Cc": "David Malcolm <dmalcolm@redhat.com>", "Subject": "[pushed: r16-7428] analyzer: fix assertion failure in\n bounded_ranges::cmp [PR113496]", "Date": "Mon, 9 Feb 2026 23:19:28 -0500", "Message-ID": "<20260210041928.541457-1-dmalcolm@redhat.com>", "MIME-Version": "1.0", "X-Scanned-By": "MIMEDefang 3.4.1 on 10.30.177.93", "X-Mimecast-Spam-Score": "0", "X-Mimecast-MFC-PROC-ID": "2VfisUYy6zyuZyjyzMVjahmCRbargQVHj9gvcu_EjUI_1770697171", "X-Mimecast-Originator": "redhat.com", "Content-Transfer-Encoding": "8bit", "content-type": "text/plain; charset=\"US-ASCII\"; x-default=true", "X-BeenThere": "gcc-patches@gcc.gnu.org", "X-Mailman-Version": "2.1.30", "Precedence": "list", "List-Id": "Gcc-patches mailing list <gcc-patches.gcc.gnu.org>", "List-Unsubscribe": "<https://gcc.gnu.org/mailman/options/gcc-patches>,\n <mailto:gcc-patches-request@gcc.gnu.org?subject=unsubscribe>", "List-Archive": "<https://gcc.gnu.org/pipermail/gcc-patches/>", "List-Post": "<mailto:gcc-patches@gcc.gnu.org>", "List-Help": "<mailto:gcc-patches-request@gcc.gnu.org?subject=help>", "List-Subscribe": "<https://gcc.gnu.org/mailman/listinfo/gcc-patches>,\n <mailto:gcc-patches-request@gcc.gnu.org?subject=subscribe>", "Errors-To": "gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org" }, "content": "Successfully bootstrapped & regrtested on x86_64-pc-linux-gnu.\nPushed to trunk as r16-7428-gc4c747adc8959d.\n\ngcc/analyzer/ChangeLog:\n\tPR analyzer/113496\n\t* constraint-manager.cc (cmp_types): New.\n\t(bounded_range::cmp): Compare the types of the constants, as well\n\tas their values.\n\ngcc/testsuite/ChangeLog:\n\tPR analyzer/113496\n\t* gcc.dg/analyzer/ice-pr113496.c: New test.\n\nSigned-off-by: David Malcolm <dmalcolm@redhat.com>\n---\n gcc/analyzer/constraint-manager.cc | 21 +++++++++++++++++---\n gcc/testsuite/gcc.dg/analyzer/ice-pr113496.c | 21 ++++++++++++++++++++\n 2 files changed, 39 insertions(+), 3 deletions(-)\n create mode 100644 gcc/testsuite/gcc.dg/analyzer/ice-pr113496.c", "diff": "diff --git a/gcc/analyzer/constraint-manager.cc b/gcc/analyzer/constraint-manager.cc\nindex 738ac28003f21..22b8d402df01f 100644\n--- a/gcc/analyzer/constraint-manager.cc\n+++ b/gcc/analyzer/constraint-manager.cc\n@@ -512,13 +512,28 @@ bounded_range::operator== (const bounded_range &other) const\n \t && tree_int_cst_equal (m_upper, other.m_upper));\n }\n \n+static int\n+cmp_types (const_tree type1, const_tree type2)\n+{\n+ int t1 = TYPE_UID (type1);\n+ int t2 = TYPE_UID (type2);\n+ return t1 - t2;\n+}\n+\n int\n bounded_range::cmp (const bounded_range &br1, const bounded_range &br2)\n {\n- if (int cmp_lower = tree_int_cst_compare (br1.m_lower,\n-\t\t\t\t\t br2.m_lower))\n+ if (int cmp_lower = tree_int_cst_compare (br1.m_lower, br2.m_lower))\n return cmp_lower;\n- return tree_int_cst_compare (br1.m_upper, br2.m_upper);\n+ if (int cmp_upper = tree_int_cst_compare (br1.m_upper, br2.m_upper))\n+ return cmp_upper;\n+ if (int cmp_lower_type = cmp_types (TREE_TYPE (br1.m_lower),\n+\t\t\t\t TREE_TYPE (br2.m_lower)))\n+ return cmp_lower_type;\n+ if (int cmp_upper_type = cmp_types (TREE_TYPE (br1.m_upper),\n+\t\t\t\t TREE_TYPE (br2.m_upper)))\n+ return cmp_upper_type;\n+ return 0;\n }\n \n /* struct bounded_ranges. */\ndiff --git a/gcc/testsuite/gcc.dg/analyzer/ice-pr113496.c b/gcc/testsuite/gcc.dg/analyzer/ice-pr113496.c\nnew file mode 100644\nindex 0000000000000..147228bf0c727\n--- /dev/null\n+++ b/gcc/testsuite/gcc.dg/analyzer/ice-pr113496.c\n@@ -0,0 +1,21 @@\n+/* { dg-additional-options \"-fdump-analyzer\" } */\n+\n+enum { PIPE_SWIZZLE_X, PIPE_SWIZZLE_Z, PIPE_SWIZZLE_W };\n+enum { UTIL_FORMAT_COLORSPACE_YUV, UTIL_FORMAT_COLORSPACE_ZS } colorspace;\n+int util_format_colormask_descutil_format_colormask_colormask,\n+ util_format_get_component_bits_component,\n+ util_format_get_component_bits_desc_0_3_0;\n+void util_format_colormask_descutil_format_colormask() {\n+ switch (colorspace) {\n+ case UTIL_FORMAT_COLORSPACE_YUV:\n+ util_format_colormask_descutil_format_colormask_colormask = 0;\n+ for (;;)\n+ case UTIL_FORMAT_COLORSPACE_ZS:; /* { dg-warning \"infinite loop\" } */\n+ }\n+}\n+unsigned util_format_get_component_bits() {\n+ switch (util_format_get_component_bits_component)\n+ case PIPE_SWIZZLE_X:\n+ case PIPE_SWIZZLE_W:\n+ return util_format_get_component_bits_desc_0_3_0;\n+}\n", "prefixes": [ "pushed:", "r16-7428" ] }