Patch Detail
get:
Show a patch.
patch:
Update a patch.
put:
Update a patch.
GET /api/1.1/patches/2223602/?format=api
{ "id": 2223602, "url": "http://patchwork.ozlabs.org/api/1.1/patches/2223602/?format=api", "web_url": "http://patchwork.ozlabs.org/project/gcc/patch/20260415173648.456911-1-gaiusmod2@gmail.com/", "project": { "id": 17, "url": "http://patchwork.ozlabs.org/api/1.1/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 }, "msgid": "<20260415173648.456911-1-gaiusmod2@gmail.com>", "date": "2026-04-15T17:36:47", "name": "[pushed] PR modula2/124081 Bugfix ICE in expand_expr_real_2 with a record", "commit_ref": null, "pull_url": null, "state": "new", "archived": false, "hash": "24250d8e31f073aa34ea564af7c172e05614d055", "submitter": { "id": 80961, "url": "http://patchwork.ozlabs.org/api/1.1/people/80961/?format=api", "name": "Gaius Mulley", "email": "gaiusmod2@gmail.com" }, "delegate": null, "mbox": "http://patchwork.ozlabs.org/project/gcc/patch/20260415173648.456911-1-gaiusmod2@gmail.com/mbox/", "series": [ { "id": 500020, "url": "http://patchwork.ozlabs.org/api/1.1/series/500020/?format=api", "web_url": "http://patchwork.ozlabs.org/project/gcc/list/?series=500020", "date": "2026-04-15T17:36:47", "name": "[pushed] PR modula2/124081 Bugfix ICE in expand_expr_real_2 with a record", "version": 1, "mbox": "http://patchwork.ozlabs.org/series/500020/mbox/" } ], "comments": "http://patchwork.ozlabs.org/api/patches/2223602/comments/", "check": "pending", "checks": "http://patchwork.ozlabs.org/api/patches/2223602/checks/", "tags": {}, "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 (2048-bit key;\n unprotected) header.d=gmail.com header.i=@gmail.com header.a=rsa-sha256\n header.s=20251104 header.b=YH2NCqch;\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 (2048-bit key,\n unprotected) header.d=gmail.com header.i=@gmail.com header.a=rsa-sha256\n header.s=20251104 header.b=YH2NCqch", "sourceware.org;\n dmarc=pass (p=none dis=none) header.from=gmail.com", "sourceware.org; spf=pass smtp.mailfrom=gmail.com", "server2.sourceware.org;\n arc=none smtp.remote-ip=209.85.128.54" ], "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 4fwpHv0tvcz1yHc\n\tfor <incoming@patchwork.ozlabs.org>; Thu, 16 Apr 2026 03:37:31 +1000 (AEST)", "from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id 408F24BA2E0E\n\tfor <incoming@patchwork.ozlabs.org>; Wed, 15 Apr 2026 17:37:29 +0000 (GMT)", "from mail-wm1-f54.google.com (mail-wm1-f54.google.com\n [209.85.128.54])\n by sourceware.org (Postfix) with ESMTPS id 939564BA2E0A\n for <gcc-patches@gcc.gnu.org>; Wed, 15 Apr 2026 17:37:00 +0000 (GMT)", "by mail-wm1-f54.google.com with SMTP id\n 5b1f17b1804b1-48374014a77so94439605e9.3\n for <gcc-patches@gcc.gnu.org>; Wed, 15 Apr 2026 10:37:00 -0700 (PDT)", "from gawain ([82.153.81.102]) by smtp.gmail.com with ESMTPSA id\n ffacd0b85a97d-43ead3553d7sm6615987f8f.9.2026.04.15.10.36.58\n (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);\n Wed, 15 Apr 2026 10:36:58 -0700 (PDT)", "from gaius by gawain with local (Exim 4.98.2)\n (envelope-from <gaius@gawain>) id 1wD4Ab-00000001url-3fxJ;\n Wed, 15 Apr 2026 18:36:57 +0100" ], "DKIM-Filter": [ "OpenDKIM Filter v2.11.0 sourceware.org 408F24BA2E0E", "OpenDKIM Filter v2.11.0 sourceware.org 939564BA2E0A" ], "DMARC-Filter": "OpenDMARC Filter v1.4.2 sourceware.org 939564BA2E0A", "ARC-Filter": "OpenARC Filter v1.0.0 sourceware.org 939564BA2E0A", "ARC-Seal": "i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1776274620; cv=none;\n b=qqhWatnPtuLpkC5aK7iJ49bETvQMIVIPsa9Kgcw3g7GSetKLL4UmrY3OkcGRJLbrx7G6ukmhJmPsyTYEuEkHRODO3nrefzphw04BzXUh490mIJAziehzLO1PLQymfGpyibDmPXyNpTJ5L2Cyh8iLSO1cILlHjeK1JRNC3k/ApD0=", "ARC-Message-Signature": "i=1; a=rsa-sha256; d=sourceware.org; s=key;\n t=1776274620; c=relaxed/simple;\n bh=Rp43dbZGWlwpPMb9tMULdRG6lpw4Si6A7yXq6YrUVNo=;\n h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version;\n b=u3BWKzAWlFHOjXWdIwgXu1n53sTP17dwbniI78C3+xgPHX4wdTB6FWH8pUnqnysCw0Jet56aquwx8pKyb/7VfzMXBMfmEYcylE1q8MOdL3biOpA7+h+6INp8tG8Tt8KHVuLs9tsXEx+LRyVGoJYyqX2L8xY2pmtqI0E3OLlU7fc=", "ARC-Authentication-Results": "i=1; server2.sourceware.org", "DKIM-Signature": "v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=gmail.com; s=20251104; t=1776274619; x=1776879419; darn=gcc.gnu.org;\n h=content-transfer-encoding:mime-version:message-id:date:subject:cc\n :to:from:from:to:cc:subject:date:message-id:reply-to;\n bh=j0dNu02G3Pu+ZRmx0ZQLtZ7fZUjW7BFLUzQy9k+uzfc=;\n b=YH2NCqch6SgoKWMs9zWuUfs+HGJfumslm4Y44g/rK67+yJ1KLl24zCnmzAHZ0L7ynS\n 3TdA0d2241Ld8Lvsey0qQ8q4NY/PddCBLv+xl6FLUQIYC11JaB1Ex7C5JNsElI6LOaCK\n 94kDpPr0okIRst04ohlVHThpM1tOaXauipD1E15cSCr9Z8sihombBtSfh3gu7gSTFbzc\n gDieu8/IUNOJAndQuCgnxlXY139cA7SVQjrQZb1wDAaG5+w7bsccxLy2lpOaKB29Z0J2\n gASQpYG2NkPjE+8M83033eP/DAyaqvH6PQAJpIJQBo7V0rTnCtlzL6uvKw9CWOdu2HVA\n KoIQ==", "X-Google-DKIM-Signature": "v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=1e100.net; s=20251104; t=1776274619; x=1776879419;\n h=content-transfer-encoding:mime-version:message-id:date:subject:cc\n :to:from:x-gm-gg:x-gm-message-state:from:to:cc:subject:date\n :message-id:reply-to;\n bh=j0dNu02G3Pu+ZRmx0ZQLtZ7fZUjW7BFLUzQy9k+uzfc=;\n b=PhF2CsKtXoaxOehgePalPsLJc3rxYL3e4O9I+zQhcrwVBuseXDgYYBadXyMXYyeWr8\n QmNksFINqjiAPSHry8ft1rtiLepV75JGCy1NxlhcnqAp0c/Kl+gqsWWbdEEAkSxXZHsv\n wagsYqMe+JjSRtWau3+c3/ynZPLHgPjU9ASMamEYp+SOh4fgdgqsFWbcyhoXf32jr9vi\n HqmCGFNyK0ZqZComzdR4lNd3vw6cuY4kq+JxUun4RycRdjJqbXqJb/jpL+9G24Up/VCw\n gerdsfNLz4wyNswSFSK7RA3Dm08+StQsimfNd4O5iWzfnJNKjmlrS2Zn/kesHX2TCOy1\n ioYQ==", "X-Gm-Message-State": "AOJu0YyKNxQx7yFqpbguuS9XJ8VELHduxyygljD99VrTECFRCN7eF4XI\n ZdUErsptuS8xYlHhrEuVhae5wCBvo9xYH/A32SHd4FXdKCQnvw7j0NPhD4dMcw==", "X-Gm-Gg": "AeBDietHbJEetdEVnfe7udfc1mlAq0O2KWZRxEdRh3hclDfQ9QWiEvz+u4soWR738Hq\n 7UgbsZoQ7jcBw8CDZhHzyZ/611aIVDQTu0+4c7Ur8+Y8C2mchsh2P32TCWrLI303Ph++zarbfef\n 8bzn7t6y0Y0KRE0wnqEqPXEuM1jB2inpKTg8mZE22MqSlt3/s5StBmIj7xsvX6uklb6s6uRPdR6\n eVPAUlTC6v4xIEq5f8y3eSKZPF9ZrJ6Gvx6y/rMRy/VUWk4bdO+m/1rrlVuHvUSfa3GXuTguv6y\n VGqQsRDe1wTxWDqgYNbubvK4mRNorYuF+CG4qJFa2aVU8At3//skX8D/ZKlArhNgdQdy0A/xlTI\n RiMmOrk4wtcm3ijS8yBAZtpnLxTUA2jWw1qx9OgxDC8EinJl+bjBpM6GRHAjjselTDsyBiA==", "X-Received": "by 2002:a05:600c:c0da:b0:488:b187:d898 with SMTP id\n 5b1f17b1804b1-488d685b6e8mr274499995e9.14.1776274619073;\n Wed, 15 Apr 2026 10:36:59 -0700 (PDT)", "From": "Gaius Mulley <gaiusmod2@gmail.com>", "To": "gcc-patches@gcc.gnu.org", "Cc": "Gaius Mulley <gaiusmod2@gmail.com>", "Subject": "[pushed]PR modula2/124081 Bugfix ICE in expand_expr_real_2 with a\n record", "Date": "Wed, 15 Apr 2026 18:36:47 +0100", "Message-ID": "<20260415173648.456911-1-gaiusmod2@gmail.com>", "X-Mailer": "git-send-email 2.47.3", "MIME-Version": "1.0", "Content-Transfer-Encoding": "8bit", "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": "This patch fixes an ICE which occurs when attempting to create a\nset using a subrange from a record field. The fix ensures that the\nrecord field is copied to a temporary prior to the set construction.\n\ngcc/m2/ChangeLog:\n\n\tPR modula2/124081\n\t* gm2-compiler/M2Quads.mod (SafeCheckWithField): New procedure.\n\t(BuildInclRange): Reimplement.\n\t(AddFieldTo): Ditto.\n\t(BuildComponentValue): Ditto.\n\ngcc/testsuite/ChangeLog:\n\n\tPR modula2/124081\n\t* gm2/iso/run/pass/setcons.mod: New test.\n\t* gm2/iso/run/pass/setcons2.mod: New test.\n\t* gm2/iso/run/pass/setcons3.mod: New test.\n\t* gm2/iso/run/pass/setcons4.mod: New test.\n\t* gm2/iso/run/pass/setcons5.mod: New test.\n\nSigned-off-by: Gaius Mulley <gaiusmod2@gmail.com>\n---\n gcc/m2/gm2-compiler/M2Quads.mod | 115 ++++++++++++--------\n gcc/testsuite/gm2/iso/run/pass/setcons.mod | 21 ++++\n gcc/testsuite/gm2/iso/run/pass/setcons2.mod | 37 +++++++\n gcc/testsuite/gm2/iso/run/pass/setcons3.mod | 24 ++++\n gcc/testsuite/gm2/iso/run/pass/setcons4.mod | 26 +++++\n gcc/testsuite/gm2/iso/run/pass/setcons5.mod | 26 +++++\n 6 files changed, 206 insertions(+), 43 deletions(-)\n create mode 100644 gcc/testsuite/gm2/iso/run/pass/setcons.mod\n create mode 100644 gcc/testsuite/gm2/iso/run/pass/setcons2.mod\n create mode 100644 gcc/testsuite/gm2/iso/run/pass/setcons3.mod\n create mode 100644 gcc/testsuite/gm2/iso/run/pass/setcons4.mod\n create mode 100644 gcc/testsuite/gm2/iso/run/pass/setcons5.mod", "diff": "diff --git a/gcc/m2/gm2-compiler/M2Quads.mod b/gcc/m2/gm2-compiler/M2Quads.mod\nindex bcd2af50c14..14e0f4b3e19 100644\n--- a/gcc/m2/gm2-compiler/M2Quads.mod\n+++ b/gcc/m2/gm2-compiler/M2Quads.mod\n@@ -12468,6 +12468,20 @@ BEGIN\n END BuildEmptySet ;\n \n \n+(*\n+ SafeCheckWithField - only call CheckWithReference if the top of stack\n+ contains a record field.\n+*)\n+\n+PROCEDURE SafeCheckWithField ;\n+BEGIN\n+ IF IsRecordField (OperandT (1))\n+ THEN\n+ CheckWithReference\n+ END\n+END SafeCheckWithField ;\n+\n+\n (*\n BuildInclRange - includes a set range with a set.\n \n@@ -12496,7 +12510,9 @@ VAR\n value : CARDINAL ;\n BEGIN\n PopT(el2) ;\n+ SafeCheckWithField ;\n PopT(el1) ;\n+ SafeCheckWithField ;\n PopT(value) ;\n IF NOT IsConstSet(value)\n THEN\n@@ -12545,6 +12561,7 @@ VAR\n tok : CARDINAL ;\n el, value, t: CARDINAL ;\n BEGIN\n+ SafeCheckWithField ;\n PopT(el) ;\n PopT(value) ;\n tok := GetTokenNo () ;\n@@ -12562,15 +12579,15 @@ BEGIN\n doIndrX(tok, t, el) ;\n el := t\n END ;\n- IF IsConst(value)\n+ IF IsConst (value)\n THEN\n- (* move constant into a variable to achieve the include *)\n- t := MakeTemporary(tok, RightValue) ;\n- PutVar(t, GetSType(value)) ;\n- GenQuad(BecomesOp, t, NulSym, value) ;\n+ (* Move constant or record field into a variable to achieve the include. *)\n+ t := MakeTemporary (tok, RightValue) ;\n+ PutVar (t, GetSType(value)) ;\n+ GenQuad (BecomesOp, t, NulSym, value) ;\n value := t\n END ;\n- GenQuad(InclOp, value, NulSym, el)\n+ GenQuad (InclOp, value, NulSym, el)\n END ;\n PushT(value)\n END BuildInclBit ;\n@@ -12751,24 +12768,25 @@ END BuildConstructorEnd ;\n \n \n (*\n- AddFieldTo - adds field, e, to, value.\n+ AddFieldTo - adds field to value.\n *)\n \n-PROCEDURE AddFieldTo (value, e: CARDINAL) : CARDINAL ;\n+PROCEDURE AddFieldTo (value, field: CARDINAL;\n+ valuetok, fieldtok: CARDINAL) : CARDINAL ;\n BEGIN\n- IF IsSet(GetDType(value))\n+ IF IsSet (GetDType (value))\n THEN\n- PutConstSet(value) ;\n- PushT(value) ;\n- PushT(e) ;\n+ PutConstSet (value) ;\n+ PushTtok (value, valuetok) ;\n+ PushTtok (field, fieldtok) ;\n BuildInclBit ;\n- PopT(value)\n+ PopT (value)\n ELSE\n- PushValue(value) ;\n- AddField(GetTokenNo(), e) ;\n- PopValue(value)\n+ PushValue (value) ;\n+ AddField (fieldtok, field) ;\n+ PopValue (value)\n END ;\n- RETURN( value )\n+ RETURN value\n END AddFieldTo ;\n \n \n@@ -12787,6 +12805,10 @@ END AddFieldTo ;\n \n PROCEDURE BuildComponentValue ;\n VAR\n+ e1tok,\n+ e2tok,\n+ consttok,\n+ virtpos : CARDINAL ;\n const,\n e1, e2 : CARDINAL ;\n nuldotdot,\n@@ -12796,37 +12818,44 @@ BEGIN\n IF nulby=NulTok\n THEN\n PopT(nuldotdot) ;\n- IF nuldotdot=NulTok\n+ IF nuldotdot = NulTok\n THEN\n- PopT(e1) ;\n- PopT(const) ;\n- PushT(AddFieldTo(const, e1))\n+ PopTtok (e1, e1tok) ;\n+ PopTtok (const, consttok) ;\n+ const := AddFieldTo (const, e1, consttok, e1tok) ;\n+ PushTFrwtok (const, GetSType (const), NulSym,\n+ MakeVirtual2Tok (consttok, e1tok))\n ELSE\n- PopT(e2) ;\n- PopT(e1) ;\n- PopT(const) ;\n- PushValue(const) ;\n- AddBitRange(GetTokenNo(), e1, e2) ;\n- PopValue(const) ;\n- PushT(const)\n+ PopTtok (e2, e2tok) ;\n+ PopTtok (e1, e1tok) ;\n+ PopTtok (const, consttok) ;\n+ PushValue (const) ;\n+ AddBitRange (MakeVirtual2Tok (e1tok, e2tok), e1, e2) ;\n+ PopValue (const) ;\n+ PushTFrwtok (const, GetSType (const), NulSym,\n+ MakeVirtual2Tok (consttok, e2tok))\n END\n ELSE\n- PopT(e1) ;\n- PopT(nuldotdot) ;\n- IF nuldotdot=NulTok\n- THEN\n- PopT(e2) ;\n- PopT(const) ;\n- PushValue(const) ;\n- AddElements(GetTokenNo(), e2, e1) ;\n- PopValue(const) ;\n- PushT(const)\n+ PopTtok (e1, e1tok) ;\n+ PopT (nuldotdot) ;\n+ IF nuldotdot = NulTok\n+ THEN\n+ PopTtok (e2, e2tok) ;\n+ PopTtok (const, consttok) ;\n+ PushValue (const) ;\n+ AddElements (MakeVirtual2Tok (e1tok, e2tok), e2, e1) ;\n+ PopValue (const) ;\n+ PushTFrwtok (const, GetSType (const), NulSym,\n+ MakeVirtual2Tok (consttok, e2tok))\n ELSE\n- PopT(e2) ;\n- PopT(e1) ;\n- PopT(const) ;\n- WriteFormat0('the constant must be either an array constructor or a set constructor') ;\n- PushT(const)\n+ PopTtok (e2, e2tok) ;\n+ PopTtok (e1, e1tok) ;\n+ PopTtok (const, consttok) ;\n+ consttok := MakeVirtual2Tok (consttok, e2tok) ;\n+ MetaErrorT1 (consttok,\n+ 'the constant {%E1a} must be either an array constructor or a set constructor',\n+ const) ;\n+ PushTFrwtok (const, GetSType (const), NulSym, consttok)\n END\n END\n END BuildComponentValue ;\ndiff --git a/gcc/testsuite/gm2/iso/run/pass/setcons.mod b/gcc/testsuite/gm2/iso/run/pass/setcons.mod\nnew file mode 100644\nindex 00000000000..6dff7f6a9f9\n--- /dev/null\n+++ b/gcc/testsuite/gm2/iso/run/pass/setcons.mod\n@@ -0,0 +1,21 @@\n+MODULE setcons ;\n+\n+TYPE\n+ Subrange = [10..40] ;\n+ Set = SET OF Subrange ;\n+\n+VAR\n+ u: Subrange ;\n+ s: Set ;\n+\n+\n+PROCEDURE Init ;\n+BEGIN\n+ u := MIN (u) ;\n+ s := Set {u}\n+END Init ;\n+\n+\n+BEGIN\n+ Init\n+END setcons.\ndiff --git a/gcc/testsuite/gm2/iso/run/pass/setcons2.mod b/gcc/testsuite/gm2/iso/run/pass/setcons2.mod\nnew file mode 100644\nindex 00000000000..8764880bacb\n--- /dev/null\n+++ b/gcc/testsuite/gm2/iso/run/pass/setcons2.mod\n@@ -0,0 +1,37 @@\n+MODULE setcons2 ;\n+\n+FROM libc IMPORT exit, printf ;\n+\n+\n+TYPE\n+ Subrange = [10..40] ;\n+ Set = SET OF Subrange ;\n+\n+VAR\n+ u: Subrange ;\n+ s: Set ;\n+\n+\n+PROCEDURE Assert (condition: BOOLEAN; testno: CARDINAL) ;\n+BEGIN\n+ IF NOT condition\n+ THEN\n+ printf (\"assert %d failed\\n\", testno) ;\n+ exit (testno)\n+ END\n+END Assert ;\n+\n+\n+\n+PROCEDURE Init ;\n+BEGIN\n+ u := MIN (u) ;\n+ s := Set {u} ;\n+ Assert (s = Set {10}, 1)\n+END Init ;\n+\n+\n+BEGIN\n+ Init ;\n+ printf (\"all tests passed\\n\")\n+END setcons2.\ndiff --git a/gcc/testsuite/gm2/iso/run/pass/setcons3.mod b/gcc/testsuite/gm2/iso/run/pass/setcons3.mod\nnew file mode 100644\nindex 00000000000..24fb00722c3\n--- /dev/null\n+++ b/gcc/testsuite/gm2/iso/run/pass/setcons3.mod\n@@ -0,0 +1,24 @@\n+MODULE setcons3 ;\n+\n+TYPE\n+ Subrange = [10..40] ;\n+ Set = SET OF Subrange ;\n+ Rec = RECORD\n+ field: Subrange ;\n+ END ;\n+\n+VAR\n+ u: Subrange ;\n+ s: Set ;\n+ r: Rec ;\n+\n+\n+PROCEDURE Init ;\n+BEGIN\n+ s := Set {u}\n+END Init ;\n+\n+\n+BEGIN\n+ Init\n+END setcons3.\ndiff --git a/gcc/testsuite/gm2/iso/run/pass/setcons4.mod b/gcc/testsuite/gm2/iso/run/pass/setcons4.mod\nnew file mode 100644\nindex 00000000000..16fdc076b85\n--- /dev/null\n+++ b/gcc/testsuite/gm2/iso/run/pass/setcons4.mod\n@@ -0,0 +1,26 @@\n+MODULE setcons4 ;\n+\n+TYPE\n+ Subrange = [10..40] ;\n+ Set = SET OF Subrange ;\n+ Rec = RECORD\n+ field: Subrange ;\n+ END ;\n+\n+VAR\n+ u: Subrange ;\n+ s: Set ;\n+ r: Rec ;\n+\n+\n+PROCEDURE Init ;\n+BEGIN\n+ WITH r DO\n+ s := Set {field}\n+ END\n+END Init ;\n+\n+\n+BEGIN\n+ Init ;\n+END setcons4.\ndiff --git a/gcc/testsuite/gm2/iso/run/pass/setcons5.mod b/gcc/testsuite/gm2/iso/run/pass/setcons5.mod\nnew file mode 100644\nindex 00000000000..846b19e650c\n--- /dev/null\n+++ b/gcc/testsuite/gm2/iso/run/pass/setcons5.mod\n@@ -0,0 +1,26 @@\n+MODULE setcons5 ;\n+\n+TYPE\n+ Subrange = [10..40] ;\n+ Set = SET OF Subrange ;\n+ Rec = RECORD\n+ field: Subrange ;\n+ END ;\n+\n+VAR\n+ u: Subrange ;\n+ s: Set ;\n+ r: Rec ;\n+\n+\n+PROCEDURE Init ;\n+BEGIN\n+ WITH r DO\n+ s := Set {field}\n+ END\n+END Init ;\n+\n+\n+BEGIN\n+ Init ;\n+END setcons5.\n", "prefixes": [ "pushed" ] }