From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from cc-smtpout2.netcologne.de (cc-smtpout2.netcologne.de [89.1.8.212]) by sourceware.org (Postfix) with ESMTPS id 579F33858D32; Fri, 10 Mar 2023 17:54:15 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 579F33858D32 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=netcologne.de Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=netcologne.de Received: from cc-smtpin2.netcologne.de (cc-smtpin2.netcologne.de [89.1.8.202]) by cc-smtpout2.netcologne.de (Postfix) with ESMTP id 7A735125F8; Fri, 10 Mar 2023 18:54:12 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=netcologne.de; s=nc1116a; t=1678470852; bh=C83xWbkvwSBtLVS3OyDgqdRM+9Y8GcSFWRR3wjtdnZg=; h=Message-ID:Date:To:From:Subject:From; b=cERTxvXf3aTy3Q/RW952t+an9PK5VRrsukPootEHMOmRsY4h0FURAP3K9VfcJTqI6 k/rWFLgWqXrJvTgyVNQOMm/sg/pQcAlFW2J3gIp6ufr1kfHfkzQbs8DSeUU/C50ffp TBkvEJuzziXJmZW3NsMy16WosQ8Gx8n6QvWVbIFSXDWoAmKPyqitJkJ7RwXAoQKM2z uFK0LkPD2ri4cAifu75qVihWO6jBOdhRBcgnwX+ZJBlQsTwMegb3+qvSy1u9W8HPnH /dFMHIcfkvBN9s7ZBrlkML06rRILuDQHOhTtfdwBx+E6clsOGpwUjtLuy7oLtcMLft hTqrnSX54TiNg== Received: from [IPV6:2001:4dd7:c7b6:0:7285:c2ff:fe6c:992d] (2001-4dd7-c7b6-0-7285-c2ff-fe6c-992d.ipv6dyn.netcologne.de [IPv6:2001:4dd7:c7b6:0:7285:c2ff:fe6c:992d]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by cc-smtpin2.netcologne.de (Postfix) with ESMTPSA id 2794D11FEC; Fri, 10 Mar 2023 18:54:11 +0100 (CET) Content-Type: multipart/mixed; boundary="------------l7MU0x90gNGokuQD86tY97QL" Message-ID: Date: Fri, 10 Mar 2023 18:54:10 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.7.1 Content-Language: en-US To: "fortran@gcc.gnu.org" , gcc-patches From: Thomas Koenig Subject: [patch, Fortran] Enable -fwrapv for -std=legacy X-NetCologne-Spam: L X-Spamd-Bar: / X-Rspamd-Action: no action X-Rspamd-Queue-Id: 2794D11FEC X-Spam-Status: No, score=-9.8 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,GIT_PATCH_0,RCVD_IN_DNSWL_LOW,RCVD_IN_MSPIKE_H3,RCVD_IN_MSPIKE_WL,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: This is a multi-part message in MIME format. --------------l7MU0x90gNGokuQD86tY97QL Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Hello world, here's the patch that was discussed. Regression-tested. OK for trunk? Since this appeared only in gcc13, I see no need for a backport. I will also document this in the changes file. Best regards Thomas Set -frapv if -std=legacy is set. Fortran legacy codes sometimes contain linear congruential seudorandom number generators. These generators implicitly depend on wrapping behavior on integer overflow, which is illegal Fortran, but the best they could to at the time. A gcc13 change exposed this in rnflow, part of the Polyhedron benchmark, with -O3. Rather than "regress" on such code, this patch enables -fwrapv if -std=legacy is enabled. This allows the benchmark to run successfully, and presumably lots of other code as well. gcc/fortran/ChangeLog: PR fortran/109075 * options.cc (gfc_handle_option): If -std=legacy is set, also set -frwapv. * invoke.texi: Document the change. --------------l7MU0x90gNGokuQD86tY97QL Content-Type: text/x-patch; charset=UTF-8; name="p1.diff" Content-Disposition: attachment; filename="p1.diff" Content-Transfer-Encoding: base64 ZGlmZiAtLWdpdCBhL2djYy9mb3J0cmFuL2ludm9rZS50ZXhpIGIvZ2NjL2ZvcnRyYW4vaW52 b2tlLnRleGkKaW5kZXggNTY3OWUyZjI2NTAuLjRmNDk1MGRhZDQxIDEwMDY0NAotLS0gYS9n Y2MvZm9ydHJhbi9pbnZva2UudGV4aQorKysgYi9nY2MvZm9ydHJhbi9pbnZva2UudGV4aQpA QCAtNTQ5LDE1ICs1NDksMTYgQEAgRm9ydHJhbiBzdGFuZGFyZCB0aGF0IGluY2x1ZGVzIGFs bCBvZiB0aGUgZXh0ZW5zaW9ucyBzdXBwb3J0ZWQgYnkgR05VCiBGb3J0cmFuLCBhbHRob3Vn aCB3YXJuaW5ncyB3aWxsIGJlIGdpdmVuIGZvciBvYnNvbGV0ZSBleHRlbnNpb25zIG5vdAog cmVjb21tZW5kZWQgZm9yIHVzZSBpbiBuZXcgY29kZS4gIFRoZSBAc2FtcHtsZWdhY3l9IHZh bHVlIGlzCiBlcXVpdmFsZW50IGJ1dCB3aXRob3V0IHRoZSB3YXJuaW5ncyBmb3Igb2Jzb2xl dGUgZXh0ZW5zaW9ucywgYW5kIG1heQotYmUgdXNlZnVsIGZvciBvbGQgbm9uLXN0YW5kYXJk IHByb2dyYW1zLiAgVGhlIEBzYW1we2Y5NX0sCi1Ac2FtcHtmMjAwM30sIEBzYW1we2YyMDA4 fSwgYW5kIEBzYW1we2YyMDE4fSB2YWx1ZXMgc3BlY2lmeSBzdHJpY3QKLWNvbmZvcm1hbmNl IHRvIHRoZSBGb3J0cmFuIDk1LCBGb3J0cmFuIDIwMDMsIEZvcnRyYW4gMjAwOCBhbmQgRm9y dHJhbgotMjAxOCBzdGFuZGFyZHMsIHJlc3BlY3RpdmVseTsgZXJyb3JzIGFyZSBnaXZlbiBm b3IgYWxsIGV4dGVuc2lvbnMKLWJleW9uZCB0aGUgcmVsZXZhbnQgbGFuZ3VhZ2Ugc3RhbmRh cmQsIGFuZCB3YXJuaW5ncyBhcmUgZ2l2ZW4gZm9yIHRoZQotRm9ydHJhbiA3NyBmZWF0dXJl cyB0aGF0IGFyZSBwZXJtaXR0ZWQgYnV0IG9ic29sZXNjZW50IGluIGxhdGVyCi1zdGFuZGFy ZHMuIFRoZSBkZXByZWNhdGVkIG9wdGlvbiBAc2FtcHstc3RkPWYyMDA4dHN9IGFjdHMgYXMg YW4gYWxpYXMgZm9yCi1Ac2FtcHstc3RkPWYyMDE4fS4gSXQgaXMgb25seSBwcmVzZW50IGZv ciBiYWNrd2FyZHMgY29tcGF0aWJpbGl0eSB3aXRoCi1lYXJsaWVyIGdmb3J0cmFuIHZlcnNp b25zIGFuZCBzaG91bGQgbm90IGJlIHVzZWQgYW55IG1vcmUuCitiZSB1c2VmdWwgZm9yIG9s ZCBub24tc3RhbmRhcmQgcHJvZ3JhbXMuICBJdCBhbHNvIHNldHMKK0BvcHRpb257LWZ3cmFw dn0uICBUaGUgQHNhbXB7Zjk1fSwgQHNhbXB7ZjIwMDN9LCBAc2FtcHtmMjAwOH0sIGFuZAor QHNhbXB7ZjIwMTh9IHZhbHVlcyBzcGVjaWZ5IHN0cmljdCBjb25mb3JtYW5jZSB0byB0aGUg Rm9ydHJhbiA5NSwKK0ZvcnRyYW4gMjAwMywgRm9ydHJhbiAyMDA4IGFuZCBGb3J0cmFuIDIw MTggc3RhbmRhcmRzLCByZXNwZWN0aXZlbHk7CitlcnJvcnMgYXJlIGdpdmVuIGZvciBhbGwg ZXh0ZW5zaW9ucyBiZXlvbmQgdGhlIHJlbGV2YW50IGxhbmd1YWdlCitzdGFuZGFyZCwgYW5k IHdhcm5pbmdzIGFyZSBnaXZlbiBmb3IgdGhlIEZvcnRyYW4gNzcgZmVhdHVyZXMgdGhhdCBh cmUKK3Blcm1pdHRlZCBidXQgb2Jzb2xlc2NlbnQgaW4gbGF0ZXIgc3RhbmRhcmRzLiBUaGUg ZGVwcmVjYXRlZCBvcHRpb24KK0BzYW1wey1zdGQ9ZjIwMDh0c30gYWN0cyBhcyBhbiBhbGlh cyBmb3IgQHNhbXB7LXN0ZD1mMjAxOH0uIEl0IGlzIG9ubHkKK3ByZXNlbnQgZm9yIGJhY2t3 YXJkcyBjb21wYXRpYmlsaXR5IHdpdGggZWFybGllciBnZm9ydHJhbiB2ZXJzaW9ucyBhbmQK K3Nob3VsZCBub3QgYmUgdXNlZCBhbnkgbW9yZS4KIAogQG9waW5kZXggQGNvZGV7ZnRlc3Qt Zm9yYWxsLXRlbXB9CiBAaXRlbSAtZnRlc3QtZm9yYWxsLXRlbXAKZGlmZiAtLWdpdCBhL2dj Yy9mb3J0cmFuL29wdGlvbnMuY2MgYi9nY2MvZm9ydHJhbi9vcHRpb25zLmNjCmluZGV4IDI3 MzExOTYxMzI1Li43NjE2NmFjNjlhYSAxMDA2NDQKLS0tIGEvZ2NjL2ZvcnRyYW4vb3B0aW9u cy5jYworKysgYi9nY2MvZm9ydHJhbi9vcHRpb25zLmNjCkBAIC03OTcsNiArNzk3LDggQEAg Z2ZjX2hhbmRsZV9vcHRpb24gKHNpemVfdCBzY29kZSwgY29uc3QgY2hhciAqYXJnLCBIT1NU X1dJREVfSU5UIHZhbHVlLAogICAgIGNhc2UgT1BUX3N0ZF9sZWdhY3k6CiAgICAgICBzZXRf ZGVmYXVsdF9zdGRfZmxhZ3MgKCk7CiAgICAgICBnZmNfb3B0aW9uLndhcm5fc3RkID0gMDsK KyAgICAgIC8qIC1zdGQ9bGVnYWN5IGltcGxpZXMgLWZ3YXB2LCBidXQgdGhlIHVzZXIgY2Fu IG92ZXJyaWRlIGl0LiAgKi8KKyAgICAgIGZsYWdfd3JhcHYgPSAxOwogICAgICAgYnJlYWs7 CiAKICAgICBjYXNlIE9QVF9mc2hvcnRfZW51bXM6Cg== --------------l7MU0x90gNGokuQD86tY97QL--