From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 128016 invoked by alias); 9 Sep 2018 20:35:15 -0000 Mailing-List: contact fortran-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Post: List-Help: , Sender: fortran-owner@gcc.gnu.org Received: (qmail 127997 invoked by uid 89); 9 Sep 2018 20:35:14 -0000 Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=-24.0 required=5.0 tests=AWL,BAYES_00,FREEMAIL_ENVFROM_END_DIGIT,FREEMAIL_FROM,GIT_PATCH_0,GIT_PATCH_1,GIT_PATCH_2,GIT_PATCH_3,RCVD_IN_DNSWL_NONE,SPF_PASS autolearn=ham version=3.3.2 spammy=D*gmx.de X-HELO: mail-yb1-f180.google.com Received: from mail-yb1-f180.google.com (HELO mail-yb1-f180.google.com) (209.85.219.180) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Sun, 09 Sep 2018 20:35:13 +0000 Received: by mail-yb1-f180.google.com with SMTP id t10-v6so7231084ybb.1; Sun, 09 Sep 2018 13:35:12 -0700 (PDT) MIME-Version: 1.0 From: Janus Weil Date: Sun, 09 Sep 2018 20:35:00 -0000 Message-ID: Subject: [Patch, Fortran] PR 86830: [8/9 Regression] Contiguous array pointer function result not recognized as contiguous To: gfortran , gcc-patches Content-Type: multipart/mixed; boundary="0000000000005bb3a20575762d45" X-IsSubscribed: yes X-SW-Source: 2018-09/txt/msg00083.txt.bz2 --0000000000005bb3a20575762d45 Content-Type: text/plain; charset="UTF-8" Content-length: 345 Hi all, the attached patch fixes a rejects-valid regression, where a type-bound procedure call was not correctly detected to have a contiguous result. The patch is functionally identical with comment #2 in the PR, with a little bit of cleanup on top of it. It regtests cleanly on x86_64-linux-gnu. Ok for trunk and gcc-8-branch? Cheers, Janus --0000000000005bb3a20575762d45 Content-Type: text/x-patch; charset="US-ASCII"; name="pr86830.diff" Content-Disposition: attachment; filename="pr86830.diff" Content-Transfer-Encoding: base64 Content-ID: X-Attachment-Id: f_jlvbd1z60 Content-length: 3482 ZGlmZiAtLWdpdCBhL2djYy9mb3J0cmFuL0NoYW5nZUxvZyBiL2djYy9mb3J0 cmFuL0NoYW5nZUxvZwppbmRleCA3Y2ZiOTRlZTExNS4uN2UyZDY0NDUyMzcg MTAwNjQ0Ci0tLSBhL2djYy9mb3J0cmFuL0NoYW5nZUxvZworKysgYi9nY2Mv Zm9ydHJhbi9DaGFuZ2VMb2cKQEAgLTEsMyArMSw5IEBACisyMDE4LTA5LTA5 ICBKYW51cyBXZWlsICA8amFudXNAZ2NjLmdudS5vcmc+CisKKwlQUiBmb3J0 cmFuLzg2ODMwCisJKiBleHByLmMgKGdmY19pc19zaW1wbHlfY29udGlndW91 cyk6IEhhbmRsZSB0eXBlLWJvdW5kIHByb2NlZHVyZSBjYWxscworCXdpdGgg bm9uLXBvbHltb3JwaGljIG9iamVjdHMuCisKIDIwMTgtMDktMDMgIEplcnJ5 IERlTGlzbGUgIDxqdmRlbGlzbGVAZ2NjLmdudS5vcmc+CiAKIAkqIHNpbXBs aWZ5LmMgKGdmY19zaW1wbGlmeV9tb2R1bG8pOiBSZS1hcnJhbmdlIGNvZGUg dG8gdGVzdCB3aGV0aGVyCmRpZmYgLS1naXQgYS9nY2MvZm9ydHJhbi9leHBy LmMgYi9nY2MvZm9ydHJhbi9leHByLmMKaW5kZXggYzViZjgyMmNkMjQuLjk3 NzkyZmUzMmE3IDEwMDY0NAotLS0gYS9nY2MvZm9ydHJhbi9leHByLmMKKysr IGIvZ2NjL2ZvcnRyYW4vZXhwci5jCkBAIC01Mzg1LDE2ICs1Mzg1LDEzIEBA IGdmY19pc19zaW1wbHlfY29udGlndW91cyAoZ2ZjX2V4cHIgKmV4cHIsIGJv b2wgc3RyaWN0LCBib29sIHBlcm1pdF9lbGVtZW50KQogCXJldHVybiBleHBy LT52YWx1ZS5mdW5jdGlvbi5lc3ltLT5yZXN1bHQtPmF0dHIuY29udGlndW91 czsKICAgICAgIGVsc2UKIAl7Ci0JICAvKiBXZSBoYXZlIHRvIGp1bXAgdGhy b3VnaCBzb21lIGhvb3BzIGlmIHRoaXMgaXMgYSB2dGFiIGVudHJ5LiAgKi8K LQkgIGdmY19zeW1ib2wgKnM7Ci0JICBnZmNfcmVmICpyLCAqcmM7Ci0KLQkg IHMgPSBleHByLT5zeW10cmVlLT5uLnN5bTsKLQkgIGlmIChzLT50cy50eXBl ICE9IEJUX0NMQVNTKQorCSAgLyogVHlwZS1ib3VuZCBwcm9jZWR1cmVzLiAg Ki8KKwkgIGdmY19zeW1ib2wgKnMgPSBleHByLT5zeW10cmVlLT5uLnN5bTsK KwkgIGlmIChzLT50cy50eXBlICE9IEJUX0NMQVNTICYmIHMtPnRzLnR5cGUg IT0gQlRfREVSSVZFRCkKIAkgICAgcmV0dXJuIGZhbHNlOwogCi0JICByYyA9 IE5VTEw7Ci0JICBmb3IgKHIgPSBleHByLT5yZWY7IHI7IHIgPSByLT5uZXh0 KQorCSAgZ2ZjX3JlZiAqcmMgPSBOVUxMOworCSAgZm9yIChnZmNfcmVmICpy ID0gZXhwci0+cmVmOyByOyByID0gci0+bmV4dCkKIAkgICAgaWYgKHItPnR5 cGUgPT0gUkVGX0NPTVBPTkVOVCkKIAkgICAgICByYyA9IHI7CiAKZGlmZiAt LWdpdCBhL2djYy90ZXN0c3VpdGUvQ2hhbmdlTG9nIGIvZ2NjL3Rlc3RzdWl0 ZS9DaGFuZ2VMb2cKaW5kZXggMGMwMzg0NDFhOGMuLjllMWFiNDQxNDRmIDEw MDY0NAotLS0gYS9nY2MvdGVzdHN1aXRlL0NoYW5nZUxvZworKysgYi9nY2Mv dGVzdHN1aXRlL0NoYW5nZUxvZwpAQCAtMSwzICsxLDggQEAKKzIwMTgtMDkt MDkgIEphbnVzIFdlaWwgIDxqYW51c0BnY2MuZ251Lm9yZz4KKworCVBSIGZv cnRyYW4vODY4MzAKKwkqIGdmb3J0cmFuLmRnL3R5cGVib3VuZF9jYWxsXzMw LmY5MDogTmV3IHRlc3QgY2FzZS4KKwogMjAxOC0wOS0wOCAgTWFyZWsgUG9s YWNlayAgPHBvbGFjZWtAcmVkaGF0LmNvbT4KIAogCVBSIGMrKy84NzE1MCAt IHdyb25nIGN0b3Igd2l0aCBtYXliZS1ydmFsdWUgc2VtYW50aWNzLgpkaWZm IC0tZ2l0IGEvZ2NjL3Rlc3RzdWl0ZS9nZm9ydHJhbi5kZy90eXBlYm91bmRf Y2FsbF8zMC5mOTAgYi9nY2MvdGVzdHN1aXRlL2dmb3J0cmFuLmRnL3R5cGVi b3VuZF9jYWxsXzMwLmY5MApuZXcgZmlsZSBtb2RlIDEwMDY0NAppbmRleCAw MDAwMDAwMDAwMC4uM2NhNjNiZDJhOTUKLS0tIC9kZXYvbnVsbAorKysgYi9n Y2MvdGVzdHN1aXRlL2dmb3J0cmFuLmRnL3R5cGVib3VuZF9jYWxsXzMwLmY5 MApAQCAtMCwwICsxLDMyIEBACishIHsgZGctZG8gY29tcGlsZSB9CishCish IFBSIDg2ODMwOiBbOC85IFJlZ3Jlc3Npb25dIENvbnRpZ3VvdXMgYXJyYXkg cG9pbnRlciBmdW5jdGlvbiByZXN1bHQgbm90IHJlY29nbml6ZWQgYXMgY29u dGlndW91cworIQorISBDb250cmlidXRlZCBieSA8b25seV9mb3Jfbm91c2VA Z214LmRlPgorCittb2R1bGUgbQorICBpbXBsaWNpdCBub25lCisKKyAgdHlw ZSA6OiB0MQorICAgY29udGFpbnMKKyAgICAgcHJvY2VkdXJlIDo6IGdldF9w dHIKKyAgZW5kIHR5cGUKKworICB0eXBlIDo6IHQyCisgICAgIGNsYXNzKHQx KSwgYWxsb2NhdGFibGUgOjogYworICBlbmQgdHlwZQorCitjb250YWlucwor CisgIGZ1bmN0aW9uIGdldF9wdHIodGhpcykKKyAgICBjbGFzcyh0MSkgOjog dGhpcworICAgIHJlYWwsIGRpbWVuc2lvbig6KSwgY29udGlndW91cywgcG9p bnRlciA6OiBnZXRfcHRyCisgIGVuZCBmdW5jdGlvbgorCisgIHN1YnJvdXRp bmUgdGVzdCgpCisgICAgcmVhbCwgZGltZW5zaW9uKDopLCBjb250aWd1b3Vz LCBwb2ludGVyOjogcHRyCisgICAgdHlwZSh0MikgOjogeAorICAgIHB0ciA9 PiB4JWMlZ2V0X3B0cigpCisgIGVuZCBzdWJyb3V0aW5lCisKK2VuZCBtb2R1 bGUK --0000000000005bb3a20575762d45--