From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <anlauf@gmx.de>
Received: from mout.gmx.net (mout.gmx.net [212.227.17.20])
 by sourceware.org (Postfix) with ESMTPS id 9BA03385481A;
 Tue, 16 Mar 2021 20:26:59 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 9BA03385481A
X-UI-Sender-Class: 01bb95c1-4bf8-414a-932a-4f6e2808ef9c
Received: from [93.207.90.89] ([93.207.90.89]) by web-mail.gmx.net
 (3c-app-gmx-bs61.server.lan [172.19.170.145]) (via HTTP); Tue, 16 Mar 2021
 21:26:50 +0100
MIME-Version: 1.0
Message-ID: <trinity-d32743f9-41a7-462f-9a5d-a654e9a0909b-1615926410172@3c-app-gmx-bs61>
From: Harald Anlauf <anlauf@gmx.de>
To: Tobias Burnus <tobias@codesourcery.com>
Cc: Paul Richard Thomas <paul.richard.thomas@gmail.com>,
 "fortran@gcc.gnu.org" <fortran@gcc.gnu.org>, gcc-patches
 <gcc-patches@gcc.gnu.org>, Juergen Reuter
 <juergen.reuter@physik.uni-freiburg.de>
Subject: Aw: Re: [Patch, fortran] PR99602 - [11 regression] runtime error:
 pointer actual argument not associated
Content-Type: text/plain; charset=UTF-8
Date: Tue, 16 Mar 2021 21:26:50 +0100
Importance: normal
Sensitivity: Normal
In-Reply-To: <4ee532b7-eed8-8dd7-4e01-9a2e8004007c@codesourcery.com>
References: <CAGkQGi+mLLMim_WcfD1kbR9KARb1f5Gngg=nE9Sax1Po=aMG0g@mail.gmail.com>
 <4ee532b7-eed8-8dd7-4e01-9a2e8004007c@codesourcery.com>
X-UI-Message-Type: mail
X-Priority: 3
X-Provags-ID: V03:K1:+QJv6WrN1pOzl3c9izoLdWZ2E9KS6b8eXL3OXXjHHbg7efO7Qs/b1GQq3q91PhkhyOnQJ
 AGf3o/ZoMOXz1fOYX+oBPy/I2592t/5nIa2mCtD1+ZD+NiF9KKbpa4C3Y+P4SLMreMEP42DPk/g6
 ASQ1KxQse6qbSQvxEUMK7L+6u0r3jswCslzLZMwqHwlD9XysNi/+w5xVsm58GaxUn+I29AqFgN9i
 vGd/hqAFH+4+2owO+SncjqHGe4Dbl5Bs+DHwhyHhuaYhxAjK7k8LOUZbhsQBrG+gfI7gU1PRQmmL
 t8=
X-UI-Out-Filterresults: notjunk:1;V03:K0:gWpgMIJKTrA=:NH60JcDNlWzyw5TbG8WcAx
 VzK/NCv/yaxBxEKsIqEzyJlAUXrjpCvXwYgx4OIVH1XMyGBSCTf7X63tEMbdcT8wUlTmrZk76
 STkSSokkrSK73gzXTH79PPZdoj70pC8gNvMof7+QV79W2VzznRdBkDPTHfN+Y4NeKXQlXM6c+
 JjLFu6emZAIW+H/xRlbL6mUTtk+zYwrIFkHN8mBFPlduUomQEu8Ut8RcZ1ak6rWjMVDo1oxfn
 bUT/Th68C736tPtrEGz7eeSC+tlX0QP1sx9hSZRUlReX2mh9Q7TE4xiudNvAUCCaOyqQLVMnh
 CIpihOywJQP8xxoiHN54UszIa3HxydmCNJ3L4lNLVWaxjeGFljju6TjyicV74VyNAaDA/xebF
 SUI16VrW0OT7hCsFmNbFhsD34KwDjL3PxgI3oJs88Qj3TMITso4xE2FgxKo38bXFkN9U8/3Ph
 xCX2ILLccv6/E0FoPS/tk04Uy0HxF0c2IUFHPLf8Gk15LqTJBxIeZ8f3aMbn3AZGQmcjlzaMA
 Srvb80MCbkrEmtsZOmmCTEjdz1r04eo0GJbON5z23++RhkPWVGmT1FpnL+fra15Nl1o1ZT62j
 CMIFvYMbyiakI=
X-Spam-Status: No, score=-4.7 required=5.0 tests=BAYES_00, DKIM_SIGNED,
 DKIM_VALID, FREEMAIL_FROM, RCVD_IN_DNSWL_LOW, RCVD_IN_MSPIKE_H2, SPF_HELO_NONE,
 SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.2
X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on
 server2.sourceware.org
X-BeenThere: fortran@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Fortran mailing list <fortran.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/fortran>,
 <mailto:fortran-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/fortran/>
List-Help: <mailto:fortran-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/fortran>,
 <mailto:fortran-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Tue, 16 Mar 2021 20:27:01 -0000

Hi Tobias,

> Shouldn't there be also a testcase which triggers this run-time error?

The testcase is there, it simply has the wrong dg-foo:

! { dg-do compile }

which should be

! { dg-do run }

*-*-*

There are certainly more cases which should insert checks but currently don't, like:

subroutine p (mm)
  implicit none
  type :: m_t
  end type m_t
  type, extends (m_t) :: m2_t
  end type m2_t
  class(m_t), pointer :: mm
  select type (mm)
  type is (m2_t)
     print *, "m2_t"
  end select
end

We've still two or three weeks to solve this before 11-release!  :-)

Harald